https://www.maxpagani.org/2008/02/27/deadlock-in-practice/