Conversation

Notices

1. Embed this notice
   Rich Felker (dalias@hachyderm.io)'s status on Sunday, 16-Feb-2025 12:12:10 JST Rich Felker

   Tactless: "Rust in the kernel is a cancer."

   Elegant: "Rust in the kernel is carcinization."

   • Embed this notice
     Rich Felker (dalias@hachyderm.io)'s status on Sunday, 16-Feb-2025 13:25:47 JST Rich Felker

     in reply to

     • LisPi

     @lispi314 I'm not sure what you mean but let me just have my pun or whatever you call it without bringing up the actual argument... 🙃

   • Embed this notice
     LisPi (lispi314@udongein.xyz)'s status on Sunday, 16-Feb-2025 13:25:48 JST LisPi

     in reply to
     @dalias "Historical: Rust in the kernel begs the question why we didn't fix it before."
   • Embed this notice
     Rich Felker (dalias@hachyderm.io)'s status on Sunday, 16-Feb-2025 13:31:29 JST Rich Felker

     in reply to

     • LisPi

     @lispi314 Ada? 🙃

   • Embed this notice
     LisPi (lispi314@udongein.xyz)'s status on Sunday, 16-Feb-2025 13:31:30 JST LisPi

     in reply to
     @dalias I did notice the pun, aye.
     
     Just felt like poking fun at the kernel being written in C when better Libre options were available the entire time.
   • Embed this notice
     Rich Felker (dalias@hachyderm.io)'s status on Sunday, 16-Feb-2025 13:32:25 JST Rich Felker

     in reply to

     • LisPi

     @lispi314 Anyway IMO the problem is not that the kernel is written in the wrong language. It's that shit device drivers run in the same privilege domain and memory space as the kernel rather than being properly sandboxed.

     Haelwenn /элвэн/ :triskell: likes this.
   • Embed this notice
     Rich Felker (dalias@hachyderm.io)'s status on Sunday, 16-Feb-2025 13:45:47 JST Rich Felker

     in reply to

     • LisPi

     @lispi314 Yes, memory-safe languages and privsep are two very different philosophies to achieve similat ends, and I vastly prefer privsep because it lets you use any existing code and lets people write in the languages they're most comfortable in, and because it can protect against not just errors representable in your type system but also logic errors.

   • Embed this notice
     LisPi (lispi314@udongein.xyz)'s status on Sunday, 16-Feb-2025 13:45:48 JST LisPi

     in reply to
     @dalias Microkernels are mostly a way to work around flaws in the implementation language.
     
     Sure, something needs to manage the capabilities or references in a memory-safe language that needs to handle hardware, but none of the other parts need to have such access.
     
     With that handled, there isn't any security-based need for multiple address spaces. Heterogenous memory could still be useful for caching and such though, of course.
   • Embed this notice
     cobratbq - cranky-by-design (cobratbq@mastodon.social)'s status on Sunday, 16-Feb-2025 13:53:38 JST cobratbq - cranky-by-design

     in reply to

     @dalias Assimilated: Rust in the kernel is oxidation.

     Haelwenn /элвэн/ :triskell: likes this.