# 第 5 章 同步模式 *程序的構造可以使用更加簡單的基礎原語來表達這一事實，提供了一個有力的保障，即：這些基礎原語所包含的內容能夠與程序語言的其余部分在邏輯上保持一致。* *The fact that the construction can be defined in terms of simpler underlying primitives is a useful guarantee that its inclusion is logically consistent with the remainder of the language.* \-- C.A.R. Hoare 在現代編程語言中，多線程間的同步通常采用互斥、信號量等傳統共享內存的手段。Go 語言在 同步原語（Primitive）的選擇上與大多數語言不同，基于 Channel 和 Select 消息通信式同步是該語言 本身真正意義上的同步原語。進而「傳統意義」上的原子、互斥、條件變量、線程本地資源等 概念在 Go 語言中蛻變為用戶態的同步模式（Pattern），形成了語言獨有的特色。