12 ms·
FYI, detecting deadlocks in the general case is in-computable, whether at run time or compile time.
by openasocket 11y ago
FYI, detecting deadlocks in the general case is in-computable, whether at run time or compile time.
- heinrich5991 11y agoStuff like the borrow-checker in the general case is also not computable, only for a small subset of programs, e.g. Rust programs.