futpib / ghx / 25316129901

79%

push

github

Detect crashed lock holders via per-holder heartbeats

The previous refcount-in-JSON design jammed the mutex if any holder
crashed between acquire and release: the count stayed elevated and
no other key could ever acquire. Replace it with one proper-lockfile
lock per holder, each heartbeated; stale ones are reaped on the next
acquire. Works across containers sharing a volume since the mtime
heartbeat is filesystem-level, not PID-based.

25 of 40 branches covered (62.5%)

Branch coverage included in aggregate %.

121 of 144 relevant lines covered (84.03%)

36.5 hits per line