Why not build operating systems as layers?
Disclaimer: I am not a professional programmer, nor am I very well-versed in OS theory.
Nevertheless I have the following question:
Why do people still build OS's from scratch, and dont just use the base system and wrap it in an OS of their liking?
For example, mezzano a lisp OS is, it seems to me, pretty much built from scratch.
Why do these guys not just build a lisp OS on top of some UNIX-system, so that every call to the OS goes through that layer?
As an example:
Some people complain that UNIX files are essentially just a lot of text, with not much further information.
Why not just write an additional layer that uses those files as the base but also stores more information about them somewhere?
Maybe it would be too slow, or maybe some system calls cant be passed through an additional layer. Or maybe I am not seeing something immediately obvious to any professional. But I feel like I am probably going to learn something from the answer, so I will just go ahead and ask.
2 comments
People build all kinds of layers. Consider for instance
https://www.pcworld.com/article/394895/what-is-valve-proton-...
Proton is a system (based on open-source Wine) that lets you run Windows programs on Linux. Back in the day there was something called Cygwin that worked in a similar manner in the opposite direction.
There is a certain amount of overlap and/or competition between language runtimes and operating systems. Back in the 1970s and early 1980s home computers frequently had a "language system" instead of an operating system, typically it was a BASIC-based environment but it could be FORTH, LISP or some other language. My first computer was a TRS-80 color computer with just 4K of RAM but it was good enough to learn programming on because a language system is thriftier than a real OS.
With the IBM PC however you would usually boot into MS-DOS and then run a BASIC interpreter (initially BASICA but then there was GWBASIC...) and I remember doing the same with the OS-9 operating system and BASIC09 on my Coco once it was upgraded to 64K of RAM and a disk system.
Thus it's pretty clear that "running a language runtime under an OS" is competitive with "running a language system on bare metal."
Java in particular has a sophisticated runtime but you find a pretty high level of services offered by a Common LISP runtime or many other languages.
And of course using emulation, virtual machines and similar methods you can run just about anything on top of an ordinary OS.
https://www.pcworld.com/article/394895/what-is-valve-proton-...
Proton is a system (based on open-source Wine) that lets you run Windows programs on Linux. Back in the day there was something called Cygwin that worked in a similar manner in the opposite direction.
There is a certain amount of overlap and/or competition between language runtimes and operating systems. Back in the 1970s and early 1980s home computers frequently had a "language system" instead of an operating system, typically it was a BASIC-based environment but it could be FORTH, LISP or some other language. My first computer was a TRS-80 color computer with just 4K of RAM but it was good enough to learn programming on because a language system is thriftier than a real OS.
With the IBM PC however you would usually boot into MS-DOS and then run a BASIC interpreter (initially BASICA but then there was GWBASIC...) and I remember doing the same with the OS-9 operating system and BASIC09 on my Coco once it was upgraded to 64K of RAM and a disk system.
Thus it's pretty clear that "running a language runtime under an OS" is competitive with "running a language system on bare metal."
Java in particular has a sophisticated runtime but you find a pretty high level of services offered by a Common LISP runtime or many other languages.
And of course using emulation, virtual machines and similar methods you can run just about anything on top of an ordinary OS.
Good callout for BASIC09 and OS-9: as I recall, that Iowa company, Microware, wrote OS-9 to host BASIC09.
> Why do these guys not just build a lisp OS on top of some UNIX-system, so that every call to the OS goes through that layer?
In Mezzano's case, presumably because they wanted to build an OS in Common Lisp, not on top of the C that a Unix system would be implemented in. Looking at their Patreon (https://www.patreon.com/froggey) and FAQ (https://mezzanos.herokuapp.com/static/everyone/faq1.html), part of the purpose of the OS is to re-explore the Lisp machines from the '80s.
I know that if I built an OS, my purpose would likely be either learning, or experimentation with some concept that would be difficult to implement in any of the standard existing systems. Building on top of an existing base would defeat the point of the exercise, IMO.
In Mezzano's case, presumably because they wanted to build an OS in Common Lisp, not on top of the C that a Unix system would be implemented in. Looking at their Patreon (https://www.patreon.com/froggey) and FAQ (https://mezzanos.herokuapp.com/static/everyone/faq1.html), part of the purpose of the OS is to re-explore the Lisp machines from the '80s.
I know that if I built an OS, my purpose would likely be either learning, or experimentation with some concept that would be difficult to implement in any of the standard existing systems. Building on top of an existing base would defeat the point of the exercise, IMO.