“Safe and Secure Drivers in High-Level Languages”
In a past life, I toyed with Haskell to write a proto operating system. So I'm really glad to see people prooving that drivers should better be written in other languages than C. The talk is quite fast and technical but easy to follow if you know the basics of operating sytsem development. Makes me want to check out the code and compare the implementions and how each language shines…
@lunar galoy has also write drivers in haskell (quite some years ago actually), they were creating more or less haskell on xen, it's quite fascinating https://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/A-Means-to-Many-Ends-10-Years-of-Haskell-at-Galois
@bram @lunar btw, the question question about single reads is not so easily answered: atomic read sometimes is actually implemented as two reads to make sure no single byte has been updated, although it's just in antique architectures which lack proper atomic instructions. Like 64bit atomic ops on 32bit sometimes are done this way.
@lunar aw he's talking fast :D
I wonder how well bash drivers would work in Haiku :D
More seriously, we already use some C++ in kernel space, possibly we could have some rust or go support as well to experiment.
Un Mastodon pour la communauté du potager.org.