|
|
|
|
|
|
by colonwqbang
900 days ago
|
|
|
In Haskell this should be "easy" to do using monads. You would have a process monad and an atomic monad (using Linux terminology). The operation to lock a sleeping mutex would live in the process monad. It would be possible to lift an atomic computation into process context (disabling interrupts) but not the other way around. I don't think rust has such a concept of different computation contexts (does it?) Of course Haskell may not be the most suitable kernel implementation language for other reasons... |
|
|
seL4 microkernel would like to have a word with you..