Futurelock: A subtle risk in async Rust

  • Thread starter bcantrill
  • Start date
  • Replies 0
  • Views 20
Status
Not open for further replies.
B

bcantrill

Guest
This RFD describes our distillation of a really gnarly issue that we hit in the Oxide control plane.[0] Not unlike our discovery of the async cancellation issue[1][2][3], this is larger than the issue itself -- and worse, the program that hits futurelock is correct from the programmer's point of view. Fortunately, the surface area here is smaller than that of async cancellation and the conditions required to hit it can be relatively easily mitigated. Still, this is a pretty deep issue -- and something that took some very seasoned Rust hands quite a while to find.
[0] https://github.com/oxidecomputer/omicron/issues/9259
[1] https://rfd.shared.oxide.computer/rfd/397
[2] https://rfd.shared.oxide.computer/rfd/400
[3]


Comments URL: https://news.ycombinator.com/item?id=45774086

Points: 90

# Comments: 22
 
Status
Not open for further replies.
Top