paper:doi-10-1145-2525528-2525534The operating system: Should there be one?
Original abstract (expand)
Operating systems and programming languages are often informally evaluated on their conduciveness towards composition. We revisit Dan Ingalls' Smalltalk-inspired position that "an operating system is a collection of things that don't fit inside a language; there shouldn't be one", discussing what it means, why it appears not to have materialised, and how we might work towards the same effect in the postmodern reality of today's systems. We argue that the trajectory of the "file" abstraction through Unix and Plan 9 culminates in a Smalltalk-style object, with other filesystem calls as a primitive metasystem. Meanwhile, the key features of Smalltalk have many analogues in the fragmented world of Unix programming (including techniques at the library, file and socket level). Based on the themes of unifying OS- and language-level mechanisms, and increasing the expressiveness of the meta-system, we identify some evolutionary approaches to a postmodern realisation of Ingalls' vision, arguing that an operating system is still necessary after all.
Related work— refs + corpus + external arXiv
Cited / in-corpus / arXiv badges show which signals surfaced each row. Multi-source rows weighted higher.
- Rules of Engagement: Why and How Companies Participate in OSSAileen Abril Castro-Guzman, Anita Sarma, Igor Steinmacher Mariam Guizani2023≈ 69%
- Free and Open-Source Software is not an Emerging Property but Rather the Result of Studied DesignPaolo Magrassi2010≈ 69%
- Can a Machine be Conscious? Towards Universal Criteria for Machine ConsciousnessCosmin Badea Nur Aizaan Anwar2024≈ 68%
- What Pulls the Strings? Understanding the Characteristics and Role of Argumentation in Open-Source Software Usability DiscussionsChaima Amiri, Atefeh Shokrizadeh, Jinghui Cheng Arghavan Sanei2025≈ 67%
- ≈ 67%
- Energy Concerns with HPC Systems and ApplicationsClaude Tadonki, Petr Dokladal, Youssef Mesri Roblex Nana2026≈ 67%
- World Models Should Prioritize the Unification of Physical and Social DynamicsChengdong Ma, Yizhe Huang, Weidong Huang, Siyuan Qi, Song-Chun Zhu, Xue Feng, Yaodong Yang Xiaoyuan Zhang2025≈ 66%
- ≈ 66%
- The history and future prospects of open data and open source softwareAbhinav Kumar, and Sam Eisenberg Feras A. Batarseh2021≈ 65%
- Help! Need Advice on Identifying AdviceBenjamin T Chen, Rebecca Warholic, Katrin Erk, Junyi Jessy Li Venkata Subrahmanyan Govindarajan2026≈ 65%
- ≈ 65%
- Protocol Requirements for Self-organizing Artifacts: Towards an Ambient IntelligenceCarlos Gershenson and Francis Heylighen (Vrije Universiteit Brussel)2013≈ 65%
- ≈ 65%
- ≈ 65%
- ≈ 65%
- ≈ 64%
- ≈ 64%
- Opening the Hood of a Word Processorin corpus1984≈ 63%
- ≈ 63%
- ≈ 62%
- ≈ 62%
- Towards a theory of conceptual design for softwarein corpus2015≈ 62%
- Technical Dimensions of Programming Systemsin corpus2023≈ 62%
- ≈ 62%
- The biogenic approach to cognitionin corpus2005≈ 61%
- ≈ 61%
- ≈ 61%
- ≈ 61%
- The Machine Consciousness Hypothesisin corpus≈ 61%
- Learning without neurons in physical systemsin corpus2022≈ 60%
Similar preprints — Semantic Scholar
Cited by (1)
- Technical Dimensions of Programming Systems
Programming systems research has lacked a common analytic vocabulary comparable to what exists for programming languages, leaving systems like Smalltalk, UNIX, HyperCard, and Jupyter evaluable only th