Uncover elusive concurrency bugs in your code
PetraVM’s Jinx software makes multi-threaded programs faster, more reliable and secure by helping programmers and testers find elusive concurrency bugs.
The Jinx debugging tool tests thousands of different interleaving patterns across chip cores to make hidden threading and concurrency bugs appear more quickly. Jinx makes your program “unlucky,” surfacing seemingly random race conditions, deadlocks, atomicity violations and other concurrency bugs before your eyes. Because Jinx deterministically controls program execution, it produces no false positives- so you don’t spend time chasing down dead ends.
Free Beta of Jinx Debugging Tool
We currently support Jinx through our private Beta program. Participation in the Beta program is free to participants willing to provide product feedback.