semaphore - 非アトミック待機による相互排除違反 - セマフォ

Question

私は「オペレーティングシステム」のトピックをやっていますが、これについて頭を悩ませることはできません:

待機がアトミックに処理されない場合、相互排除がどのように違反されるかを示すように求められました。(セマフォ実装)

ここで、これがどのように誤ったカウントを引き起こし、プログラムが実際よりも多くのリソースを利用できると考えるかがわかります。

しかし、これが相互排除にどのように違反するかという概念を理解できないようです:(

誰かが光を当てたり、正しい方向に向けたりできますか?

Answer 1

Google での 2 番目の結果 (この質問が 1 番目でした): http://web.cs.wpi.edu/~cs502/f98/Waltham/hw2soln.html

質問 2 を参照してください。