操作系统的理论模型

本文作者曾于去年发表了有关操作系统理论模型的文章,该文仅仅是作者在操作系统理论研究方面的一个尝试。现在,想在本文中对该文作进一步的推进。该文谈到,可以把进程(任务)看作是一个具有k个值的函数。现在我们更仔细地探讨它。进程的静态存在无非是程序。我们假设这一程序本身不包含错误,也假设硬件或整个系统本身不包含错误。于是,进程在系统中所经历的状态(值)的变化,便仅仅受其资源的影响,或者说仅仅是资源的函数。注意:这里我们所说的进程状态,指的是其宏观的状态,而不是它内部的特性。