
TL;DR
This paper analyzes the UNIX file system's architecture, revealing insights into its design principles, constraints, and alternatives through a mathematical perspective on function composition and recursion.
Contribution
It offers a formal, accessible analysis of the UNIX file system architecture, highlighting its design methods without requiring specialized expertise.
Findings
Provides a mathematical understanding of UNIX file system architecture
Identifies design constraints and possible alternatives
Simplifies complex system analysis for broader audiences
Abstract
Analysis of the retrieval architecture of the highly influential UNIX file system (\cite{Ritchie}\cite{multicsfs}) provides insight into design methods, constraints, and possible alternatives. The basic architecture can be understood in terms of function composition and recursion by anyone with some mathematical maturity. Expertise in operating system coding or in any specialized "formal method" is not required.
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 · Advanced Database Systems and Queries · Advanced Data Storage Technologies
