删除其中的一句ReleaseMutex，但发现这样做会导致互斥体不能被正常释放。请问这是怎么回事？

Question

先上代码吧：//这是2个线程模拟卖火车票的小程序#include <windows.h>#include <iostream>#include <tchar.h>using namespace std;DWORD WINAPI Fun1Proc(LPVOID lpParameter);//thread dataDWORD WINAPI Fun2Proc(LPVOID lpParameter);//thread dataint index=0;int tickets=10;HANDLE hMutex;void main(){HANDLE hThread1;HANDLE hThread2;//创建线程hThread1=CreateThread(NULL,0,Fun1Proc,NULL,0,NULL);hThread2=CreateThread(NULL,0,Fun2Proc,NULL,0,NULL);CloseHandle(hThread1);CloseHandle(hThread2);//创建互斥对象hMutex=CreateMutex(NULL,TRUE,_T("tickets"));//创建互斥体 一次运行一个线程if (hMutex){if (ERROR_ALREADY_EXISTS==GetLastError()){cout<<"only one instance can run!"<<endl;return;}}WaitForSingleObject(hMutex,INFINITE);//等待进入互斥体 INFINITE -1ReleaseMutex(hMutex);ReleaseMutex(hMutex);Sleep(3000);}//线程1的入口函数DWORD WINAPI Fun1Proc(LPVOID lpParameter)//thread data{while (true){ReleaseMutex(hMutex);WaitForSingleObject(hMutex,INFINITE);if (tickets>0){Sleep(500);cout<<"thread1 sell ticket :"<<tickets--<<endl;}elsebreak;ReleaseMutex(hMutex);}return 0;}//线程2的入口函数DWORD WINAPI Fun2Proc(LPVOID lpParameter)//thread data{while (true){ReleaseMutex(hMutex);WaitForSingleObject(hMutex,INFINITE);if (tickets>0){Sleep(500);cout<<"thread2 sell ticket :"<<tickets--<<endl;}elsebreak;ReleaseMutex(hMutex);}return 0;}在上面的代码是一个多线程的模型，但这个模型中有一个很有趣的地方：原始作者用WaitForSingleObject(hMutex,INFINITE);语句来获得互斥体，同时用ReleaseMutex(hMutex);语句来释放互斥体，但仔细看代码却可以发现，每一个WaitForSingleObject其实是对应了两句一摸一样的释放语句，看上去好像是每获得一次互斥体就要释放两遍一样。

Answer 1

一个线程可以重复占有mutex, 占有几次资源, 就要释放几次资源, 不然别的线程没法获得mutex
main()线程在CreateMutex(TRUE)的时候已经占用资源, 在WaitForSingleObject( hMutex )再次占用, 他需要释放两次

同样的道理.
别问我你程序的逻辑, 我不懂
 
刚启动时, hMutex还没被创建, 所以hMutex = 0 ;
DWORD WINAPI Fun1Proc(LPVOID lpParameter)//thread data
{
while (true)
{
ReleaseMutex(hMutex); // hMutex = 0 ,未定义行为
WaitForSingleObject(hMutex,INFINITE); // hMutex = 0 , 未定义
 
这程序依赖于API的失败语义成为其逻辑一部分, 所以阅读的人会很困难
ReleaseMutex( 0 )失败返回
WaitForSingleObject( 0 )失败返回
所以ReleaqseMutex只有被执行一次, 没有两次.