The application of supervisory control to deadlock avoidance in concurrent software
| Venue: | In Workshop on Discrete Event Systems |
| Citations: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Wang_theapplication,
author = {Yin Wang and Terence Kelly and Manjunath Kudlur and Scott Mahlke and Stéphane Lafortune},
title = {The application of supervisory control to deadlock avoidance in concurrent software},
booktitle = {In Workshop on Discrete Event Systems},
year = {},
pages = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract — Ensuring deadlock-free execution of concurrent programs is a notoriously difficult problem, but an increasingly important one as multicore processors compel performanceconscious software developers to parallelize applications. We propose and validate a novel methodology for dynamically controlling the execution of concurrent software in order to provably avoid deadlocks. The methodology is based on supervisory control of discrete event systems modeled by Petri nets. Specifically, we synthesize feedback controllers for concurrent programs based on the theory of supervision based on place invariants and implement the controllers online to guarantee deadlock avoidance. We describe a full implementation of this methodology and report initial experimental results demonstrating its effectiveness and scalability. I.
