←back to thread

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI

(github.com)
252 points Klasiaster | 1 comments | 15 Oct 24 12:01 UTC | HN request time: 0s | source
Show context
akira2501 ◴[15 Oct 24 18:58 UTC] No.41851912[source]▶
I personally dislike rust, but I love kernels, and so I'll always check these projects out.

This is one of the nicer ones.

It looks pretty conservative in it's use of Rust's advanced features. The code looks pretty easy to read and follow. There's actually a decent amount of comments (for rust code).

Not bad!

replies(2): >>41852794 #>>41855386 #
wg0 ◴[16 Oct 24 03:40 UTC] No.41855386[source]▶
Otherwise is a decent language but what makes it difficult is the borrow semantics and lifetimes. Lifetimes are more complicated to get your head around.

But then there's this Arc, Ref, Pinning and what not - how deep is that rabbit hole?

replies(5): >>41855987 #>>41855995 #>>41856204 #>>41856306 #>>41856588 #
KingOfCoders ◴[16 Oct 24 05:51 UTC] No.41855995[source]▶
I always feel Arc is the admission that the borrow checker with different/overlapping lifetimes is too difficult, despite what many Rust developers - who liberally use Arc - claim.
replies(3): >>41856058 #>>41857157 #>>41857254 #
1. Galanwe ◴[16 Oct 24 06:07 UTC] No.41856058[source]▶
It's not that the borrow checker is too difficult, it's that it's too limiting.

The _static_ borrow checker can only check what is _statically_ verifiable, which is but a subset of valid programs. There are few things more frustrating than doing something you know is correct, but that you cannot express in your language.