evadon··on Jinx: a novel Linux deterministic multiprocessing debuggerIf you haven't seen this. It's a must have.