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.