Verimag

Technical Reports

Philippe Gerner and Thao Dang
Computing Schedules for Multithreaded Real-Time Programs using Geometry (2004)

TR-2004-8.pdf
TR-2004-8.ps

Keywords: scheduling, real-time, concurrency, PV diagrams

Abstract: We describe a novel technique for computing efficient schedules for multi-threaded real-time programs. The technique makes use of abstractions which are constructed by embedding the model of the program in a geometric space and then constructing a decomposition of this space. This embedding uses the model of PV diagrams. We introduce a timed version for PV programs and diagrams, which allows us to define the worst-case response time of the schedules, and then to use the geometric abstractions for computing efficient schedules.

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 817167