Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs — mentioned by Animats

Wed, 14 May 2025 17:47:38 GMT

Yes. But the Arc has to wrap a Mutex, which means you have to lock to get access. It's a dual of the Rc/RefCell/borrow mechanism. The trouble with calling .lock() is that there is a potential for deadlock. There are some people working on static analysis for deadlock prevention, which is a dual of the static analysis for double borrow protection problem. We're maybe a PhD thesis or two from a solution. Here's some current research, out of Shanghai.[1] Outlines the theory, but code does not yet seem to be available. [1] https://arxiv.org/pdf/2401.01114

Paper and discussion history. A mention is not an endorsement.

Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs — HN submission

Thu, 04 Jan 2024 23:55:09 GMT

Static Deadlock Detection for Rust Programs

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs · HackerPapers discussions

Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs — mentioned by Animats

Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs — HN submission