What is an OS?

12/19/2011
by   Abhijat Vichare, et al.
0

While the engineering of operating systems is well understood, their formal structure and properties are not. The latter needs a clear definition of the purpose of an OS and an identification of the core. In this paper I offer definitions of the OS, processes and files, and present a few useful principles. The principles allow us to identify work like closure and continuation algorithms, in programming languages that is useful for the OS problem. The definitions and principles should yield a symbolic, albeit semiquantitative, framework that encompasses practice. Towards that end I specialise the definitions to describe conventional OSes and identify the core operations for a single computer OS that can be used to express their algorithms. The assumptions underlying the algorithms offer the design space framework. The paging and segmentation algorithms for conventional OSes are extracted from the framework as a check. Among the insights the emerge is that an OS is a constructive proof of equivalence between models of computation. Clear and useful definitions and principles are the first step towards a fully quantitative structure of an OS.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2013

Intensional view of General Single Processor Operating Systems

Operating systems are currently viewed ostensively. As a result they mea...
research
11/20/2020

A Comparison of Big-step Semantics Definition Styles

Formal semantics provides rigorous, mathematically precise definitions o...
research
05/21/2021

Resilience in the Cyber World: Definitions, Features and Models

Resilience is a feature that is gaining more and more attention in compu...
research
03/14/2019

Mutual Coinduction

In this paper we present mutual coinduction as a dual of mutual inductio...
research
02/05/2018

A Measurement Theory of Locality

Locality is a fundamental principle used extensively in program and syst...
research
07/23/2018

Constructive Galois Connections

Galois connections are a foundational tool for structuring abstraction i...
research
09/01/2020

Characterizing the Probability Law on Time Until Core Damage With PRA

Certain modeling assumptions underlying Probabilistic Risk Assessment (P...

Please sign up or login with your details

Forgot password? Click here to reset