Defects of the POSIX Sporadic Server and How to Correct Them

Authors:
Mark Stanovich;Theodore P. Baker;An-I Wang;Michael Gonzalez Harbour
Affiliations:
-;-;-;-
Venue:
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Year:
2010

Citing 0
Cited 3

Modular software architecture for flexible reservation mechanisms on heterogeneous resources

Journal of Systems Architecture: the EUROMICRO Journal
RT-Xen: towards real-time hypervisor scheduling in xen

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A virtualized separation kernel for mixed criticality systems

Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Quantified Score

Hi-index	0.00

Visualization

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.