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

Why is boost's interprocess mutex not robust on posix?

本文关键字：posix boost 进程 为什么      更新时间：2023-10-16

我是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实现上可用，以便我可以利用鲁棒性?

我刚刚在boost/interprocess/sync/posix/pthread_helpers.hpp文件中查看了用于交叉互斥锁的包装类的boost实现。我看到PTHREAD_MUTEX_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");
}
相关文章：