Semantics-based compiler transformations for enhancedschedulability

摘要

We present TCEL (time-constrained event language), whose timingsemantics is based solely on the constrained relationships betweenobservable events. Using this semantics, the unobservable code can beautomatically moved to convert an unschedulable task set into aschedulable one. We illustrate this by an application ofprogram-slicing, which we use to automatically tune control-domainsystems driven by rate monotonic scheduling