Deadlock prevention in the RTC programming system for distributed real-time applications

Author

Wolfe, Victor Fay ; Davidson, Susan ; Lee, Insup

Author_Institution

Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA

fYear

1993

fDate

25-28 May 1993

Firstpage

420

Lastpage

427

Abstract

The RTC distributed real-time programming system was implemented using AND-OR locking of system resources to meet real-time and concurrency control requirements. Since RTC processes can hold locks while acquiring others, deadlock is possible and therefore a deadlock prevention technique was implemented for AND-OR locking in such systems. The authors briefly discuss the RTC programming system, illustrate the system´s use in programming a timed version of the classic dining philosophers example, describe the deadlock prevention technique, and show how it is applied in the RTC dining philosophers example

Keywords

concurrency control; high level languages; operating systems (computers); parallel programming; real-time systems; software tools; AND-OR locking; RTC dining philosophers example; RTC distributed real-time programming system; RTC programming language; RTC programming system; classic dining philosophers example; concurrency control; deadlock prevention; deadlock prevention technique; distributed real-time applications; programming; real-time systems; system resources; timed version; Application software; Computer languages; Computer science; Concurrency control; Information science; Protocols; Prototypes; Real time systems; System recovery; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 1993., Proceedings the 13th International Conference on

Conference_Location

Pittsburgh, PA

Print_ISBN

0-8186-3770-6

Type

conf

DOI

10.1109/ICDCS.1993.287683

Filename

287683