Processor and Resource Allocation Problems in Hard-Real- Time Systems: Theory and Practice

实时计算机系统在外部环境中的进程定义的时间框架内执行计算和I/O操作。本研究解决了一类以存在严格的时间约束为特征的实时系统，如果系统要正常运行，必须满足这些时间约束。目标是开发评估和确保这种实时系统的时间正确性的方法。这项研究有两个主要目的。首先是创建和分析更实用的实时系统模型。目标是扩展确定性调度和资源分配理论，以包含有关程序行为的更现实的假设，并适应由数字视频和高速局域网等技术发展驱动的新形式的时间约束。第二个重点是操作系统内核的设计和构造，该内核能够有效地支持资源分配问题分析所指出的进程模型和调度策略。目标是为实时应用程序的可预测执行提供一种工具。

Real-time computer systems perform computations and I/O operations in a time frame defined by processes in the external environment. This research addresses the class of real-time systems characterized by the existence of strict timing constraints that must be satisfied if the system is to function correctly. The goal is to develop methods for assessing and ensuring the temporal correctness of such real-time systems. There are two main thrusts to this research. The first is the creation and analysis of more pragmatic models of real-time systems. The goal is to extend the theory of deterministic scheduling and resource allocation to encompass more realistic assumptions about program behaviors and to accommodate new forms of timing constraints motivated by the development of technologies such as digital video and high speed local area networks. The second focus is on the design and construction of operating system kernels that efficiently support the process model and scheduling policies indicated by the analysis of the resource allocation problems. The goal is to provide a facility for the predictable execution of real-time applications.