Синхронизация. Тихая потеря мютекса

Как показывает трассировка, очерёдность открытия/закрытия мютекса соблюдается верно, работа счётчика функционирует как и задумано, но мютекс rsReadMutex сам собою лочится. При попытке:

[CODE="cpp"]
if( WaitForSingleObject(rsReadMutex, 0) != WAIT_OBJECT_0 )
ReleaseMutex( rsReadMutex );
WaitForSingleObject( rsReadMutex, 0 );
std::cout << GetLastError() << std::endl;
[/CODE]

Вызов GetLastError возвращает ERROR_NOT_OWNER 288, ну оно и понятно. А вот если убрать всю эту эзотерику, оставив только

[CODE="cpp"]
WaitForSingleObject( rsReadMutex, 0 );
std::cout << GetLastError() << std::endl;
[/CODE]

то GetLastError возвращает 0, что какбы говорит: "мютекс занят, мютекс занят не этим потоком, в остальном - всё ок, т.е. сам дескриптор корректный по-прежнему".

Важно заметить, что никаких других аномалий не наблюдается, никто более не использует мютекс. Приведённый код не просто вырван из контекста, а был отдельно написан для тестирования проблемного участка.

Такая вот <эфемизм к контекстуально уместному слову>:

[CODE="cpp"]
HANDLE rsCollaborativeMutex, rsReadMutex;
DWORD rsReaders;


DWORD WINAPI UseRead( LPVOID )
{
for( ; ; )
{
WaitForSingleObject( rsCollaborativeMutex, INFINITE );
std::cout << "ENTER(" << rsReaders << ", " << (rsReaders+1) << ")\n";
if( ++rsReaders == 1 ) {
std::cout << "SEIZE\n";
WaitForSingleObject( rsReadMutex, INFINITE );
}
std::cout << "GOT(" << rsReaders << ")\n";
ReleaseMutex( rsCollaborativeMutex );

Sleep(10);

WaitForSingleObject( rsCollaborativeMutex, INFINITE );
std::cout << "LEAVE(" << rsReaders << ", " << (rsReaders-1) << ")\n";
if( --rsReaders == 0 ) {
std::cout << "RELEASE\n";
ReleaseMutex( rsReadMutex );
}
std::cout << "GOT(" << rsReaders << ")\n";
ReleaseMutex( rsCollaborativeMutex );

Sleep( 100 );
}
return 0;
}


int main( int argc, char **argv )
{
rsReaders = 0;
rsCollaborativeMutex = CreateMutexA( 0, 0, 0 );
rsReadMutex = CreateMutexA( 0, 0, 0 );
rsPrintMutex = CreateMutexA( 0, 0, 0 );

CreateThread( 0, 0, &UseRead, (LPVOID)70000, 0, 0 );
CreateThread( 0, 0, &UseRead, (LPVOID)30000, 0, 0 );

SuspendThread( GetCurrentThread() );
return 0;
}
[/CODE]

А сама смерть выглядит примерно так:


Следует заметить, что мютекс может быть несколько (и много) раз успешно пройти цикл открития/закрытия, а сплоховать позже. В очередной раз, закрыв мютекс, мы его уже не откроем.