予約付きセマフォによるデッドロックの回避
書誌事項
- タイトル別名
-
- Reservation-Extended Semaphore : A Synchronization Mechanism for Deadlock Avoidance
この論文をさがす
説明
再利用可能なリソースの割り付けにおけるデッドロックを回避するために,予約付きセマフオ同期メカニズムを定義し,資源を効率的に利用可能とするデッドロック回避方法を提案する.予約付きセマフオは2つのセマフォで構成され,それぞれりソースの獲得状況と予約状況を管理する.タスクのリソースの獲得,予約および解放は予約付きセマフォにおけるPR,VR操作より行い,リソースの排他的利用とデッドロック回避が同時に実現されるPR操作がコストO(m),VR操作がコストO(1)で実現すると同時に,デッドロックを起こさない限り,タスクに予約されても,他のタスクが利用可能にすることによって,リソースの利用率の向上が期待できる.さらに,バイナリ予約付きセマフオ同期メカニズムを示した.
収録刊行物
-
- 情報処理学会研究報告. PRO, [プログラミング]
-
情報処理学会研究報告. PRO, [プログラミング] 97 (9), 53-60, 1997-01-23
一般社団法人情報処理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570854177217061504
-
- NII論文ID
- 110002929347
-
- NII書誌ID
- AN10485570
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles