C++でマルチスレッドなプログラムを書いています
スレッド間で共有する変数に対してmutexで排他制御をしているのですが
共有する変数が増えてくるとちゃんと排他制御できているかどうかを
コードだけを見てチェックすることが難しくなってきました
ちゃんと排他制御ができていることをテストする有効な方法を教えてください