たのしい工学

プログラミングを学んで、モノをつくりたいひと、効率的に仕事をしたい人のための硬派なブログになりました

排他処理 セマフォ ミューテックス リアルタイムOS

   

リアルタイムOSと競合処理に関してのちょっとしたメモです

リアルタイムオペレーティングシステム - Wikipedia

セマフォ - Wikipedia
セマフォは競合管理のための変数

複数の資源に対して使用する場合、セマフォは個々の資源の使用/解放状態を把握せず、単に個数のみを保持する。特定の資源を指定したい場合は、他の機構が必要とされる(複数のセマフォの組合せでも可能)。

食事する哲学者の問題 - Wikipedia
共有リソースの排他制御を一般抽象化した問題

ミューテックス - Wikipedia
バイナリセマフォで、クリティカルセクションへの侵入を一つのタスクのみ許す。

排他制御系に関するもの

クリティカルセクション - Wikipedia
コンピュータ上において、単一の計算資源(リソース)に対して、複数の処理が同時期に実行されると、破綻をきたす部分を指す。

コンテキストスイッチ - Wikipedia

リソース系
プロセス - Wikipedia
スレッド (コンピュータ) - Wikipedia

競合処理を実装の際には、
ミューテックスやセマフォを思い出しましょう。

 - コンピュータサイエンス