Title :
Semantics-based compiler transformations for enhanced schedulability
Author :
Gerber, Richard ; Hong, Seongsoo
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Abstract :
We present TCEL (time-constrained event language), whose timing semantics is based solely on the constrained relationships between observable events. Using this semantics, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems driven by rate monotonic scheduling
Keywords :
computational linguistics; high level languages; program compilers; real-time systems; scheduling; TCEL; constrained relationships; control-domain systems; enhanced schedulability; observable events; program-slicing; rate monotonic scheduling; semantics based compiler transformation; time-constrained event language; timing semantics; unobservable code; unschedulable task; Automatic control; Computer science; Control systems; Delay; Educational institutions; Hardware; Processor scheduling; Real time systems; Robots; Timing;
Conference_Titel :
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location :
Raleigh Durham, NC
Print_ISBN :
0-8186-4480-X
DOI :
10.1109/REAL.1993.393495
