hyperlight-dev / hyperlight-dev/hyperlight
Investigate the possibility of a poisoned borrow-guarding mutex
Open
lifecycle/confirmed
- Dominant language
- Rust
- Stars
- 4.7k
- Forks
- 208
- Avg merge
- 1d 7h
- Merged PRs (30d)
- 47
Description
The `ResourceEntry` abstraction which allows ergonomically treating component borrows as Rust borrows can panic if the `RwLock` that it uses to dynamically enforce certain lifetime properties is poisoned. We should investigate in more depth whether this panic can actually happen in any situation where it would be sound to recover more gracefully.
Related to #577.
Contributor guide
Assessment
This issue has not been assessed yet.