> But none of those languages would let me do what I need to do: zero-copy writes from the network driver through to the RAID backend.
Oberon, Modula-3 and D allow for it via their SYSTEM/Unsafe/@system modules, but the two former ones failed to get a dent into the OS market (for various reasons) and D still has some improvements to their memory model going on.
Also Ada and SPARK are usually the languages to reach for in life critical systems.
Also lets not forget before C became widespread outside UNIX, Modula-2 and Pascal dialects were saner alternatives.
Oberon, Modula-3 and D allow for it via their SYSTEM/Unsafe/@system modules, but the two former ones failed to get a dent into the OS market (for various reasons) and D still has some improvements to their memory model going on.
Also Ada and SPARK are usually the languages to reach for in life critical systems.
Also lets not forget before C became widespread outside UNIX, Modula-2 and Pascal dialects were saner alternatives.