#week-digest

Java concurrency bugs Mavka caught in checkout code, where lock acquisition failures are reported as unavailable stock.

Mavka findings on Java locking in booking systems, where a failed tryLock is mistaken for a table that is already taken.