Go

GMP 是 Go 运行时的线程调度模型：G 代表 goroutine，包含栈与执行状态；M 是内核线程，真正执行代码的载体；P 是逻辑处理器，持有可运行 G 的本地队列，M 必须绑定一个 P 才能执行 G。GOMAXPROCS 决定 P 的数量（默认等于核数）。调度时机包括通道阻塞、系统调用、锁争抢与函数调用栈检查点的抢占调度。为避免饥饿，调度器每 61 次调度或本地队列过半时触发全局队列与网络轮询器检查；当 M 因系统调用阻塞时，P 会被分离并交给其他 M 绑定继续运行队列中的 G，保证并行度不丢。work-stealing 让空闲 P 从其他 P 的队列尾部偷取任务。理解 GMP 能解释 goroutine 为何轻量（初始 2KB 栈、用户态切换）以及高并发下偶发的延迟抖动来源。

slice 运行时表示为指向底层数组的指针、长度 len 与容量 cap 的三元组。创建时字面量在编译期分配，make 可指定初始容量。append 时若 len 超过 cap 触发扩容：小容量翻倍增长，超过 256 后按约 1.25 倍平滑增长（不同版本公式略有差异），并可能因内存对齐调整最终容量，扩容会分配新数组并拷贝旧元素，因此扩容后新旧切片可能不再共享底层数组。常见坑：从切片再切片共享同一底层数组，一方 append 在容量足够时覆盖另一方可视范围的数据；把切片作为函数参数传的是这个三元组副本，append 结果需用返回值接回。作为陷阱对照可用三索引切片 s[i:j:k] 限制容量强制隔离。能把扩容时机、共享语义与逃逸分析的关系讲清即为优秀。

Go 的 map 采用 hmap 头结构加桶数组的开放寻址实现，每个桶存 8 个键值对，桶内 tophash 加速比较，溢出桶挂在桶链上。扩容由负载因子超过 6.5 或溢出桶过多触发，采用渐进式搬迁避免一次全量拷贝卡顿。map 未内置锁，并发读写会直接触发 fatal 错误（不可 recover），官方解释是加锁对绝大多数无并发场景是纯开销，把选择权交给使用者。并发场景标准答案：读多写少用 sync.RWMutex 包一层；任意并发读写用 sync.Map，它用只读 map 加脏 map 的双结构优化读多写少场景；键值对简单时可用分片锁降低争抢。另外 map 遍历顺序随机化是刻意设计，遍历中删除安全但新增未定义。答出桶结构与并发替代方案即完整。

channel 底层是 hchan 结构，含环形缓冲区、发送与接收两个等待队列和互斥锁。无缓冲 channel 收发双方必须同时就绪（同步点），有缓冲在满或空时阻塞，阻塞的 goroutine 会被运行时挂到等待队列，由发送或接收方唤醒并直接拷贝数据。close 后接收端能读完缓冲剩余值，随后读到零值加 ok 为 false；向已关闭 channel 发送或重复 close 会 panic，因此「由发送方关闭」是铁律。select 可多路监听并配 default 非阻塞尝试；nil channel 永远阻塞，可利用它在 select 分支中动态启停。典型用法：无缓冲 channel 做同步信号、缓冲 channel 做生产消费队列、close 加 range 做广播退出。对比锁的场景：共享状态用锁，传递数据所有权与编排用 channel，即「不要通过共享内存来通信」。

接口值内部是 (动态类型, 动态值) 二元组，iface 用于有方法的接口，eface 用于空接口。某类型实现接口只看方法集匹配（隐式实现、鸭子类型），方法集规则是值类型拥有值接收者方法，指针类型同时拥有值与指针接收者方法，因此接口持有值时无法调用指针方法，这是编译报错的高频原因。类型断言 x.(T) 与类型开关 switch v 等于 x.(type) 用于还原具体类型，断言失败若未接 ok 会 panic。著名陷阱：把一个值为 nil 的指针赋给接口，接口的动态类型非空，所以接口变量不等于 nil，函数内判 if err 等于 nil 会误判，正确做法是在返回处保证接口本身为 nil 或显式判具体类型。能画出二元组并解释该陷阱的成因即是高质量回答。