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.