根本不用上讯使钩锁悖论模拟