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)

Keywords

Details 詳細情報について

  • CRID
    1570854177217061504
  • NII Article ID
    110002929347
  • NII Book ID
    AN10485570
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top