第五部分：并发与共同约束

事件循环中的异步交错、多个线程和多个写入者都可能让局部正确的操作破坏共同约束。先重现竞态，再区分事务、锁与条件写入各自提供的保证。