ACE中的Thread Mutex在linux下的使用

ACE库中专门对线程同步提供了两个类，一个是ACE_Thread_Mutex另一个是ACE_REcursive_Thread_Mutex。 在我看 来，在linux下进行线程同步，不要使用ACE_Thread_Mutex，用ACE_REcursive_Thread_Mutex就可以了。原因很 简单，因为ACE_Thread_Mutex不支持线程重入。一旦重入(同一个线程调用两次ACE_Thread_Mutex::acquire）这个线 程就死锁了。

要搞清楚这个问题，我们需要搞清楚操作系统是如何实现线程锁的。Windows下很简单，用CRITICAL_SECTION实现。 CRITICAL_SECTION支持重入，所以Windows下的线程同步用ACE_Thread_Mutex或者 ACE_REcursive_Thread_Mutex都是一样的。而linux下不同，是用posix thread 库实现的。pthread 的mutex分为三种类型，fast,recursive,error checking,当线程调用pthread_mutex_lock时，如果是线程重入这把锁，则：

“fast”锁 挂起当前线程.
“resursive”锁 成功并立刻返回当前被锁定的次数
“error checking” 锁立刻返回EDEADLK

显然ACE_Thread_Mutex是用fast方式实现的。

我有多个平台 (Window,AIX ，Solaris,hp-ux,Linux)的C++多线程程序的开发经验,但是一直都没有想清楚一个不可重入的线程锁有什么用，用这样的锁用起来太不方便，要很小心了， 一不小心就会死锁。所以一般情况下都需要手工写代码将它封装成一个可以重入的锁。ACE中也提供了这样一个封装，用mutex和cond实现的，代码如 下:

ACE_OS::recursive_mutex_lock (ACE_recursive_thread_mutex_t *m)
{
#if defined (ACE_HAS_THREADS)
#if defined (ACE_HAS_RECURSIVE_MUTEXES)
return ACE_OS::thread_mutex_lock (m);
#else
ACE_thread_t t_id = ACE_OS::thr_self ();
int result = 0;

// Acquire the guard.
if (ACE_OS::thread_mutex_lock (&m->nesting_mutex_) == -1)
result = -1;
else
{
// If there’s no contention, just grab the lock immediately
// (since this is the common case we’ll optimize for it).
if (m->nesting_level_ == 0)
m->owner_id_ = t_id;
// If we already own the lock, then increment the nesting level
// and return.
else if (ACE_OS::thr_equal (t_id, m->owner_id_) == 0)
{
// Wait until the nesting level has dropped to zero, at
// which point we can acquire the lock.
while (m->nesting_level_ > 0)
ACE_OS::cond_wait (&m->lock_available_,
&m->nesting_mutex_);

// At this point the nesting_mutex_ is held…
m->owner_id_ = t_id;
}

// At this point, we can safely increment the nesting_level_ no
// matter how we got here!
m->nesting_level_++;
}

{
// Save/restore errno.
ACE_Errno_Guard error (errno);
ACE_OS::thread_mutex_unlock (&m->nesting_mutex_);
}
return result;
#endif /* ACE_HAS_RECURSIVE_MUTEXES */
#else
ACE_UNUSED_ARG (m);
ACE_NOTSUP_RETURN (-1);
#endif /* ACE_HAS_THREADS */
}

这个封装是用在那些posix thread库不支持recursive mutex的平台上的。如果posix thread支持recursive ，那么直接用pthread_mutex_lock就可以了。所以我的结论是：在ACE环境下，直接使用ACE_REcursive_Thread_Mutex，忘记 ACE_Thread_Mutex的存在。