4

我为一个无法访问任何现代 C++ 线程库(如 boost)的项目创建了以下代码。我的愿望是能够让锁在离开范围时自动释放。

共享锁工作正常。如果一个线程获取它,则在第一个线程释放它之前,其他任何东西都无法获取它。Scoped 不起作用。

这是一些输出显示我的意思。我给每个线程一个不同的名称,让它们用相同的共享锁实例化作用域锁,打印“获取”,休眠五秒钟,打印“释放”,然后离开作用域。我没有得到我期望的获取/释放对,而是快速连续地得到四个“获取”,一个 5 秒的间隔,然后是“释放”。我什至将 Scoped 中的锁更改为指针,并在获取地址之前打印地址,以确保我没有发疯。看起来它是同一个共享对象,但锁并没有阻止多次访问。

Lock '140734928395200'.
acquired: !!!!!
Lock '140734928395200'.
acquired: -------
Lock '140734928395200'.
acquired: ***************
Lock '140734928395200'.
acquired: ##
released: !!!!!
released: -------
released: ***************
released: ##

这是 Lock.h 的源代码:

#include <pthread.h>
namespace Lock
{
  class Shared
  {
  public:
    Shared()
    {
      ::pthread_mutex_init(&(this->mutex), nullptr);
    }
    ~Shared()
    {
    }
    void acquire()
    {
      ::pthread_mutex_lock(&(this->mutex));
    }
    void release()
    {
      ::pthread_mutex_unlock(&(this->mutex));
    }
  private:
    pthread_mutex_t mutex;
  };
  class Scoped
  {
  public:
    Scoped(Lock::Shared& lock) : lock(lock)
    {
      this->lock.acquire();
    }
    virtual ~Scoped()
    {
      this->lock.release();
    }
  private:
    Lock::Shared& lock;
  };
};

这是我用于测试的 main.cc 文件。我正在构建:

g++ -std=c++11 -o try -pthread main.cc && ./try

在最新的 Ubuntu 系统上使用 g++4.7。

#include <pthread.h>
#include <iostream>
#include "Lock.h"
#include <unistd.h>
struct data
{
  data(std::string name, Lock::Shared& lock) : name(name), lock(lock) { ; }
  std::string name;
  Lock::Shared& lock;
};
void* doStuff(void* v)
{
  data* d = (data*)v;
  for (int i = 0; i < 5; i++)
  {
    Lock::Scoped(d->lock);
    //d->lock->acquire();
    std::cout << "acquired: " << d->name << std::endl;
    ::sleep(5);
    std::cout << "released: " << d->name << std::endl;
    //d->lock->release();
    ::sleep(1);
  }
}
int main(int argc, char* argv[])
{
  pthread_t fred;
  pthread_t barney;
  pthread_t wilma;
  pthread_t betty;
  Lock::Shared lock;
  data f("##", lock);
  data b("***************", lock);
  data w("-------", lock);
  data e("!!!!!", lock);
  ::pthread_create(&fred, nullptr, doStuff, (void*)&f);
  ::pthread_create(&barney, nullptr, doStuff, (void*)&b);
  ::pthread_create(&wilma, nullptr, doStuff, (void*)&w);
  ::pthread_create(&betty, nullptr, doStuff, (void*)&e);
  ::pthread_join(fred, nullptr);
  ::pthread_join(barney, nullptr);
  ::pthread_join(wilma, nullptr);
  ::pthread_join(betty, nullptr);
  return 0;
}
4

2 回答 2

11

问题是:

for (int i = 0; i < 5; i++)
{
    Lock::Scoped(d->lock);

它创建了一个Lock::Scoped立即构造和销毁的临时数组,因此它没有预期的同步效果。改成:

for (int i = 0; i < 5; i++)
{
    Lock::Scoped lk(d->lock);
于 2013-03-05T08:54:45.710 回答
5

问题在这里:

Lock::Scoped(d->lock);

这会创建一个未命名的临时对象,该临时对象会立即超出范围。

要修复,请给它一个名称:

Lock::Scoped lck(d->lock);
于 2013-03-05T08:57:40.537 回答