Win32在进程崩溃时未发布命名的互斥锁

Question

我有2个进程(A,B)共享相同的互斥锁(使用WaitForSingleObject/ReleaseMutex调用).一切正常,但当进程A崩溃时,进程B正在快乐地哼唱.当我重新启动进程A时,会出现死锁.

更深入的调查显示,在进程A崩溃后,进程B可以成功调用ReleaseMutex()两次.

我的解释:在进程A崩溃后,互斥锁仍然被锁定,但是互斥锁的所有权很容易转移到进程B(这是一个错误).这就是为什么它快乐地哼着,调用WaitForSingleObject(得到WAIT_OBJECT_0)和ReleaseMutex(得到TRUE作为回报).

是否可以使用类似于Mutex的命名同步原语,以便进程A中的崩溃将释放互斥锁？

一种解决方案是使用SEH并捕获崩溃并释放互斥锁,但我真的希望Windows有一个健壮的原语,它不会像进程崩溃那样死锁.

Answer 1

您必须在此处做一些关于互斥锁如何在Windows上运行的基本假设:

• 互斥锁是一个被引用计数的操作系统对象.在互斥锁上的最后一个句柄关闭之前,它不会消失
• 当进程终止时,任何未关闭的句柄被操作系统关闭,递减引用计数
• 一个互斥锁是可重入的,在同一个线程上的互斥锁上调用WaitForSingleObject成功,需要与相同数量的ReleaseMutex调用进行平衡
• 当拥有它的线程终止而不调用ReleaseMutex时,拥有的互斥锁将被放弃.在此状态的互斥锁上调用WaitForSingleObject会生成WAIT_ABANDONED错误返回码
• 它永远不是操作系统中的错误.

所以你可以通过观察到的结论得出结论.当A崩溃时,互斥锁没有任何反应,B仍然有一个手柄.唯一可能的方式B可以注意到A崩溃是在A崩溃时它拥有互斥锁.由于B将陷入僵局,因此非常低的几率并且很容易观察到.更有可能的是B很高兴地开始运转,因为它现在完全没有阻挡,没有其他人会再获得互斥锁.

此外,A开始时的死锁证明了您已经知道的事情:B由于某种原因永久拥有互斥锁.可能是因为它以递归方式获得了互斥锁.你知道这个,因为你注意到你必须两次调用ReleaseMutex.这是您需要修复的错误.

您需要保护自己免受崩溃的兄弟进程的影响,并且需要为此编写显式代码.在兄弟上调用OpenProcess以获取进程对象的句柄.当进程终止时,句柄上的WaitForSingleObject调用将完成.

Answer 2

如果持有互斥锁的进程崩溃,那么它就会被抛弃.它取决于其他应用程序如何处理从等待函数返回的状态.

如果它WAIT_ABANDONED返回,那么它可以继续进行,就好像一切都好(可能是它现在做的)或"可能不稳定的数据,谨慎行事".所有权不会自动传递给其他进程.