定义 在runtime的sync.map包中有定义： type Map struct { mu Mutex // 锁 read atomic.Pointer[readOnly] //包含了readOnly类型的一个struct，下方把 Pointer 也贴了 dirty map[any]*entry

互斥锁的定义 type Mutex struct { state int32 sema uint32 } 一个 sema，背后实际上 是一个 休眠队列，可以看下上篇。 一个state，这个状态 分为4个部分。 后三位 各自代表一个状态。 前29位...

切片的底层数据结构 有上篇string为基础了，能猜到slice肯定也有一个对应的struct。 在runtime的 slice.go中 type slice struct { array unsafe.Pointer len int cap int } 切片的本质是对数组...

atomic和sema是实现go中锁的基础，简单看下他们的实现原理。 atomic atomic 常用来作为保证原子性的操作。 当多个协程，同时一个数据进行操作时候，如果不加锁，最终的很难得到想要的结果。 var...

协程与线程 线程在创建、切换、销毁时候，需要消耗CPU的资源。 协程就是将一段程序的运行状态打包， 可以在线程之间调度。减少CPU在操作线程的消耗 协程、线程、进程 这块网上非常多文章讲了，...

go的协程和线程都绕不过GMP，关于GMP基本的工作流程，有go开发经验的大致都懂，这边更多关注GMP如何解决一些类似 协程饥渴的问题，以及底层的大致实现原理。 多线程循环 上篇讲了单线程是如何循...

模型 三部分组成： 发送等待队列 接收等待队列 管道 缓存区 定义 在 runtime 的chan.go中 type hchan struct { qcount uint dataqsiz uint buf unsafe.Pointer elemsize uint16 elemtype *_type

go的map在面试时候经常会被问到。 最近看到群里有个被问到为什么map的每个桶中只装8个元素？ map 的结构 注：解决hash冲突还有一些别的方案：开放地址法 （往目标地址后面放）、再哈希法（再次h...

协程栈 go 栈的位置 1. Go 协程栈位于 Go-堆内存上 2. Go 堆内存位于操作系统虚拟内存上 go 栈的工作流程 以main.main为出发点 要记录runtime.main的栈基地址 记录 a 和 b的局部变量值 开辟一个...

垃圾回收 (Garbage Collecting）思路 1. "标记-清除〞 go的做法 2. "标记-整理〞 标记后删除, 删除后重新把内存空间整理 java 早期 3. "标记 - 复制〞 两块相似的内存, 直接把有...