signal/wait などの明確に順序関係がつくイベントを使って、各スレッドの区間に順序関係を作る
時刻に全順序関係が無い複数の区間からのアクセスで lockset が空になったらアウト
いかにもメモリオーバヘッドデカそうだが、5倍くらいですむらしい