知识卡片
竞争条件与互斥锁
内容
竞争条件指程序的正确性依赖某种特定的执行顺序或时序，但这个顺序又无法被保证——当多个goroutine同时读写同一份共享资源（如马赛克算法里”从瓷砖图片库挑选并移除最佳匹配”这个操作），谁先谁后会直接影响结果，程序因此变得行为飘忽、难以复现。发散：判断该锁多大范围，标准是”从读到共享状态、到基于这个状态做出决策、再到写回状态”这整条链路必须原子化，锁小了等于没锁。
参考来源
- 位置：《Go Web编程》第9章《发挥Go的并发优势》（源文件：_epub-src/OEBPS/text00023.html）
- 结论依据：原文围绕“竞争条件指程序的正确性依赖某种特定的执行顺序或时序，但这个顺序又无法被保证——当多个goroutine同时读写同一份共享…”展开机制、顺序或组件关系说明；摘录中的关键步骤和术语支撑本卡片正文及结构图。
- 原始内容：第9章 发挥Go的并发优势 本章主要内容 从原理上理解并发和并行 学习如何使用goroutine以及通道 在Web应用中使用并发特性 Go语言一个广为人知的特点就是，可以更容易地写出错误更少的并发程序。本章将介绍并发这一技术，并讨论Go语言的并发模型以及设计。除此之外，我们还会深入地了解Go语言为实现并发而提供的两个特性，它们分别是goroutine以及通道…