Mac OS X 中是否有等效的 PTHREAD_MUTEX_ROBUST ？

我正在使用一个pthread_mutex_t with PTHREAD_PROCESS_SHARED在共享内存上进行不同进程之间的同步。

如果进程退出但互斥锁保持锁定状态，则互斥锁可能会死锁。有一个PTHREAD_MUTEX_ROBUST在 POSIX 标准中。但Mac OS X好像不支持PTHREAD_MUTEX_ROBUST.

有没有某种mutex在 Mac OS X 上，可以在共享内存上使用，并用于同步跨进程，并且在进程未解锁而死亡的情况下保持鲁棒性？

强大的东西出现在 POSIX 线程 (SUSv7) 的后续迭代中，而不是 Mac OS X（即 SUSv2）支持的标准的一部分。

苹果文档没有显示pthread_mutexattr_setrobust函数（或其等效函数get）并且他们声明它们基于 SUSv2，所以这就解释了为什么你没有它。

按照fixing这个问题，你可以考虑使用类似atexit处理程序来释放现有程序可能拥有的任何资源。

或者另一种可能性是从外部监视死锁并在发现问题时进行清理。例如，有一个带有两个线程的看门狗进程，如下所示。

thread1:
    set variables gloabalNum and localNum to zero
    start thread2
    while true:
        sleep 60 seconds
        if globalNum == localNum:
            exit while
        end if
        localNum = globalNum
    end while

    kill all processes using mutex
    remove shared memory
    exit process

thread2:
    while true:
        lock mutex
        unlock mutex
        increment globalNum
        sleep 5 second

看门狗每五秒有效地锁定和解锁互斥锁，每次都会增加一个变量。如果由于某种原因陷入僵局thread2将停止并且变量将永远不会更新。

同时，thread1正在检查以确保thread2仍在运行，通过每分钟检查变量与其本地副本。如果发现它们相同，则假设thread2由于死锁而停止，然后它通过关闭所有使用互斥锁的进程并销毁它（通过删除共享内存）来清理所有内容。

然后看门狗可以退出，并且可能您已经拥有的用于启动整个应用程序的任何代码都将在某个时刻启动。或者您可以让看门狗进程在退出之前发出某种警报，以确保问题得到解决。

看门狗进程背后的想法是使其尽可能简单，希望能够证明它是正确的（或者至少比错误的程序更正确）。

毫无疑问，根据您的整体架构，还有许多其他可能性。我只是随手提供了这些内容，以便给您一些思考的机会。