レーストラック問題とは、競合状態の一種の具体的な事例です。レーストラック問題とは、システムまたはプロセスにおける欠陥であり、プロセスの出力や結果が、循環的に実行される他のイベントの順序やタイミングに予期せず、かつ決定的に依存する状態を指します。この問題は、その循環的な性質ゆえに、意味的には競合状態とは異なります。
この用語は、2つの信号が円運動で競い合い、どちらが先に出力に影響を与えるかという考え方から来ています。レーストラック問題は、電子システム、特に論理回路、そしてコンピュータソフトウェア、特にマルチスレッドまたは分散プログラムで発生する可能性があります。
外部リンク
- Ada用の飢餓およびクリティカルレース分析ツール
- ロバート・M・フーラー、ビル・リン、スティーブン・M・ノウィックによる論文「非同期状態機械の最適状態割り当てアルゴリズム」
- ルチアーノ・ラヴァーニョ、チョ・W・ムーン、ロバート・K・ブレイトン、アルベルト・サンジョヴァンニ＝ヴィンセンテッリによる論文「イベントベース仕様の状態割り当て問題を解決するための新しいフレームワーク」
- デビッド・A・ウィーラー著「セキュアプログラマー：競合状態を防ぐ―リソースの競合は悪用される可能性がある」
- 第「競合状態を回避する」章（LinuxおよびUnix向けセキュアプログラミングHOWTO）
- Chiral Software著「Javaにおける競合状態、セキュリティ、および不変性（サンプルソースコードとCコードとの比較付き）」
