线程交互不变量的原子性违例错误并发检测