Intensional view of General Single Processor Operating Systems
Abstract
Operating systems are currently viewed ostensively. As a result they mean different things to different people. The ostensive character makes it is hard to understand OSes formally. An intensional view can enable better formal work, and also offer constructive support for some important problems, e.g. OS architecture. This work argues for an intensional view of operating systems. It proposes to overcome the current ostensive view by defining an OS based on formal models of computation, and also introduces some principles. Together these are used to develop a framework of algorithms of single processor OS structure using an approach similar to function level programming. In this abridged paper we illustrate the essential approach, discuss some advantages and limitations and point out some future possibilities.
Cite
@article{arxiv.1308.1199,
title = {Intensional view of General Single Processor Operating Systems},
author = {Abhijat Vichare},
journal= {arXiv preprint arXiv:1308.1199},
year = {2013}
}
Comments
17 pages, 3 figures. Condensed and improved version of http://arxiv.org/abs/1112.4451 for submission to SOSP'13. arXiv admin note: substantial text overlap with arXiv:1112.4451