in the 90s there was a lot of fun research on extensible OS kernels, often using language and compiler techniques to get safety, followed by a long period of seemingly nothing much happening in this space. then recently, this: http://www.brendangregg.com/blog/2019-12-02/bpf-a-new-type-of-software.html …
-
Show this thread
-
I'm trying to find a good summary of the 90s-era work in this area and this is the best I've found so far: https://dash.harvard.edu/bitstream/handle/1/25811000/tr-18-97.pdf … anyone have something better?
3 replies 0 retweets 9 likesShow this thread -
and of course this had to be written, eventually http://www.cs.rice.edu/~druschel/HotOS-VI.ps.gz …pic.twitter.com/Ni6c8X0eiE
1 reply 0 retweets 14 likesShow this thread -
Replying to @johnregehr
Reminds me of how everyone knew substructural type systems were a terrible failed idea from the ‘90s right up until Rust came around
1 reply 0 retweets 4 likes -
Replying to @pcwalton @johnregehr
I think this is inaccurate. Both Cyclone and L3 were post-90s. Alms was after that but pre-rust. And separation logic is substructural.
1 reply 0 retweets 0 likes
Yeah, when writing that I wasn’t sure if I should have written ‘90s or 2000s
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.