- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Reservation-Extended Semaphore : A Synchronization Mechanism for Deadlock Avoidance
-
- SUN ZHITAI
- Department of Electronics, Faculty of Engineering, Tokai University
-
- OHARA SHIGEYUKI
- Department of Electronics, Faculty of Engineering, Tokai University
-
- SAWADA TSUTOMU
- Department of Electronics, Faculty of Engineering, Tokai University ERG Co., LTD.
Bibliographic Information
- Other Title
-
- 予約付きセマフォによるデッドロックの回避
Search this article
Description
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.
Journal
-
- IPSJ SIG Notes
-
IPSJ SIG Notes 97 (9), 53-60, 1997-01-23
Information Processing Society of Japan (IPSJ)
- Tweet
Details 詳細情報について
-
- CRID
- 1570854177217061504
-
- NII Article ID
- 110002929347
-
- NII Book ID
- AN10485570
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles