Temporal Relations and Structures in Real-Time Operating Systems.
Abstract
The temporal properties of objects in a real-time, distributed, fault-tolerant, reactive operating systems are defined and analyzed. Accordingly, properties associated with the scheduleability of accepted jobs whose deadlines are guaranteed are examined. Special mechanisms that support temporal inference are proposed. These mechanisms support explicit time expression, precedence relations, and projections of the knowledge of real-time at different localities. Special data structures, called calendars, are proposed for management and planning of activities and for scheduling. Algorithms that verify scheduleability of arriving requests are introduced, ensuring that already-given guarantees for already-accepted jobs are not violated.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1987
- Accession Number
- ADA192539
Entities
People
- Ashok Agrawala
- Shem-tov Levi
Organizations
- University of Maryland