snabbkaffe icon indicating copy to clipboard operation
snabbkaffe copied to clipboard

Published 20 hours ago • verified publisher icon kafka4beam

Heuristics for force_ordering deadlock detection

Open k32 opened this issue 3 years ago • 0 comments

Investigate scenarios when it is possible to detect a deadlock introduced by force_ordering. Run process_info on a list of processes (how to determine which ones?) and check if all of them are blocked in receive?

k32 avatar Dec 07 '21 21:12 k32