Compiling Real-Time Programs with Timing Constraint Refinement and Structural Code Motion
| dc.contributor.author | Gerber, Richard | en_US |
| dc.contributor.author | Hong, Seongsoo | en_US |
| dc.date.accessioned | 2004-05-31T22:27:22Z | |
| dc.date.available | 2004-05-31T22:27:22Z | |
| dc.date.created | 1994-07 | en_US |
| dc.date.issued | 1998-10-15 | en_US |
| dc.description.abstract | We present a programming language called TCEL (Time-Constrained Event Language), whose semantics is based on time-constrained relationships between observable events. Such a semantics infers only those timing constraints necessary to achieve real-time correctness, without over-constraining the system. Moreover, an optimizing compiler can exploit this looser semantics to help tune the code, so that its worst-case execution time is consistent with its real-time requirements. In this paper we describe such a transformation system, which works in two phases. First the TCEL source code is translated into an intermediate representation. Then an instruction-scheduling algorithm rearranges selected unobservable operations, and synthesizes tasks guaranteed to respect the original event-based constraints. (Also cross-referenced as UMIACS-TR-94-90) | en_US |
| dc.format.extent | 436672 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/653 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-3323 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-94-90 | en_US |
| dc.title | Compiling Real-Time Programs with Timing Constraint Refinement and Structural Code Motion | en_US |
| dc.type | Technical Report | en_US |