Horst F. Wedde, Jon A. Lind und Andreas Eiss
Achieving Dependability in Safety-critical Operating Systems Through Adaptability and Large-Scale Functional Integration
Proc. of the ICPAPDS’94 International Conference on Parallel and Distributed Systems, Hsinchu, Taiwan, 1994-12
As part of the DRAGON SLAYER project the adaptive and reliable distributed file system MELODY had emerged, for supporting hard real-time applications in unpredictable environments. In MELODY time criticality o f tasks and their sensitivity with respect to latest file information are explicitly used for novel flexible task scheduling algorithms and file replication management policies, featuring dynamic file replication and relocation of file copies as well as offering file versions of varying recency. The achieved adaptability far outweighs the additional overhead in comparison to simpler models, and enhances both reliability and real-time responsiveness for file access. Both the development of the model and the experimental analysis at the various stages were done in an incremental manner. This was necessary in order to cope with the complexity of the problems resulting from conflicting requirements and dynamic trade-offs (e.g. real-time responsiveness vs. reliability). As the next incremental model extension, and as the major contribution o f this paper, a series of integration policies are developed for task and resource scheduling, after redefining the role and order of task and resource scheduling: The Periodic and Dynamic models (and combinations thereof) are used to invoke the task scheduler for a fixed interval of time. All of these policies compare very convincingly against the "classical" model where the task scheduler only schedules tasks after their resources have been allocated. The results are discussed.