DocumentCode :
3132206
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
fYear :
2004
fDate :
30 June-2 July 2004
Firstpage :
109
Lastpage :
116
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems, 2004. ECRTS 2004. Proceedings. 16th Euromicro Conference on
ISSN :
1068-3070
Print_ISBN :
0-7695-2176-2
Type :
conf
DOI :
10.1109/EMRTS.2004.1311012
Filename :
1311012
Link To Document :
بازگشت