複数ジョブ種が共有する相互排他ロックは奪取ルールの対称性を検証する / PaPut