🦞🌯 Lobster Roll

Thread

The operating system: should there be one? (plosworkshop.org)

Stories related to "The operating system: should there be one?" across the full archive.

The operating system: should there be one? (plosworkshop.org)
Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels (lib.tkk.fi)
Construction of a Highly Dependable Operating System (cs.vu.nl)
The Rise and Fall of the Operating System (fixup.fi)
Morrow Micronix Operating System User's Manual (1983) (ia801902.us.archive.org)
Unearthing The PDP-15’s Operating Systems (simh.trailing-edge.com)
Introduction To The uNIX Operating System by S. M. Walters (January 1982) [Z-80] (bitsavers.trailing-edge.com)
The Sourceware Operating System Proposal (1993) (mcvoy.com)
> This document describes a proposal to provide a source form, royalty free Unix as an evolution of the COSE effort, as a means of unifying the Unix desktop market, and as an application deployment platform, with a focus on running all applications, including those from other operating systems, such...
Lock-in-Pop: Securing Privileged Operating System Kernels by Keeping on the Beaten Path (usenix.org)
Partial abstract: " In this paper, we propose a new security metric showing strong correlation between 'popular paths' and kernel vulnerabilities. We verify that the OS kernel paths accessed by popular applications in everyday use contain significantly fewer security bugs than less-used paths. We th...
Evolution of C Programming Practices Study of UNIX Operating System (2016) (www2.dmst.aueb.gr)
Abstract: "Tracking long-term progress in engineering and applied science allows us to take stock of things we have achieved, appreciate the factors that led to them, and set realistic goals for where we want to go. We formulate seven hypotheses associated with the long term evolution of C programm...
The Influence of the UNIX® Operating System on the Development of Two Video Games. (langston.com)
A Critique of the GNU Hurd Multi-Server Operating System (2007) (walfield.org)
The DragonFlyBSD Operating System (2004) (people.freebsd.org)
AT&T Archives: The UNIX Operating System (youtube.com)
Probably the best example of the UNIX philosophy I've ever watched. :)
OmniOS builds on Illumos to make a complete operating system (omnios.omniti.com)
Xv6, a simple Unix-like teaching operating system (2012) (pdos.csail.mit.edu)
Dartmouth Time-Sharing System (bitsavers.trailing-edge.com)
Chapter 5 on page 175 has a description of "Communication Files", which according to [this](http://cm.bell-labs.com/who/dmr/hist.html) predate Unix pipes
Common Attacks Against Package Management Systems (ivyleagueradio.net)
This paper reviews common attack vectors against package management systems, analyzes both APT and YUM, and points out a number of flaws in them. Many of the attacks discussed are general in nature and could be applied to any sort of ports, packages, or binary update system. The source of the pap...
Clive: CSP-style operating system written in Go (lsub.org)
The Design and Implementation of the FreeBSD Operating System (2nd Edition) (amazon.com)
Someone mentioned this on the FreeBSD mailing list the other day: the 2nd Edition is being written and should ship later this year. It's available now for preorder on Amazon. I'm really looking forward to digging into this one. Documentation is so critical to long term project success. Much respect ...
Unikernels: Library Operating Systems for the Cloud (anil.recoil.org)
Scriptable Operating Systems with Lua (netbsd.org)
Exokernel: an operating system architecture for application-level resource management (citeseerx.ist.psu.edu)
Automatic Photo Adjustment Using Deep Learning [pdf] (arxiv.org)
Reenix: Implementing a Unix-Like Operating System in Rust (scialex.github.io)
Notes on Data Base Operating Systems (1977) (csis.pace.edu)
Harvey, an operating system with Plan 9's shadow (medium.com)
Programming Guide - Unix* System [1983] (bitsavers.trailing-edge.com)
Exterminate all operating system abstractions (1996) (cs.berkeley.edu)
Ulix OS -- The Literate Operating System (ulixos.org)