为什么 boost 的进程间互斥体在 posix 上不稳健？

Question

我对 boost 很陌生，只是想了解其中的一小部分 - 进程间互斥体。

AFAIU，使用文件锁的跨平台实现中有一个强大的互斥模拟：http://www.boost.org/doc/libs/1_62_0/boost/interprocess/detail/robust_emulation.hpp

这是为了模拟 posix 标准中可用的强大互斥锁，但只有当平台特定版本不可用时才会使用通用方法。

#if !defined(BOOST_INTERPROCESS_FORCE_GENERIC_EMULATION) && defined (BOOST_INTERPROCESS_POSIX_PROCESS_SHARED)
   #include <boost/interprocess/sync/posix/mutex.hpp>
   #define BOOST_INTERPROCESS_USE_POSIX
//Experimental...
#elif !defined(BOOST_INTERPROCESS_FORCE_GENERIC_EMULATION) && defined (BOOST_INTERPROCESS_WINDOWS)
   #include <boost/interprocess/sync/windows/mutex.hpp>
   #define BOOST_INTERPROCESS_USE_WINDOWS
#elif !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
   #include <boost/interprocess/sync/spin/mutex.hpp>
   #define BOOST_INTERPROCESS_USE_GENERIC_EMULATION

但是在实际上支持健壮互斥体的posix系统上（我猜这取决于内核版本），健壮互斥体实际上没有启用。http://www.boost.org/doc/libs/1_62_0/boost/interprocess/sync/posix/pthread_helpers.hpp

所以我不太明白这里的逻辑，posix 强大的互斥体实现是否有严重的性能损失，以至于我们不想使用它？即便如此，至少应该有一个选项可以选择性地启用此功能。

为了解决这个问题，因为我是新手，有什么方法可以使通用实现在 posix 实现上可用，以便我可以利用鲁棒性？

Answer 1

我刚刚研究了文件 boost/interprocess/sync/posix/pthread_helpers.hpp 中交叉互斥体的包装类的 boost 实现。我看到 PTHREAD_MUTEX_ROBUST 丢失了。请添加如下 ROBUST 属性并尝试。

mutexattr_wrapper(bool recursive = false)
 {
         if(pthread_mutexattr_init(&m_attr)!=0 ||
            pthread_mutexattr_setpshared(&m_attr, PTHREAD_PROCESS_SHARED)!= 0 ||
             (recursive &&
              pthread_mutexattr_settype(&m_attr, PTHREAD_MUTEX_RECURSIVE)!= 0 ) ||
              pthread_mutexattr_setrobust(&m_attr, PTHREAD_MUTEX_ROBUST)!= 0)
            throw interprocess_exception("pthread_mutexattr_xxxx failed");
}