Moving the kernel to modern C
Moving the kernel to modern C
Posted Mar 1, 2022 0:09 UTC (Tue) by marcH (subscriber, #57642)In reply to: Moving the kernel to modern C by marcH
Parent article: Moving the kernel to modern C
Forgot the classic reference: https://queue.acm.org/detail.cfm?id=3212479
C Is Not a Low-level Language
Your computer is not a fast PDP-11.
David Chisnall
> Caches are large, but their size isn't the only reason for their complexity. The cache coherency protocol is one of the hardest parts of a modern CPU to make both fast and correct. Most of the complexity involved comes from supporting a language in which data is expected to be both shared and mutable as a matter of course. Consider in contrast an Erlang-style abstract machine, where every object is either thread-local or immutable
Etc.