Title :
Temporal protection in real-time operating systems
Author :
Mercer, Cliff ; Rajkumar, Ragunathan ; Zelenka, Jim
Author_Institution :
Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
Real-time systems manipulate data types with inherent timing constraints. Priority-based scheduling is a popular approach to build hard real-time systems, when the timing requirements, supported run-time configurations, and task sets are known a priori. Future real-time systems will need to support these hard real-time constraints but in addition (a) provide friendly user and programming interfaces with audio and video data types (b) be able to communicate with global networks and systems on demand, and (c) support critical command and control services despite potential risks introduced by such added flexibility and dynamics. We argue that temporal protection mechanisms can be as beneficial in these systems as virtual memory protection. The processor reservation mechanism that we have implemented in Real-Time Mach, for example, provides guaranteed timing behavior for critical activities
Keywords :
data structures; database management systems; operating systems (computers); real-time systems; scheduling; temporal logic; Real-Time Mach; command and control services; data types; hard real-time systems; priority-based scheduling; processor reservation mechanism; real-time operating systems; run-time configurations; temporal protection; timing constraints; timing requirements; Computer science; Contracts; Data engineering; Delay; Dynamic programming; Operating systems; Processor scheduling; Protection; Real time systems; Timing;
Conference_Titel :
Real-Time Operating Systems and Software, 1994. RTOSS '94, Proceedings., 11th IEEE Workshop on
Conference_Location :
Seattle, WA
Print_ISBN :
0-8186-5710-3
DOI :
10.1109/RTOSS.1994.292556