Abstract: We present Magiclock, a novel potential deadlock detection technique by analyzing execution traces (containing no deadlock occurrence) of large-scale multithreaded programs. Magiclock ...

Moreover, due to the irregular and sequential characteristics, the SInfo algorithm is challenging to parallelize. In this article, we propose a hybrid sparse data structure and design a low-memory ...

This program prints the inputs and detects whether there is a deadlock or not. If there is no deadlock, it will print a safe pattern of processes.