Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency

arXiv:2603.13142v1 Announce Type: new Abstract: Locks are a standard mechanism for synchronizing concurrent threads. The standard lock set construction assumes that critical sections are confined to a single thread, and therefore only accounts for locks acquired within that thread. The commonly use…

View Post on Scour ↗

More from arxiv.org on Scour.