Golang¶

设计哲学¶

• Effective Go
• Go at Google
• Go Concurrency Patterns: Pipelines and cancellation
• Go Concurrency Patterns - Rob Pike
• Concurrency in Go，中文版

Less is more：编译为本地机器码、带垃圾回收、静态类型；一套极简的语法（仅 25 个关键字）；以 CSP 为蓝本的并发；以组合而非继承为骨架的类型系统；以及对工具链与构建速度的 极度重视。

基础¶

数据类型¶

bool                                          // 不允许将布尔型强制转换
string                                        // go 中通过反引号`表示语法块
int  int8  int16  int32(rune)  int64          // go 中不允许将整型强制转换为布尔型；rune 代表了一个 Unicode 字符
uint uint8(byte) uint16 uint32 uint64 uintptr // byte 代表一个 ASCII 字符；由于 uint8 的取值范围是 0~255，因此也可以很好的表示 RGB 十进制的取值范围；uintptr 被设定为足够存放一个指针
                                              // int 与 uint 自适应 32 与 64 位平台
byte                                          // uint8 的别名，表示一个 ASCII 字符
rune                                          // int32 的别名，表示一个 Unicode 码点（UTF-8 字符）
float32 float64                               // 应该尽可能使用 float64，因为 math 包中所有有关数学运算的函数都会要求接收这个类型
                                              // float32 占用 4 字节（单精度），float64 则占用 8 字节（双精度），指数和小数默认为 float64
complex64 complex128                          // 复数类型，分别表示 32/64 位实数和虚数，complex128 为复数的默认类型

值类型与引用类型：

• 值类型：基本类型（int、float64、bool、byte、rune 等）、string、array、struct、复数；
• 引用类型：slice、map、channel、pointer、function、interface。引用类型的零值为 nil

在 Go 中，值分配在栈还是堆是由编译器逃逸分析确定的，而非简单通过数据类型确定。比如体积很大的数组、在闭包中被捕获并修改的变量、指针被返回、变量在返回后被引用等情况，都会被分配到堆上。

slice、map、function 类型不能比较，只能和nil比较。

常见使用坑点：

• map：未用 make 初始化的 nil map 可以安全读取，但写入（m[k] = v）会直接引发 panic。
• channel：对 nil channel 进行读写会导致永久阻塞（非 panic）；close(nil) 会引发 panic。
• 指针 / 函数 / 接口：未初始化的 nil 值在执行解引用 (*p)、直接调用 (fn()) 或调用接口方法 (i.Method()) 时会引发 panic。
• slice：nil slice 可以安全使用 append() 追加元素，无需特意 make。

在 Go 中，只有 sync.Map、sync.Pool、channel、atomic 是并发安全的，大多数类型都不是并发安全的，并发读写时需要通过 sync.Mutex、sync/atomic、channel 等手段进行同步保护。

字符串构建¶

strings.Builder 用于专门高效构建字符串，bytes.Buffer 则用于通用字节流缓冲，由于实现了 io.Reader 和 io.Writer 接口，支持 Read()、Write()、Bytes()、String() 等方法。两者都避免了多次创建新 string 的性能损耗。

var b strings.Builder
b.WriteString("hello")
s := b.String()

var b bytes.Buffer
b.Write([]byte("hello"))
data := b.Bytes()

struct¶

struct 可以当作面向对象中的类：

• 结构体里的字段（field）≈ 类的属性（成员变量）
• 绑定在结构体上的方法（method）≈ 类的方法（成员函数）
• 结构体实例（instance）≈ 类创建出来的对象（object）

struct{} 是空结构体类型，不占用内存空间，常见用法：

• 用 map[K]struct{} 模拟 set（零内存开销的 value）
• 用 chan struct{} 作为纯信号通道

make & new¶

make() 用于初始化并分配内存，new() 只分配内存但不初始化。

注意：

• 引用类型零值为 nil，未经 make 初始化直接赋值会引发 panic: assignment to entry in nil map
• cap() 查看容量，len() 查看长度（均适用于 make 类型）
• for...range 可遍历所有 make 类型：
• slice / array：返回 (index, value)
• map：返回 (key, value)
• channel：返回 (value, ok)，ok 表示通道是否已关闭

defer¶

在 Go 中，return 并不是一个原子操作，它的执行过程可以拆分为以下三个步骤：

1. 返回值赋值（将返回值写入保存返回值的内存区域）
2. 执行 defer 函数（按后进先出 LIFO 的顺序依次执行）
3. 真正的函数返回（执行汇编指令 RET，将控制权交还给调用者）

因此，defer 的执行时机介于“返回值赋值”和“真正的函数返回”之间。

func f1() int {
    x := 5
    defer func() {
        // 修改的是局部变量 x，而不是返回值
        x++
    }()
    return x // 5
}

func f2() (x int) {
    x = 5
    defer func() {
        // 修改的是具名返回值 x
        x++
    }()
    return x // 6
}

func f3() *int {
    x := 5
    defer func() {
        x++
    }()
    return &x // 6
}

interface¶

Go 中接口类型的值才会同时存储「类型信息 + 值信息」，而其他类型在编译期就已经确定，运行时不需要再带类型信息。

Go 中常见的接口类型有：error、io.Reader/io.Writer、context.Context、http.Handler、json.Marshaler/json.Unmarshaler。

Go 中的接口是隐式实现。

Go 中的接口值时钟可以用==比较（编译期不会报错），但结果取决于底层动态类型和值：

反射¶

Go 中的反射通过接口实现，一个接口变量分别包含指向类型信息和实际数据的指针。当我们将一个具体类型的变量赋值给一个接口时，Go 语言就可以通过 reflect 包的 TypeOf 和 ValueOf 这两个函数读取接口变量里的类型信息和数据信息。

常见的反射应用：

• JSON 序列化： 通过反射动态获取结构体字段信息，实现任意类型的序列化和反序列化。
• ORM（对象关系映射）： 通过反射动态构建 SQL 语句，实现任意结构体的数据库操作。
• Web 框架参数绑定： 如 Gin 框架的ShouldBind方法，能够根据请求类型自动将 HTTP 参数绑定到结构体字段上，这背后就是通过反射实现的类型转换和赋值。
• 配置文件解析、RPC 调用、测试框架等： Viper 配置库用反射将配置映射到结构体，gRPC 通过反射实现服务注册和方法调用。

接收者¶

在以下情况使用指针接收者：

• 需要修改接收者的内部状态 / 字段
• 结构体体积较大（性能考虑）
• 结构体包含“不可复制”的字段（如并发锁）
• 如果一个类型中有“至少一个”方法使用了指针接收者，那么该类型的“所有方法”都应该统一使用指针接收者。

Go 官方建议：如果不确定用哪个，优先选择指针接收者。

channel¶

channel 在 Go 中有多种应用场景：

func main() {
    done := make(chan struct{}) // 使用 struct{} 不占内存

    go func() {
        fmt.Println("正在处理后台任务...")
        time.Sleep(1 * time.Second)
        done <- struct{}{} // 发送完成信号
    }()

    <-done // 阻塞等待信号
    fmt.Println("任务完成，主程序退出")
}

func worker(id int, jobs <-chan int, results chan<- int) {
    for j := range jobs { // 自动消费直至 jobs 被 close
        results <- j * 2 // 收集计算结果
    }
}

func main() {
    jobs := make(chan int, 100)
    results := make(chan int, 100)

    // 启动 3 个 worker
    for w := 1; w <= 3; w++ {
        go worker(w, jobs, results)
    }

    // 下发 5 个任务
    for j := 1; j <= 5; j++ {
        jobs <- j
    }
    close(jobs) // 关闭任务通道，通知 worker 退出

    // 收集 5 个结果
    for a := 1; a <= 5; a++ {
        fmt.Println("Result:", <-results)
    }
}

func main() {
    maxConcurrency := 3
    sem := make(chan struct{}, maxConcurrency) // 限制最大并发数为 3

    for i := 1; i <= 10; i++ {
        sem <- struct{}{} // 缓冲区满时会阻塞，实现并发控制
        go func(id int) {
            defer func() { <-sem }() // 任务完成后释放令牌

            fmt.Printf("正在执行任务 %d\n", id)
            time.Sleep(1 * time.Second)
        }(i)
    }
}

type Mutex chan struct{}

func NewMutex() Mutex {
    ch := make(chan struct{}, 1)
    ch <- struct{}{} // 放入一把钥匙
    return ch
}

func (m Mutex) Lock()   { <-m } // 抢钥匙
func (m Mutex) Unlock() { m <- struct{}{} } // 归还钥匙

close 的语义就是发送方宣告「我发完了」，不是资源释放——channel 和普通对象一样由 GC 回收，不关也不泄漏。

需要调用 close 的 3 种情况：

1. 接收方用 for range 或 v, ok := <-ch，因为range 会一直循环到 channel 关闭为止，不关就是死锁
2. 广播退出信号，因为关闭是唯一能一次唤醒 N 个接收者的手段，发送做不到（发一次只有一个人收到）
3. 多路 select 里需要感知某个源结束

死锁¶

死锁（deadlock）本质是：一组 goroutine 互相等待某个永远不会发生的事件，导致所有相关 goroutine 无法继续执行。死锁发生时，程序会卡住，且 不会有任何错误或堆栈。

Go 里最常见的死锁场景主要集中在：锁、channel、WaitGroup、资源顺序。

锁¶

func main() {
    var mu sync.Mutex

    mu.Lock()
    defer mu.Unlock()

    mu.Lock() // 死锁
}

func update() {
    mu.Lock()

    doSomething()

    // 忘记 Unlock()
}

a.Lock()
b.Lock()

b.Lock()
a.Lock()

channel¶

1. Channel 无人发送
2. 无缓冲 Channel 无人接收
3. Channel 缓冲区满
4. 从未关闭 channel 导致等待

其他¶

1. 忘记 Done() 导致 wg.Wait() 永久等待
2. select {} 导致永久阻塞

goroutine 泄露¶

1. 没有向 channel 发送数据或关闭 channel，导致 goroutine 无法退出
2. HTTP 请求中启动后台 goroutine，没有取消机制
3. time.Ticker 没有 Stop（<= Go 1.22）

goroutine 泄露可通过 pprof 调试。

引发 panic¶

1. 数组越界
2. 空指针解引用
3. 对 nil map 写入
4. 向已关闭的 channel 发送
5. 重复关闭 channel
6. WaitGroup 负计数

发生panic时可以使用recover捕获，比如处理用户请求时，捕获panic并返回 500。

闭包¶

闭包引用的外部变量会发生逃逸。

使用场景：

1. goroutine 携带上下文
2. 保存计数器
3. HTTP 中间件

标准库¶

文本与字符串¶

• fmt：格式化输出，常用函数fmt.Println(), fmt.Sprintf(), fmt.Printf(), fmt.Errorf()

• strings：字符串处理，常用函数
  • strings.Builder：字符串构建器，避免多次创建新的 string
  • strings.Contains()：判断字符串是否包含另一个字符串
  • strings.Split()：分割字符串
  • strings.Join()：连接字符串
  • strings.ReplaceAll()：替换字符串
  • strings.HasPrefix()：判断字符串是否以某个前缀开头
• strconv：字符串与基本类型间的类型转换
  • strconv.Atoi()：字符串转整数
  • strconv.Itoa()：整数转字符串
  • strconv.ParseInt()：字符串转整数
  • strconv.FormatFloat()：浮点数转字符串
• bytes：处理 []byte 切片
• regexp：正则表达式

错误处理¶

• errors：
  • errors.New()：创建一个新的错误
  • errors.Is()：判断错误链中是否存在某个错误
  • errors.As()：提取错误链中的特定错误类型
  • errors.Join()：合并多个错误

并发控制¶

• sync：常用并发原语
  • sync.Mutex：互斥锁
  • sync.RWMutex：读写锁，适用于读多写少的场景，读并发性能更好
  • sync.Once：保证某段代码只执行一次，常用于单例初始化
  • sync.WaitGroup：等待一组 goroutine 全部完成
  • sync.Map：并发安全的 map
  • sync.Pool：并发安全的对象池，可复用临时对象以减少 GC 压力，如在高并发 HTTP 服务中复用 bytes.Buffer
  • sync.Cond：条件变量，与锁（sync.Mutex / sync.RWMutex）配合使用，用于 Goroutine 间的等待与通知同步（支持单发 Signal() 和广播 Broadcast()），在需要重复广播时使用
• sync/atomic：原子操作，常用函数 atomic.AddInt64(), atomic.LoadInt64(), atomic.CompareAndSwapInt64()
• context：在 goroutine 间传递截止时间、取消信号和请求级数据
  • context.Background()：返回空的根 context，通常作为顶层起点
  • context.WithTimeout()：创建带超时时间的 context，到期自动取消
  • context.WithDeadline()：创建带截止时间的 context，到期自动取消
  • context.WithCancel()：创建可手动取消的 context
  • context.WithValue()：创建携带键值对的 context，用于传递请求级数据

文件系统¶

• io：最核心的 I/O 抽象接口，如io.Reader, io.Writer, io.Closer，常用函数io.ReadAll(), io.Copy()
• os：跨平台的文件操作、环境变量读取、进程交互等，常用函数 os.Open(), os.ReadFile(), os.WriteFile(), os.Getenv(), os.MkdirAll()
• bufio：包装 io.Reader/io.Writer 提供带缓冲区的读写，常用函数 bufio.NewScanner(), bufio.NewReader()
• path/filepath：处理文件路径，如filepath.Join(), filepath.Split(), filepath.Abs(), filepath.Ext()

网络¶

• net/http：HTTP 客户端和服务端，常用函数 http.Get(), http.Post(), http.ListenAndServe(), http.HandleFunc()
• net：TCP、UDP、IP、Unix Socket 等网络编程，常用函数 net.Listen(), net.Dial(), net.ResolveTCPAddr()
• net/url：URL 解析与编码，常用函数 url.Parse(), url.QueryEscape(), url.QueryUnescape()

序列化与编码¶

• encoding/json：常用函数 json.Marshal(), json.Unmarshal()
• encoding/base64
• encoding/xml
• encoding/csv
• encoding/hex

slices/maps¶

• slices：
  • slices.Contains()：判断切片是否包含某个元素
  • slices.Sort()：对切片进行排序
  • slices.Compact()：对切片进行去重
  • slices.Compare()：逐元素比较两个切片，返回 0（相等）、-1（s1 < s2）或 +1（s1 > s2）
• maps：
  • maps.Keys()：返回 map 所有键组成的切片（顺序不固定）
  • maps.Values()：返回 map 所有值组成的切片
  • maps.Clone()：浅拷贝一个 map
  • maps.Copy(dst, src)：将 src 中所有键值对复制到 dst
  • maps.Equal(m1, m2)：判断两个 map 是否包含相同的键值对

时间与数值计算¶

• time：
  • time.Now()：获取当前时间
  • time.NewTimer()：单次触发，通过 timer.C 接收到期信号，使用后需调用 timer.Stop() 释放资源
  • time.NewTicker()：定时触发，返回 <-chan Time，使用后需 Ticker.Stop() 释放资源
  • time.After()：一段时间后触发，返回 <-chan Time，不可复用
  • time.Sleep()：休眠一段时间
  • time.Since()：计算时间差，返回 Duration
  • time.Duration：时间间隔
• math：
  • math.MaxInt64, math.MaxFloat64, math.Pi, math.E 等常量
  • math.Abs(), math.Pow(), math.Sqrt() 等数学函数
• math/rand/v2：普通业务逻辑的随机数生成，如生成随机数验证码、抽奖等
• crypto/rand：密码学安全的随机数生成，如生成 UUID、密钥、加密随机数等

日志¶

• log/slog：结构化日志库（支持 JSON 格式输出、日志级别控制、Key-Value 键值对日志）

运行时¶

• flag：Go 标准库的 flag 包可满足基本的命令行参数解析需求，但缺乏必填参数校验、短选项/长选项别名等功能。实际项目中通常选用功能更完整的第三方库 spf13/cobra。
• reflect：在运行时动态检查变量类型、获取结构体 Tag、动态调用方法（如 ORM 框架和序列化框架大量使用）
• runtime：运行时信息与控制
  • runtime.NumGoroutine()：当前活跃的 goroutine 数量
  • runtime.NumCPU()：当前机器的逻辑 CPU 数量
  • runtime.GOMAXPROCS(n)：设置可并行执行的最大 CPU 数，传 0 仅查询不修改
  • runtime.Gosched()：主动让出当前 goroutine 的 CPU 时间片
  • runtime.GC()：手动触发一次 GC
  • runtime.Stack(buf, all)：将当前 goroutine（或所有 goroutine）的调用栈写入 buf

测试¶

• testing：Go 内置测试框架，核心类型为 testing.T（单元测试）、testing.B（基准测试）、testing.F（模糊测试），但缺少断言函数，实际项目中通常搭配第三方库 github.com/stretchr/testify 使用：
  • testify/assert：断言失败后继续执行后续测试
  • testify/require：断言失败后立即终止当前测试
  • testify/mock：生成 mock 对象，用于隔离外部依赖

自带工具¶

• run：编译并运行当前模块
• test：支持单元测试（TestXxx）、基准性能测试（BenchmarkXxx）、模糊测试（FuzzXxx）、代码覆盖率（-cover）、竞态检测（-race）
• build
  • -ldflags：传递参数给链接器
    • -X：动态注入变量值，如版本号、构建时间
    • -w：去掉 DWARF 调试信息
    • -s：移除符号表和调试信息
  • -race：开启竞态检测
  • -gcflags：传递参数给 Go 编译器
    • -m：变量逃逸分析
  • -trimpath：移除源码路径（推荐生产环境使用）
  • -x：打印编译时调用的底层指令
• mod
  • init：初始化模块（生成 go.mod）
  • tidy：整理依赖（自动增删无用包）
  • vendor：将依赖拷贝到 vendor 目录
  • download：手动下载依赖包
  • verify：校验模块校验和
• get：添加、修改或升级项目的第三方依赖版本，并更新 go.mod
• fmt：格式化代码
• vet：静态代码分析工具，检查潜在的代码问题（如错误的 Printf 格式化参数、sync.Mutex 被值拷贝等锁误用）
• env：查看或修改 Go 的环境变量
• install：将二进制文件安装到 $GOPATH/bin（或 $GOBIN）目录下，常用于安装 CLI 工具
• tool
  • pprof：CPU、内存（Heap）、Goroutine、阻塞（Block）等性能分析工具，可以生成交互式命令行或 Web 架构的分析图表
  • trace：可视化执行追踪工具，可以通过浏览器查看具体的 Goroutine 调度、垃圾回收（GC）暂停时间以及网络 I/O 阻塞情况
  • cover：将 go test -coverprofile 生成的覆盖率文件渲染为 HTML 网页，直观查看哪行代码没被测试覆盖到
  • compile：Go 编译器，可用于查看汇编代码（如 go tool compile -S main.go）
  • link：Go 链接器
  • cgo：处理 Go 与 C 语言互操作的工具
  • nm：查看二进制文件中的符号表
  • objdump：对 Go 二进制文件进行反汇编
  • addr2line：将二进制文件的指令地址转换为源码对应的文件名和行号
• generate：配合代码中的 //go:generate 注释，自动触发代码生成脚本（如生成枚举映射、Protobuf 代码等）
• work：方便在本地同时修改和调试多个相互依赖的 Go 模块
• clean：清理编译产生的临时文件、对象文件和缓存
• fix：自动修复（不推荐直接使用，容易破坏代码逻辑）

底层原理¶

• Go 语言原本
• Go 语言 101

slice¶

// runtime/slice.go
type slice struct {
        array unsafe.Pointer // 元素指针
        len   int // 长度 
        cap   int // 容量
}

slice 是底层数组的一个窗口。如果 slice 引用了一个大数组的片段，即使只用到其中很小一部分，整个大数组也无法被 GC 回收。可以用 copy() 复制所需数据来断开引用。

append 在容量足够时不会分配新数组，而是直接在底层数组上写入，可能意外修改其他共享该数组的 slice：

s := []int{10, 20, 30, 40, 50}
s1 := s[1:3]          // s1: [20, 30], len=2, cap=4
s1 = append(s1, 60)   // s1: [20, 30, 60], 修改了底层数组 s
s2 := s[2:4]          // s2: [30, 60], s: [10, 20, 30, 60, 50]

需要注意的是，s[a:b:c] 这样的写法，c 在 Python 中表示步长，而 Go 中表示容量上界索引，结果 slice 的 cap = c - a。这常用于限制 slice 容量，防止 append 意外覆盖底层数组的后续元素。

slice := []int{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
s1 := slice[2:5]  // [2, 3, 4],        len=3, cap=8
s2 := s1[2:6:7]   // [4, 5, 6, 7],     len=4, cap=5
//         ↑ 超出了 s1 的 len(3)，但未超出 cap(8)

map¶

Map 的核心结构包括 hmap 和 bmap。它在运行时表现为一个指向 hmap 结构体的指针，hmap 中记录了桶数组指针 buckets、溢出桶指针以及元素个数等字段。每个桶是一个 bmap 结构体，能存储 8 个键值对和 8 个 tophash，并有指向下一个溢出桶的指针 overflow。为了内存紧凑，bmap 中采用的是先存 8 个键再存 8 个值的存储方式。

// A header for a Go map.
type hmap struct {
   count     int    // map 中元素个数
   flags     uint8  // 状态标志位，标记 map 的一些状态
   B         uint8  // 桶数以 2 为底的对数，即 B=log_2(len(buckets))，比如 B=3，那么桶数为 2^3=8
   noverflow uint16 // 溢出桶数量近似值
   hash0     uint32 // 哈希种子

   buckets    unsafe.Pointer // 指向 buckets 数组的指针
   oldbuckets unsafe.Pointer // 是一个指向 buckets 数组的指针，在扩容时，oldbuckets 指向老的 buckets 数组 (大小为新 buckets 数组的一半)，非扩容时，oldbuckets 为空
   nevacuate  uintptr        // 表示扩容进度的一个计数器，小于该值的桶已经完成迁移

   extra *mapextra // 指向 mapextra 结构的指针，mapextra 存储 map 中的溢出桶
}

由于 map 扩容会发生 key 的搬迁，导致顺序不稳定，因此 Go 在遍历时引入随机数，避免开发者依赖 map 的遍历顺序。

哈希冲突时需要比较 key 来定位正确的键值对，因此 map 的 key 必须是可比较的类型（支持 ==），如 slice、map、func 不能作为 key。

map 插入新 key 时，如果符合以下条件，则会触发扩容：

• 装载因子超过阈值时，触发双倍扩容
• overflow 的 bucket 数量过多时，触发等量扩容

map 的扩容是渐进式的，会在每次写入操作时，搬迁一两个旧桶的数据，以便分摊扩容开销，避免单次操作延迟过高。

无法对 map 的 key 或 value 进行取址，会发生编译报错。这样设计主要是因为 map 一旦发生扩容，key 和 value 的位置就会改变，之前保存的地址也就失效了。

channel¶

CSP（Communicating Sequential Processes，通信顺序进程）并发编程模型，其核心思想是：通过通信共享内存，而不是通过共享内存来通信。Go 语言的 Goroutine 和 Channel 机制，就是 CSP 的经典实现，

Channel 的底层是一个名为hchan的结构体，核心包含几个关键组件：

• 环形缓冲区（暂存数据）：有缓冲 channel 内部维护一个固定大小的环形队列，用buf指针指向缓冲区，sendx和recvx分别记录发送和接收的位置索引。这样设计能高效利用内存，避免数据搬移。
• 等待队列（暂存阻塞的 goroutine）：sendq和recvq用来管理阻塞的 goroutine。sendq存储因 channel 满而阻塞的发送者，recvq存储因 channel 空而阻塞的接收者。这些队列用双向链表实现，当条件满足时会唤醒对应的 goroutine。
• 互斥锁（并发安全）：hchan内部有个mutex，所有的发送、接收操作都需要先获取锁，用来保证并发安全。虽然看起来可能影响性能，但 Go 的调度器做了优化，大多数情况下锁竞争并不激烈。

type hchan struct {
        // chan 里元素数量
        qcount   uint
        // chan 底层循环数组的长度
        dataqsiz uint
        // 指向底层循环数组的指针
        // 只针对有缓冲的 channel
        buf      unsafe.Pointer
        // chan 中元素大小
        elemsize uint16
        // chan 是否被关闭的标志
        closed   uint32
        // chan 中元素类型
        elemtype *_type // element type
        // 已发送元素在循环数组中的索引
        sendx    uint   // send index
        // 已接收元素在循环数组中的索引
        recvx    uint   // receive index
        // 等待接收的 goroutine 队列
        recvq    waitq  // list of recv waiters
        // 等待发送的 goroutine 队列
        sendq    waitq  // list of send waiters

        // 保护 hchan 中所有字段
        lock mutex
}

以容量为 2 的 buffered channel 为例，说明 channel 的发送和接收过程：

ch := make(chan int, 2) // 缓冲区大小 2

初始状态

环形缓冲区: [ _ , _ ]   sendx=0, recvx=0, qcount=0
sendq: 空
recvq: 空

1. G1 发送 ch <- 10 — 缓冲区有空位，数据直接写入 buf

   环形缓冲区: [ 10 , _ ]   sendx=1, recvx=0, qcount=1
   sendq: 空
   recvq: 空
   

2. G2 发送 ch <- 20 — 缓冲区还有一个空位，继续写入

   环形缓冲区: [ 10 , 20 ]   sendx=0(回绕), recvx=0, qcount=2
   sendq: 空
   recvq: 空
   

3. G3 发送 ch <- 30 — 缓冲区已满！G3 阻塞，挂入 sendq

   环形缓冲区: [ 10 , 20 ]   sendx=0, recvx=0, qcount=2
   sendq: [G3(数据=30)]     ← G3 被挂起，连同要发送的数据一起记录
   recvq: 空
   

4. G4 接收 v := <-ch — 从 buf 取出数据，同时唤醒 sendq 中的 G3

   1. G4 从 recvx=0 取出 10，v = 10
   2. 缓冲区腾出一个位置
   3. 从 sendq 取出 G3，把 G3 的数据 30 写入缓冲区
   4. 唤醒 G3
   
   环形缓冲区: [ 30 , 20 ]   sendx=1, recvx=1, qcount=2
   sendq: 空                ← G3 已被唤醒
   recvq: 空
   

5. G5 接收 v := <-ch — 从 buf 取出数据

   G5 从 recvx=1 取出 20，v = 20
   环形缓冲区: [ 30 , _ ]   sendx=1, recvx=0(回绕), qcount=1
   sendq: 空
   recvq: 空
   

6. G6 接收 v := <-ch — 缓冲区还有数据

   G6 从 recvx=0 取出 30，v = 30
   
   环形缓冲区: [ _ , _ ]   sendx=1, recvx=1, qcount=0
   sendq: 空
   recvq: 空
   

7. G7 接收 v := <-ch — 缓冲区空了！G7 阻塞，挂入 recvq

   环形缓冲区: [ _ , _ ]   sendx=1, recvx=1, qcount=0
   sendq: 空
   recvq: [G7]           ← G7 被挂起等待数据
   

context¶

取消信号的传播是通过 Context 的层级结构实现的，父 Context 取消时，所有子 Context 都会自动取消。

Context 提供了以下 4 种方法：

type Context interface {
    Deadline() (deadline time.Time, ok bool)  // 第一个返回值是 Context 的截止时间点（绝对时间），第二个返回值代表该 Context 是否被设置了超时时间
    Done() <-chan struct{}                    // Done() 返回一个只读 channel，当这个 channel 被关闭时，说明这个 context 被取消
    Err() error                               // Err() 返回一个错误，表示 channel 被关闭的原因，例如是被取消，还是超时关闭
    Value(key interface{}) interface{}        // Value 方法返回指定 key 对应的 value，这是 context 携带的值
}

Context.Value 的查找过程是一个链式递归查找的过程，从当前 Context 开始，沿着父 Context 链一直向上查找，直到找到对应的 key 或者到达根 Context。

ctx.Done() 会在以下情况被触发（channel 被关闭）：

• 手动取消（cancel()）
• 超时（WithTimeout()）
• 到达截止时间（WithDeadline()）
• 父 Context 被取消
• 请求被取消（HTTP / gRPC 等场景下断开连接，底层调用 cancel()，从而触发 ctx.Done()）

sync.Map¶

sync.Map 适合读多写少的场景，其核心是空间换时间的思想，通过 read 和 dirty 两个 map 实现 "读写分离"，最终达到针对特定场景的“读”操作无锁优化。

内存¶

Go 采用线程缓存分配（Thread-Caching Malloc，TCMalloc），将对象根据大小分类，并设计多层级（线程缓存、中心缓存、页堆）的组件提高内存分配器的性能。

Go 运行时的堆内存分配机制（如 mcache 和 mcentral）是线程安全的，goroutine 间无需额外锁即可安全分配内存。

变量逃逸分析¶

• 函数变量的内存默认会分配在栈上，栈的分配与回收都非常迅速；堆适合不可预知大小的内存分配，可动态扩张或缩减。当进程调用 malloc 等函数分配内存时，新分配的内存就被动态加入到堆上。当利用 free 等函数释放内存时，被释放的内存从堆中被剔除。但是为此付出的代价是分配速度较慢，而且会形成内存碎片。
• Go 通过编译器分析代码的特征和代码的生命周期，决定应该使用堆还是栈来进行内存分配。
• 如果变量在函数外部没有引用，则优先放在栈中；否则放在堆中；如果编译器无法确定是否被外部引用，同样会放在堆内存中，如 interface{}

GC¶

Go 的 GC 采用三色标记和混合写屏障实现。如果在整个标记期间都 STW，会导致明显的暂停延迟，因此 Go 仅在标记的开始（开启写屏障）和结束（确认标记完成）有短暂的 STW，而并发标记期间通过混合写屏障跟踪业务 goroutine 对引用关系的修改，保证标记的准确性。

三色标记法的操作步骤为：

1. 新创建的对象默认颜色均为白色
2. 从根节点遍历所有对象，深度为 1，并将可达对象由白色标记为灰色
3. 遍历灰色对象，并将可达的节点标记为灰色，当前节点标记为黑色
4. 不断遍历灰色对象，直至所有对象只有黑色和白色为止
5. 回收所有标记为白色的不可达对象

Go 1.8 版本开始采用混合写屏障机制，避免了插入写屏障（结束时需要 STW 来重新扫描栈，标记栈上引用的白色对象的存活）和删除写屏障（回收精度低）的缺点，同时只在堆上启用屏障技术，栈上则不启用，整体过程几乎不需要 STW，因此效率较高

1. GC 开始将栈上的对象全部扫描并标记为黑色 (之后不再进行第二次重复扫描，无需 STW)
2. GC 期间，任何在栈上创建的新对象，均为黑色
3. 被添加或删除的对象标记为灰色

GC 的触发条件有两个：

1. 超过内存大小阈值
2. 达到定时时间

内存泄露¶

1. goroutine 泄漏：无缓冲 Channel 向无接收者的 channel 发送数据，或从无发送者的 channel 接收数据且无 select default/timeout
2. slice 引用大数组：如 hugeSlice[:2] 导致对底层的大数组的指针引用，无法回收，应该使用 append([]T(nil), hugeSlice[:2]...) 或 slices.Clone() 深拷贝所需数据
3. map 元素过多：map 中删除元素只是标记删除，底层 bucket 不会缩减。如果 map 曾经很大后来元素减少，内存占用仍然很高。
4. sync.WaitGroup 的 Add 和 Done 计数不匹配导致 Wait() 永远阻塞
5. 资源未被关闭，如 HTTP Response Body、文件、数据库连接等

调度器¶

GMP¶

• G（Goroutine）是 Go 语言调度器中待执行的任务，它在运行时调度器中的地位与线程在操作系统中差不多，但是它占用了更小的内存空间，也降低了上下文切换的开销
• M（Machine）是操作系统线程。调度器最多可以创建 10000 个线程，但是其中大多数的线程都不会执行用户代码（可能陷入系统调用），最多只会有 GOMAXPROC 个活跃线程能够正常运行
  • 在默认情况下，一个四核机器会创建四个活跃的操作系统线程，每一个线程都对应一个运行时中的 runtime.m 结构体。
  • 在大多数情况下，我们都会使用 Go 的默认设置，也就是线程数等于 CPU 数，默认的设置不会频繁触发操作系统的线程调度和上下文切换，所有的调度都会发生在用户态，由 Go 语言调度器触发，能够减少很多额外开销。

• P（Processor）是线程和 Goroutine 的中间层，它能提供线程需要的上下文环境，也会负责调度线程上的等待队列，通过处理器 P 的调度，每一个内核线程都能够执行多个 Goroutine，它能在 Goroutine 进行一些 I/O 操作时及时让出计算资源，提高线程的利用率。

• Go 用本地和全局两个队列来存放待运行的协程任务，前者用数组构成的环形链表，最多可以存储 256 个待执行任务；后者只有在本地队列没有剩余空间时才会使用

• 调度器的设计策略（视频教程）

  • 任务窃取调度器：
    • 基于工作窃取的多线程调度器将每一个线程绑定到了独立的 CPU 上，这些线程会被不同处理器管理，不同的处理器通过工作窃取对任务进行再分配实现任务的平衡，也能提升调度器和 Go 语言程序的整体性能。
    • 调度顺序：本地队列 -> 全局队列 -> 网络轮询器（netpoll）-> 其他队列窃取一半
    • 在某些情况下，Goroutine 不会让出线程，进而造成饥饿问题。
    • 时间过长的 STW 会导致程序长时间无法工作
  • 抢占式调度器：
    • 基于协作的抢占式调度器 - 1.2 ~ 1.13。某个协程不释放 CPU 会导致其它协程的饥饿问题
    • 基于信号的抢占式调度器 - 1.14 ~ 至今。即使某个协程不释放 CPU，也会被调度器强制释放

• 调度器的启动

  • M0：程序启动后编号为 0 的第一个线程
  • G0：启动 M 时，第一个创建的协程，每个 M 都有属于自己的 G0。G0 仅用于调度其它协程，G0 不执行任何函数

Mutex¶

Go 的 Mutex 主要有两种模式：

Mutex 不断在这两种模式中切换，当等待队列头部的 goroutine 等待时间超过 1ms 时，切换到饥饿模式；当获得锁的 waiter 是最后一个等待者、或其等待时间不足 1ms 时，切换回正常模式。

版本变化¶

Gin¶

• gin.Context 不是线程安全的，不能直接传递给异步的 Goroutine。因为 gin 为了减少 GC 压力，使用了 sync.Pool 复用 Context 对象。当请求处理结束返回后，Context 会被重置并放回池中，供下一个请求使用。如果异步 Goroutine 继续读写这个 Context，会导致数据竞争或拿到脏数据。
• 洋葱模型

常见题目¶

交替打印¶

双 channel 缓冲解法：

// channel 仅同步信号，不传递数据
// 推荐解法
func main() {
    ch0 := make(chan struct{}, 1)
    ch1 := make(chan struct{}, 1)

    var wg sync.WaitGroup

    wg.Go(func() {
        for range 5 {
            <-ch0
            fmt.Println(0)
            ch1<-struct{}{}
        }
    })

    wg.Go(func() {
        for range 5 {
            <-ch1
            fmt.Println(1)
            ch0<-struct{}{}
        }
    })

    ch0<-struct{}{}

    wg.Wait()
}

// channel 传递数据
func main() {
    ch0 := make(chan int, 1)
    ch1 := make(chan int, 1)

    var wg sync.WaitGroup

    wg.Go(func() {
        for range 5 {
            num := <-ch0
            fmt.Println(num)
            ch1 <- 1
        }
    })

    wg.Go(func() {
        for range 5 {
            num := <-ch1
            fmt.Println(num)
            ch0 <- 0
        }
    })

    ch0 <- 0

    wg.Wait()
}

无缓冲解法：

func main() {
    ch := make(chan struct{}) // 必须无缓冲
    var wg sync.WaitGroup

    wg.Go(func() { // 只打 0
        for i := 0; i < 5; i++ {
            fmt.Print(0)
            ch <- struct{}{} // 阻塞，直到 B 收走
            <-ch             // 等 B 打完的回执，再进下一轮
        }
    })

    wg.Go(func() { // 只打 1
        for i := 0; i < 5; i++ {
            <-ch
            fmt.Print(1)
            ch <- struct{}{}
        }
    })

    wg.Wait()
}

评论