予約付きセマフォによるデッドロックの回避

書誌事項

タイトル別名
  • Reservation-Extended Semaphore : A Synchronization Mechanism for Deadlock Avoidance

この論文をさがす

説明

再利用可能なリソースの割り付けにおけるデッドロックを回避するために,予約付きセマフオ同期メカニズムを定義し,資源を効率的に利用可能とするデッドロック回避方法を提案する.予約付きセマフオは2つのセマフォで構成され,それぞれりソースの獲得状況と予約状況を管理する.タスクのリソースの獲得,予約および解放は予約付きセマフォにおけるPR,VR操作より行い,リソースの排他的利用とデッドロック回避が同時に実現されるPR操作がコストO(m),VR操作がコストO(1)で実現すると同時に,デッドロックを起こさない限り,タスクに予約されても,他のタスクが利用可能にすることによって,リソースの利用率の向上が期待できる.さらに,バイナリ予約付きセマフオ同期メカニズムを示した.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1570854177217061504
  • NII論文ID
    110002929347
  • NII書誌ID
    AN10485570
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ