Linked by Thom Holwerda on Fri 24th Nov 2006 19:34 UTC, submitted by Lambda
OSNews, Generic OSes House is a demo of software written in Haskell, running in a standalone environment. It is a system than can serve as a platform for exploring various ideas relating to low-level and system-level programming in a high-level functional language.
Permalink for comment 185427
To read all comments associated with this story, please click here.
RE: would be cool if...
by SomeGuy on Sun 26th Nov 2006 05:29 UTC in reply to "would be cool if..."
SomeGuy
Member since:
2006-03-20

I don't think even hand-optimized assembly is fast enough for full hardware abstraction; Look at all the optimization that goes into writing a graphics driver, and all the extra extensions that go towards bypassing bits of the kernel. Look at the fact that we're still using monolithic kernels mainly because the overhead of system calls on them is lower (and, yes, part of it is code intetia -- "it works, why replace it? -- but part of it is simply that monolithic kernels are faster.)

Also, once you get this "abstraction layer" written, you've got more or less got an entire OS, just with a pluggable scheduler and maybe VFS (memory management would need to be inside the abstraction layer, or you can't really do DMA and memory mapping.). You may not even get a pluggable VFS, because if you've abstracted away the hardware, you probably can't do stuff like wear levelling on flash drives, or optimizing the physical allocation on hard drives.

Reply Parent Score: 2