有什么可以自动检测的多线程/锁是不是会死锁或者逻辑不对的工具就好了, 有吗? 或者有什么固定的思路和公式吗?