Tag: Lincheck

All the articles with the tag "Lincheck".

• Our 32-Thread Stress Test Passed. The Concurrency Specification Was Still Wrong.

  31 Jul, 2026

  A real account of adding Lincheck to reputation-pool. The checker did not merely find implementation bugs: it rejected three specifications that were stronger than the observable contract. This article follows the traces that separated per-resource fencing, schedule-dependent selection, and conservative acquisition failure.