Title :
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
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;
Conference_Titel :
Distributed Computing Systems, 1993., Proceedings the 13th International Conference on
Conference_Location :
Pittsburgh, PA
Print_ISBN :
0-8186-3770-6
DOI :
10.1109/ICDCS.1993.287683
