State and history in operating systems
Victor Yodaiken
TL;DR
This paper introduces a recursive function-based approach to model state changes in UNIX-like operating systems, specifically focusing on process switching mechanisms.
Contribution
It presents a novel method of using recursive functions to formally describe process state transitions in operating systems.
Findings
Provides a formal recursive model for process switching
Enhances understanding of OS process management
Potentially improves OS design and analysis
Abstract
A method of using recursive functions to describe state change is applied to process switching in UNIX-like operating systems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgorithms and Data Compression · semigroups and automata theory · Logic, programming, and type systems