DeepAI AI Chat
Log In Sign Up

Intensional view of General Single Processor Operating Systems

by   Abhijat Vichare, et al.

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.


page 1

page 2

page 3

page 4


What is an OS?

While the engineering of operating systems is well understood, their for...

Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker

FreeRTOS is a real-time operating system with configurable scheduling po...

A Formal Specification of Operating System based on ARINC 653

In this paper, by using the formal language Circus, we give a formal spe...

Fast Stencil-Code Computation on a Wafer-Scale Processor

The performance of CPU-based and GPU-based systems is often low for PDE ...

Cognitive Architecture for Decision-Making Based on Brain Principles Programming

We describe a cognitive architecture intended to solve a wide range of p...

TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines

The rise in computing hardware choices is driving a reevaluation of oper...

Relational Models of Microarchitectures for Formal Security Analyses

There is a growing need for hardware-software contracts which precisely ...