1. A method comprising: halting a first thread of a plurality of threads of a program; determining a first subset of the plurality of threads that are waiting for a first mutex that is locked by the first thread while the first thread is halted; and presenting identifiers of the first subset of the plurality of threads.