Добавить в код вывод счетчика рекурсии потока. Счетчик рекурсии определяет, сколько раз поток захватил мьютекс. Всякий раз, когда поток захватывает объект-мьютекс, счетчик рекурсии в этом объекте увеличивается на 1, а когда освобождает уменьшается на 1.