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