ブロッキング関数(Java同期メソッド)へのすべての可能な呼び出しを象徴するグラフを描画し、このグラフにサイクルがない場合、デッドロックが不可能であることを確認できますか?ペトリネットはそのようには機能しませんか?
私はこのような答えを探していません:いくつかのモンスターフレームワークを使用してください。
同期されたメソッドでマルチスレッドを処理したい。
EDIT1:先のとがった矢印は、あるクラスが別のクラスの同期メソッドを呼び出すかどうかを示していますEDIT2:klick @here例、サイクルを示しています