Critical sections protected by locks are not confined to single threads; a trace model shows they can span multiple threads in general C/Pthread executions.
[CMP20] Yan Cai, Ruijie Meng, and Jens Palsberg
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2verdicts
UNVERDICTED 2representative citing papers
Introduces the TRW partial order for sound deadlock prediction and a weakened variant for completeness, both efficiently computable and agreeing on benchmarks.
citing papers explorer
-
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
Critical sections protected by locks are not confined to single threads; a trace model shows they can span multiple threads in general C/Pthread executions.
-
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
Introduces the TRW partial order for sound deadlock prediction and a weakened variant for completeness, both efficiently computable and agreeing on benchmarks.