排他制御
□記事を途中から表示しています
[最初から表示]
^ Holzmann, G.J. Bosnacki, D. “ ⇒The Design of a Multicore Extension of the SPIN Model Checker”, Software Engineering, IEEE Transactions on, vol. 33, no. 10, pp.659-674, Oct. 2007
^ 優先度上限プロトコルは、ロックを獲得したいプロセスがすべて上限いっぱいの優先度であると機能しない。優先度継承は、ロック獲得中のプロセスよりも優先度が高いプロセスがロックを獲得しようとするまで動作しない。
参考文献
Michel Raynal: Algorithms for Mutual Exclusion, MIT Press, ISBN 0-262-18119-3
Sunil R. Das, Pradip K. Srimani: Distributed Mutual Exclusion Algorithms, IEEE Computer Society, ISBN 0-8186-3380-8
Thomas W. Christopher, George K. Thiruvathukal: High-Performance Java Platform Computing, Prentice Hall, ISBN 0-13-016164-0
Gadi Taubenfeld, Synchronization Algorithms and Concurrent Programming, Pearson/Prentice Hall, ISBN 0-13-197259-6
関連項目
不可分操作
並行性制御
セマフォ
食事する哲学者の問題
インターロック (安全技術)
外部リンク
" ⇒Common threads: POSIX threads explained - The little things called mutexes" by Daniel Robbins
Mutual exclusion algorithm discovery
⇒Mutual Exclusion Petri Net
⇒Mutual Exclusion with Locks - an Introduction
⇒Mutual exclusion variants in OpenMP
⇒The Black-White Bakery Algorithm
記事の検索おまかせリスト▼オプションを表示暇つぶしWikipedia
Size:19 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef