From: cross@spitfire.i.gajendra.net   
      
   In article ,   
   Luke A. Guest wrote:   
   >On 02/05/2023 02:30, Dan Cross wrote:   
   >> For decades the operating system development landscape has been   
   >> dominated by C; specifically in the kernel space. In so many   
   >> ways, this makes sense, as C was created to build an operating   
   >> system, but it's also become an increasingly hostile language   
   >> for its original purpose (e.g., https://arxiv.org/abs/2201.07845   
   >> and https://queue.acm.org/detail.cfm?id=3212479; others).   
   >   
   >It was always a hostile language.   
      
   I can see why people say this, but what I mean is that compiler   
   writers have become somewhat hostile to OS developers by really   
   stretching what "Undefined Behavior" allows them to do. I get   
   that on some level, but on another, it means that one cannot   
   treat C as a portable macro assembler. Indeed, this has been   
   the case for decades.   
      
   >> This begs the question: what other languages are suitable for   
   >> building kernels? Rust seems like an obvious choice, and there   
   >   
   >I wrote the bare bones kernel in Ada, osdev.org.   
      
   Very nice.   
      
    - Dan C.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   
|