DocumentCode
2601337
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
fYear
1993
fDate
1-3 Dec 1993
Firstpage
232
Lastpage
242
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location
Raleigh Durham, NC
Print_ISBN
0-8186-4480-X
Type
conf
DOI
10.1109/REAL.1993.393495
Filename
393495
Link To Document