开场闲聊

目标

语⾔深度

调度原理、调试技巧、汇编反汇编、内部数据结构实现、常⻅ syscall、函数
调⽤规约(待定)、内存管理与垃圾回收、并发编程

应⽤深度

框架原理、社区框架分析、模块分层、linter 规范、中台场景实现、性能调优

架构⼴度

模块拆分、CI/CD 实战(coding 平台)、监控与可观测性、服务发现/信息检索/
定时任务/MQ 等基础设施、稳定性保障、未来架构、语⾔前沿

跨语⾔学习者

PHP 转 Go：

PHP-FPM 是多进程模型，FPM 内单线程执⾏。PHP 底层是 C 语⾔实现，整套系统难精通。⽐如我遇到过 PHP 底层的 bug，束⼿⽆策。
Go 从⽤户代码⼀直到底层都是 Go(会有⼀些汇编)，相对来说要从上层学到底层容易很多，不要有⼼理负担。
Go 代码是强类型语⾔的写法，分层之间有清晰的结构体定义，⼤项⽬好维护。

Python 转 Go：

Python 转 Go 同样也是⼀个趋势，Python 底层是 C 实现，想把整套系统学精通有⼀定难度。
在线系统中 Go 的性能要⽐ Python 好很多。
因为强类型的写法，Go 代码要⽐ Python 好维护。

⼯程师的学习与进步

多写代码，积累代码量(⾄少积累⼏⼗万的代码量，才能对设计有⾃⼰的观点)，要总结和思考，如何对过去的⼯作进⾏改进(如⾃动化/系统化)；积累⾃⼰的代码库、笔记库、开源项⽬。
读好书，建⽴知识体系(⽐如像 Designing Data-Intensive Application 这种书，应该读好多遍) 。
关注⼀些靠谱的国内外新闻源，通过问题出发，主动使⽤ Google，主动去 reddit、hackernews 上参与讨论，避免被困在信息茧房中。
锻炼⼝才和演讲能⼒，内部分享 -> 外部分享。在公司内，该演要演，不要只是闷头⼲活。
通过输出促进输⼊(博客、公众号、分享)，打造个⼈品牌，通过读者的反馈循环提升⾃⼰的认知。
信息源：Github Trending、reddit、medium、hacker news，morning paper(作者不⼲了)，acm.org，oreily，国外的领域相关⼤会(如 OSDI，SOSP，VLDB)论⽂，国际⼀流公司的技术博客，YouTube 上的国外⼯程师演讲。

理解可执⾏⽂件

代码

package main

func main() {
	println("hello")
}

运行$ go build hello.go，可以看到生成的可执行文件：

1 2	ls hello hello.go

可执⾏⽂件在不同的操作系统上规范不⼀样，

Linux：ELF
Windows：PE
MacOS：Mach-O

Linux 的可执⾏⽂件 ELF(Executable and Linkable Format) 为例，ELF 由⼏部分构成：

ELF header
Section header
Sections

github-elf101

操作系统执⾏可执⾏⽂件的步骤(以 linux 为例)：

解析ELF header -> 加载⽂件内容⾄内存 -> 从entry point开始执⾏代码。

通过 entry point 找到 Go 进程的执⾏⼊⼝，使⽤ readelf：

Go 进程的启动与初始化

计算机是怎么执⾏我们的程序的呢？

CPU ⽆法理解⽂本，只能执⾏⼀条⼀条的⼆进制机器码指令每次执⾏完⼀条指令，pc 寄存器就指向下⼀条继续执⾏。

在 64 位平台上 pc 寄存器 = rip。

Go 语⾔是⼀⻔有 runtime 的语⾔，那么 runtime 是什么？

可以认为 runtime 是为了实现额外的功能，⽽在程序运⾏时⾃动加载/运⾏的⼀些模块。

Go 语⾔的 runtime 包括：

这些模块中，最核⼼的就是 Scheduler，它负责串联所有的 runtime 流程。

通过 entry point 找到 Go 进程的执⾏⼊⼝：

m0: Go 程序启动后创建的第⼀个线程；

调度组件与调度循环

当我每次写下一个完整的helloworld的时候，到底发⽣了什么？

答：你其实是向 runtime 提交了⼀个计算任务。func() { xxxxx } ⾥包裹的代码就是这个计算任务的内容。

Go 的调度流程本质上是⼀个⽣产-消费流程

调度组件,go func去了哪⾥？

goroutine 的⽣产端：

goroutine 的消费端：

M 执⾏调度循环时，必须与⼀个 P 绑定

Work stealing 就是说的 runqsteal -> runqgrab 这个流程

现在我们再来看看这些⽂字定义，是不是就很好懂了：

G：goroutine，⼀个计算任务。由需要执⾏的代码和其上下⽂组成，上下⽂包括：当前代码位置，栈顶、栈底地址，状态等。
M：machine，系统线程，执⾏实体，想要在 CPU 上执⾏代码，必须有线程，与 C 语⾔中的线程相同，通过系统调⽤ clone 来创建。
Processor，虚拟处理器，M 必须获得 P 才能执⾏代码，否则必须陷⼊休眠(后台监控线程除外)，你也可以将其理解为⼀种 token，有这个 token，才有在物理 CPU 核⼼上执⾏的权⼒。

但是：仅仅能够处理正常情况是不⾏的，如果程序中有阻塞，那线程不就全被堵上了？

处理阻塞

在线程发⽣阻塞的时候，会⽆限制地创建线程么？——并不会!!!例如：

//channel send
var ch = make(chan int)
ch <- 1

//channel recv
var ch = make(chan int)
<-ch

//time sleep
time.Sleep(time.Hour)  

//net read
var c net.Conn
var buf = make([]byte,1024)

//data not ready,block here
n,err := c.Read(buf)

//net write
var c net.Conn
var buf = []byte("hello")

//send buffer full,wirte blocked
n,err := c.Write(buf)

var(
	ch1 := make(chan int)
	ch2 := make(chan int)
)
//no case ready,block
select {
case <- ch1:
	println("ch1 ready")
case <-ch2:
	println("ch2 ready")
}

var l sync.RWMutex
//somebody already grab the lock
//block here
l.Lock