c++ - scoped_lock() - 使用 pthread 的 RAII 实现

Question

我有一个在 4 个线程之间共享的套接字，我想使用 RAII 原则来获取和释放互斥量。

---

现实情况

1. 我正在使用 pthread 库。
2. 我无法使用 Boost。
3. 我不能使用任何比 C++03 更新的东西。
4. 我不能使用异常(exception)。

---

背景

我认为我可以编写一个 scoped_lock() 来锁定互斥锁，而不是每次都在使用它之前锁定套接字的互斥锁，然后立即解锁互斥锁它超出范围，它会自动解锁互斥体。

所以，很简单，我在构造函数中锁定并在析构函数中解锁，如此处所示。

ScopedLock::ScopedLock(pthread_mutex_t& mutex, int& errorCode)
: m_Mutex(mutex)
{
    errorCode = m_lock();
}

ScopedLock::~ScopedLock()
{
    errorCode = m_unlock();
}

其中 m_lock() 和 m_unlock() 是围绕 pthread_mutex_lock() 和 pthread_mutex_unlock( ) 函数，带有一些额外的跟踪线/日志记录。

这样一来，我就不必编写至少两个解锁语句，一个用于好的情况，一个用于坏的情况(至少一个，在某些情况下可能是更糟糕的路径)。

---

问题

我遇到的问题和我不喜欢这个方案的地方是析构函数。

我已经为每个函数努力完成了错误处理，但是从这个 ScopedLock() 的析构函数中，我无法通知调用者可能返回我的 m_unlock( )。

Answer 1

这是 RAII 的一个基本问题，但在这种情况下，你很幸运。 pthread_unlock 仅在错误设置互斥量 (EINVAL) 或尝试从不拥有它的线程中解锁错误检查互斥量 (EPERM)。这些错误表明您的代码中存在错误，而不是您应该考虑的运行时错误。 asserting errorCode==0 在这种情况下是一个合理的策略。