WEKO3
アイテム
予約付きセマフォによるデッドロックの回避
https://ipsj.ixsq.nii.ac.jp/records/30266
https://ipsj.ixsq.nii.ac.jp/records/302661fdf6d59-86bc-4eec-a250-d7443588d234
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO96011008.pdf (557.3 kB)
|
Copyright (c) 1997 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1997-01-23 | |||||||
| タイトル | ||||||||
| タイトル | 予約付きセマフォによるデッドロックの回避 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Reservation - Extended Semaphore : A Synchronization Mechanism for Deadlock Avoidance | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 東海大学工学部電子工学科 | ||||||||
| 著者所属 | ||||||||
| 東海大学工学部電子工学科 | ||||||||
| 著者所属 | ||||||||
| エルグ株式会社 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Electronics, Faculty of Engineering, Tokai University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Electronics, Faculty of Engineering, Tokai University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| ERG Co., LTD. | ||||||||
| 著者名 |
孫志太
× 孫志太
|
|||||||
| 著者名(英) |
Sun, Zhitai
× Sun, Zhitai
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 再利用可能なリソースの割り付けにおけるデッドロックを回避するために，予約付きセマフォ同期メカニズムを定義し，資源を効率的に利用可能とするデッドロック回避方法を提案する．予約付きセマフォは2つのセマフォで構成され，それぞれリソースの獲得状況と予約状況を管理する．タスクのリソースの獲得，予約および解放は予約付きセマフォにおけるPR，VR操作より行い，リソースの排他的利用とデッドロック回避が同時に実現される．PR操作がコストO(），VR操作がコストO(）で実現すると同時に，デッドロックを起こさない限り，タスクに予約されても，他のタスクが利用可能にすることによって，リソースの利用率の向上が期待できる．さらに，バイナリ予約付きセマフォ同期メカニズムを示した． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Reservation-Extended semaphore, a new synchronization mechanism is proposed to avoid deadlocks in reusable resources allocation. A reservation-extended semaphore is constituted by two semaphores to manage resources acquired situation and reserved state respectively. To avoid deadlocks, tasks must access the reservation-extended semaphore by using PR and VR operations to acquire, reserve or release a resource. The executing cost are O(m) for PR and O(1) for VR. The mechanism can also grant a task to acquire a reserved resource with deadlock free. So, the reservation-extended semaphore is an effective synchronization mechanism for resources allocation. Moreover, we have also shown the binary reservation-extended semaphore synchronization mechanism. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1997, 号 9(1996-PRO-011), p. 53-60, 発行日 1997-01-23 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
