ソフトウェアによる方式
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/25 08:45 UTC 版)
ハードウェアサポートを必要とする方式とは別に、ビジーウェイトを使ってソフトウェアのみで排他制御を実現する方式も存在する。例えば、次のようなものがある。 デッカーのアルゴリズム ピーターソンのアルゴリズム ランポートのパン屋のアルゴリズム Szymanskiのアルゴリズム（en） Taubenfeld の Black-White Bakery Algorithm これらのアルゴリズムはアウト・オブ・オーダー実行が働くプラットフォーム上では動作できない(但し、メモリバリアを実現する機械語命令を持っているCPUプラットフォームの場合は除く)。アルゴリズム実施中、メモリ操作はプログラミングした通りに行われなければならない。 OSのマルチスレッドライブラリが同期機構を提供しているなら、それを使う方が望ましい。ハードウェアによる方式が利用可能ならばそれを使って実装されているだろうし、そうでないならばソフトウェアによる方式を利用しているだろう。たとえばOSのライブラリを使い、スレッドが他者が既に獲得しているロックを獲得しようとしたとき、OSはそのスレッドを中断させてコンテキストスイッチし動作可能な他のスレッドを動作させたり、動作可能な他のスレッドがなければプロセッサを省電力状態にしたりといったことをする可能性がある。したがって、ほとんどの現代の排他制御技法はキューイングとコンテキストスイッチを使いレイテンシとビジーウェイト時間を削減しようとする。しかし、スレッドを中断させて再開させるのにかかる時間がスレッドがロックを獲得できるまでの待ち時間より長い場合に限り、スピンロックの方が適しているといえる。
※この「ソフトウェアによる方式」の解説は、「排他制御」の解説の一部です。
「ソフトウェアによる方式」を含む「排他制御」の記事については、「排他制御」の概要を参照ください。
- ソフトウェアによる方式のページへのリンク
