Posted on Categories Computer Science, ProgrammingTags ,

Automatic Detection of Potential Deadlock

We would like to share a programming article we wrote on the automatic detection of potential deadlock.The article touches on some fun issues: multithreaded programming, graph algorithms. It was also back when I was considering the bipartite graph as a fundamental basis for data structures (instead of lists, arrays or maps).