セマフォとしてミューテックスを使用しますか？

Question

「tick tock」パターンで進行するには2つのスレッドが必要です。セマフォとimplmented場合、これは正常に見える：

Semaphore tick_sem(1); 
Semaphore tock_sem(0); 

void ticker(void) 
{ 
    while(true) 
    { 
     P(tick_sem); 
     do_tick(); 
     V(tock_sem); 
    } 
} 

void tocker(void) 
{ 
    while(true) 
    { 
     P(tock_sem); 
     do_tock(); 
     V(tick_sem); 
    } 
} 

私は（技術的にはバイナリセマフォです）ミューテックスと同じことを行う場合は、それは奇妙なコードのにおいを持っています。

std::mutex tick_mutex; 
std::mutex tock_mutex; 
tock_mutex.lock(); 

void ticker(void) 
{ 
    while(true) 
    { 
     tick_mutex.lock(); 
     do_tick(); 
     tock_mutex.unlock(); 
    } 
} 

void tocker(void) 
{ 
    while(true) 
    { 
     tock_mutex.lock() 
     do_tock(); 
     tick_mutex.unlock(); 
    } 
} 

ミューテックスは別のスレッドに情報を伝えることを意図していないと思います。 （C++ 11の標準委員会は、予期せぬ情報転送を打ち負かすためにtry_lockに偽の失敗を追加しました;§30.4.1/ 14）mutexは変数へのアクセスを同期させ、別のスレッドに情報を伝えることができるようです。

最後に、std::condition_variableで実装されている場合は正しく見えますが、より複雑です（tick_vs_tock変数、mutex、および条件変数）。簡潔にするために実装を省略しましたが、実際はまっすぐです。

ミューテックス溶液は良好ですか？それとも何か微妙に間違っていますか？

考えていないマイティック/トックの問題を解決する良いパターンがありますか？

Answer 1

Mutexは単なるバイナリセマフォではなく、ロックスレッドだけがロックを解除できるという制限もあります。

あなたはそのルールを破っています。

編集：

MSDNから：

呼び出し元のスレッドが ミューテックスオブジェクトを所有していない場合ReleaseMutex機能に障害が発生しました。

を場合pthread_mutex_unlockの（）関数は失敗することがあります：現在のスレッドがミューテックスを所有していない

EPERM Googleがpthread_mutex_unlockのために上がっていることをいくつかのサイトから

。

他のmutex実装でも同じことが分かります。 mutexはリソースへのスレッドのアクセスを守るため、別のスレッドはロックを解除できないはずです。

Answer 2

セマフォを使用するケースがあるので、修正は移植可能だと思います。implement one using a mutex and a condition variable。

セマフォごとにmutex/condvarペアを使用するため、これは特に効率的ではないかもしれませんが、独自のセマフォ（PosixやWindowsなど）を持つシステムでは別の実装に切り替えることができます。

明らかにsemaphores are "too error-prone"です。 Boostを尊重して、少なくとも私たちの一部は管理できると思います。確かにあなたは結び目trying to do complicated things with multiple semaphoresに身を置くことができ、かなり低レベルのツールです。しかし、彼らが正しいことだと問題はありません。