一般单处理器操作系统的内在观点
摘要：操作系统当前被视为显性。因此，对不同人来说，它们的意义不同。这种显性特征使得很难从形式上理解操作系统。一种内涵视角可以更好地支持形式化工作，并为一些重要问题（如操作系统架构）提供建设性的支持。本文主张采用内涵视角来看待操作系统。它提出通过基于计算的形式化模型来定义操作系统，以克服当前的显性观点，并引入一些原则。这些原则共同用于开发使用类似于函数级编程的方法的单处理器操作系统结构的算法框架。在这篇摘要论文中，我们阐述了基本的方法，讨论了一些优点和局限，并指出了一些未来的可能性。
作者：Abhijat Vichare
论文ID：1308.1199
分类：Operating Systems
分类简称：cs.OS
提交时间：2013-08-07