Title :
Executing aperiodic jobs in a multiprocessor constant-bandwidth server implementation
Author :
Baruah, Sanjoy ; Lipari, Giuseppe
Author_Institution :
North Carolina Univ., Chapel Hill, NC, USA
fDate :
30 June-2 July 2004
Abstract :
The constant bandwidth server (CBS) framework can be implemented on a preemptive uniprocessor platform to make full use of the computing capacity of the platform; when implemented upon a preemptive multiprocessor platform, however, it is known that the schedulable utilization is strictly less than the capacity of the platform. The issue of using the excess processing capacity is addressed here, and an algorithm is presented, and proven correct, that uses this excess capacity to provide guaranteed real-time service to aperiodic jobs.
Keywords :
formal verification; multiprocessing systems; processor scheduling; real-time systems; aperiodic job execution; constant-bandwidth server; multiprocessor server; preemptive multiprocessor; preemptive uniprocessor; real-time service; schedulable utilization; Real time systems;
Conference_Titel :
Real-Time Systems, 2004. ECRTS 2004. Proceedings. 16th Euromicro Conference on
Print_ISBN :
0-7695-2176-2
DOI :
10.1109/EMRTS.2004.1311012