Defects of the POSIX Sporadic Server and How to Correct Them

Date Added: Oct 2009
Format: PDF

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, the authors have shown and confirmed previously unreported defects. This paper proposes and demonstrates a corrected sporadic server formulation that eliminates these defects without any change to the API or any significant increase in implementation complexity.