Higher-Order Leak and Deadlock Free Locks
Abstract
Reasoning about concurrent programs is challenging, especially if data is shared among threads. Program correctness can be violated by the presence of data races—whose prevention has been a topic of concern both in research and in practice. The Rust programming language is a prime example, putting the slogan fearless concurrency in practice by not only employing an ownership-based type system for memory management, but also using its type system to enforce mutual exclusion on shared data. Locking, unfortunately, not only comes at the price of deadlocks but shared access to data may also cause memory leaks .
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 09, 2023
- Source ID
- 10.1145/3571229
Entities
People
- Jules Jacobs
- Stephanie Balzer
Organizations
- Air Force Office of Scientific Research
- Carnegie Mellon University
- National Science Foundation
- Radboud University Nijmegen