Boost::类中的Mutex不是线程安全的

Question

我正在学习并发编程，我想做的是有一个类，每个对象都负责运行自己的Boost:Thread。我对这段代码有点不知所措，因为它使用了很多我不太熟悉的功能（动态分配的内存、函数指针、并发等）。这就像每一行代码我都必须检查一些引用才能正确。

（是的，所有分配的内存都计入真实代码中！）

我的互斥对象有问题。我声明它是静态的，并且它似乎为所有实例获得了相同的值（正如它应该得到的那样）。该代码仍然不是线程安全的。

互斥锁应该阻止线程（对吧？）继续前进，以防其他人锁定它。因为互斥锁是有作用域的（有点巧妙的功能），而且它在if语句中，应该查找其他线程，不是吗？尽管如此，我还是把控制台放了出来，这清楚地表明它不是线程安全的。

此外，我不确定我是否使用了静态有效权限。我尝试了不同的方式来引用它（卖家：：ticketSalesMutex），但唯一有效的是"this->ticketSamutex"，这似乎很不光彩，似乎违背了它静态的目的。

卖家.h:

class Seller
{
public:     
    //Some vaiables
private:
    //Other variables
    static boost::mutex ticketSaleMutex;      //Mutex definition
};

Seller.cpp:

boost::mutex Seller::ticketSaleMutex;         //Mutex declaration
void Seller::StartTicketSale()
{
    ticketSale = new boost::thread(boost::bind(&Seller::SellTickets, this));
}
void Seller::SellTickets()
{
    while (*totalSoldTickets < totalNumTickets)
    {
        if ([Some time tick])
        {
            boost::mutex::scoped_lock(this->ticketSaleMutex);
            (*totalSoldTickets)++;
            std::cout << "Seller " << ID << " sold ticket " << *totalSoldTickets << std::endl;
        }
    }
}

main.cpp:

int main(int argc, char**argv)
{
    std::vector<Seller*> seller;
    const int numSellers = 10;
    int numTickets = 40;
    int *soldTickets = new int;
    *soldTickets = 0;
    for (int i = 0; i < numSellers; i++)
    {
        seller.push_back(new Seller(i, numTickets, soldTickets));
        seller[i]->StartTicketSale();
    }
}

Answer 1

这将创建一个立即销毁的临时文件：

boost::mutex::scoped_lock(this->ticketSaleMutex);

导致没有同步。您需要声明一个变量：

boost::mutex::scoped_lock local_lock(this->ticketSaleMutex);