Good read about cancellations in Async Rust https://sunshowers.io/posts/cancelling-async-rust/
This blogpost covers a lot of the problems in this space very well. I like how it emphasizes definitions and semantics, shows examples of bugs they came across to, and list some practical recommendations.
The "double-edge sword" of cancellation in Rust is spot on: on one hand, it's cool how "easy" and simple it is to cancel future in Rust -- you *drop* it. Especially given how non-trivial it can be in synchronous environments.
However, this also means it's far too easy to *silently* drop a future. This is scary on its own, and combined with the fact that cancellation of parent futures propagates down to child futures (because of the single ownership model) makes it much more concerning.
This post also links another (much older, Feb 2024) blogpost that covers this space well, elaborating on async clean-up problems and mentions linear types as a solution https://without.boats/blog/asynchronous-clean-up/
Last week #AllSystemsGo #ASG 2025 happened in Berlin, and it was a blast as usual, thanks to all the amazing speakers!
Talks are already available on YT: https://www.youtube.com/playlist?list=PLWYdJViL9EiqX25Rmu49FTDDnzT30wvqL
At the beginning of this month we wrapped up OSHWA’s first ever Open Healthware Conference. For two days we got to hear from incredible creators within the Open Healthware community, see demos of devices meant to better the medical world, and meet new folks from the community.
It was incredible! We can’t say thank you enough but we can try! From NSF, to speakers, to in person and online attendees - thank you, thank you, thank you!!
https://oshwa.org/announcements/open-healthware-conference-wrap-up/
All Systems Go! is almost here! Next Tuesday, Sept 30th, will kick off 2 days of talks and mingling around foundational user-space Linux technologies.
📆 Schedule is here ➡️ https://cfp.all-systems-go.io/all-systems-go-2025/schedule/
🎟️ Tickets are still available ➡️ https://ti.to/all-systems-go/all-systems-go-2025
Anyone going to be at SOSP in a couple of weeks? I will be giving a keynote at the KISV workshop on Monday morning about how CHERI changes how you think about OS design, and then we'll be presenting our paper on the CHERIoT RTOS first thing on Tuesday morning (and at the poster session).