DocumentCode
2381435
Title
Defects of the POSIX Sporadic Server and How to Correct Them
Author
Stanovich, Mark ; Baker, Theodore P. ; Wang, An-I ; Harbour, Michael González
Author_Institution
Florida State Univ., Tallahassee, FL, USA
fYear
2010
fDate
12-15 April 2010
Firstpage
35
Lastpage
45
Abstract
The specification of the sporadic server real-time scheduling policy in the IEEE POSIX standard is defective, and needs to be corrected. Via experiments using a POSIX sporadic server implementation under Linux, as well as simulations, we have shown and confirmed previously unreported defects. We propose and demonstrate a corrected sporadic server formulation that eliminates these defects without changes to the syntax of the API or any significant increase in implementation complexity.
Keywords
Linux; application program interfaces; formal specification; scheduling; Linux; POSIX sporadic server; application program interfaces; realtime scheduling policy; server specification; aperiodic server scheduling; posix; sporadic server;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010 16th IEEE
Conference_Location
Stockholm
ISSN
1080-1812
Print_ISBN
978-1-4244-6690-0
Electronic_ISBN
1080-1812
Type
conf
DOI
10.1109/RTAS.2010.34
Filename
5465962
Link To Document