更深入的调查显示,在进程A崩溃后,进程B可以成功调用ReleaseMutex()两次.
我的解释：在进程A崩溃后,互斥锁仍然被锁定,但是互斥锁的所有权很容易转移到进程B(这是一个错误).这就是为什么它快乐地哼着,调用WaitForSingleObject(得到WAIT_OBJECT_0)和ReleaseMutex(得到TRUE作为回报).
是否可以使用类似于Mutex的命名同步原语,以便进程A中的崩溃将释放互斥锁？
一种解决方案是使用SEH并捕获崩溃并释放互斥锁,但我真的希望Windows有一个健壮的原语,它不会像进程崩溃那样死锁.
>互斥锁是一个被引用计数的操作系统对象.它将不会消失,直到互斥锁上的最后一个句柄关闭
>当进程终止时,任何未关闭的句柄被操作系统关闭,递减引用计数
>一个互斥锁是可重入的,在同一个线程上的互斥锁上调用WaitForSingleObject成功,需要与相同数量的ReleaseMutex调用进行平衡
>当拥有它的线程终止而不调用ReleaseMutex时,一个拥有的互斥锁就会被放弃.在此状态的互斥锁上调用WaitForSingleObject会生成WAIT_ABANDONED错误返回码
>它永远不是操作系统中的错误.
所以你可以通过观察到的结论得出结论.当A崩溃时,互斥锁没有任何反应,B仍然有一个手柄.唯一可能的方式B可以注意到A崩溃是在A拥有互斥锁时崩溃的时候.由于B将陷入僵局,因此非常低的几率并且很容易观察到.更有可能的是,由于B现在已经完全畅通无阻,B将很乐意继续运转,没有其他人会再获得互斥锁.
此外,A开始时的死锁证明了您已经知道的事情：B由于某种原因永久拥有互斥锁.可能是因为它递归地获得了互斥锁.你知道这一点,因为你注意到你必须两次调用ReleaseMutex.这是您需要修复的错误.
您需要保护自己免受崩溃的兄弟进程的影响,并且需要为此编写显式代码.在兄弟上调用OpenProcess以获取进程对象的句柄.当进程终止时,句柄上的WaitForSingleObject调用将完成.
