概念定义
屏障同步：核心困难是交错不确定：可能执行集随操作数超指数增长，测试只采样微乎其微的部分。
工作机制
正确性通过推理 happens-before 关系建立，而非跑更多测试。同步原语按所需具体保证选用——互斥、发布或有序——且仅在附带无死锁证明时组合。有界资源施加背压而非无界排队把过载隐藏到内存耗尽。
使用场景
凡多流共享可变状态或资源处应用。主要误区是对并发代码顺序推理——“A 在 B 前完成所以这不会发生”——而调度器可在任意指令边界交错。其次是为简单用粗锁，把并行性变回串行。
延伸说明
补充说明：屏障同步要求在设计与运维中持续权衡效率、正确性与可维护性，任何单一维度的过度优化都可能引入另一维度的风险。实践上应结合具体场景的约束、团队规模与变更频率，在小步验证中积累证据，而非凭一次假设或单一指标下结论。