描述
开 本: 128开纸 张: 胶版纸包 装: 平装-胶订是否套装: 否国际标准书号ISBN: 9787121416620
深入浅出,层层递进,讲解Go语言背后的逻辑
对源码进行逐行解析,系统说明底层原理
上百张精美的说明图,让理论学习不再枯燥晦涩
大量特性实现方法与防坑秘籍,构建优雅高效的工业级代码
深度剖析调试与可视化方法,全面提升对复杂程序的掌控力
Go语言是一门年轻、简捷,但是强大、高效、充满潜力的服务器语言。本书使用浅显易懂的语言与大量图片深入介绍了Go语言编译时、类型系统、语法特性、函数调用规范、并发编程、内存管理与垃圾回收、运行状态监控等模块的使用方法和底层原理,并举例说明了构建大型软件工程需要遵循的设计规则,让作者系统并完整掌握Go语言隐藏在使用方法背后的底层细节。 本书适合有一定工作经验的开发工程师进一步提升自己,以便更好地开发软件、系统架构,并进行工作面试。也可以作为高等院校计算机专业师生学习编程语言设计原理的参考教材。
目录
第1章 深入Go语言编译器 1
1.1 为什么要了解Go语言编译器 1
1.2 Go语言编译器的阶段 1
1.3 词法解析 3
1.4 语法解析 4
1.5 抽象语法树构建 6
1.6 类型检查 8
1.7 变量捕获 8
1.8 函数内联 9
1.9 逃逸分析 12
1.10 闭包重写 14
1.11 遍历函数 15
1.12 SSA生成 15
1.13 机器码生成——汇编器 18
1.14 机器码生成——链接 20
1.15 ELF文件解析 23
1.16 总结 26
第2章 浮点数设计原理与使用方法 27
2.1 浮点数陷阱 27
2.2 定点数与浮点数 27
2.3 IEEE-754浮点数标准 28
2.3.1 小数部分计算 29
2.3.2 显示浮点数格式 30
2.4 实践:判断浮点数为整数 31
2.5 常规数与非常规数 33
2.6 NaN与Inf 33
2.7 浮点数精度 34
2.8 浮点数与格式化打印 36
2.9 浮点数计算与精度损失 37
2.10 多精度浮点数与math/big库 38
2.11 总结 41
第3章 类型推断全解析 42
3.1 类型推断的优势 42
3.2 Go语言中类型推断的特性 43
3.3 类型推断原理 44
3.3.1 词法解析与语法分析阶段 44
3.3.2 抽象语法树生成与类型检查 46
3.4 总结 48
第4章 常量与隐式类型转换 49
4.1 常量声明与生存周期 49
4.2 常量类型转换 50
4.2.1 隐式整数转换 50
4.2.2 隐式浮点数转换 51
4.2.3 常量运算中的隐式转换 51
4.2.4 常量与变量之间的转换 51
4.2.5 自定义类型的转换 52
4.3 常量与隐式类型转换原理 53
4.4 总结 55
第5章 字符串本质与实现 56
5.1 字符串的本质 56
5.2 符文类型 57
5.3 字符串工具函数 58
5.4 字符串底层原理 59
5.4.1 字符串解析 59
5.4.2 字符串拼接 61
5.4.3 运行时字符拼接 62
5.4.4 字符串与字节数组的转换 64
5.5 总结 66
第6章 数组 67
6.1 数组的声明方式 67
6.2 数组值复制 68
6.3 数组底层原理 68
6.3.1 编译时数组解析 68
6.3.2 数组字面量初始化原理 69
6.3.3 数组字面量编译时内存优化 70
6.3.4 数组索引与访问越界原理 70
6.4 总结 73
第7章 切片使用方法与底层原理 74
7.1 切片使用方法 74
7.1.1 切片的结构 74
7.1.2 切片的初始化 75
7.1.3 切片的截取 75
7.1.4 切片值复制与数据引用 76
7.1.5 切片收缩与扩容 77
7.2 切片底层原理 78
7.2.1 字面量初始化 78
7.2.2 make初始化 79
7.2.3 切片扩容原理 80
7.2.4 切片截取原理 82
7.2.5 切片的完整复制 83
7.3 总结 84
第8章 哈希表与Go实现机制 85
8.1 哈希碰撞与解决方法 85
8.2 map基本操作 87
8.2.1 map声明与初始化 87
8.2.2 map访问 87
8.2.3 map赋值 88
8.2.4 key的比较性 88
8.2.5 map并发冲突 89
8.3 哈希表底层结构 89
8.4 哈希表原理图解 91
8.5 深入哈希表原理 94
8.5.1 make初始化原理 94
8.5.2 字面量初始化原理 96
8.5.3 map访问原理 97
8.5.4 map赋值操作原理 99
8.5.5 map重建原理 102
8.5.6 map删除原理 103
8.6 总结 104
第9章 函数与栈 105
9.1 函数基本使用方式 105
9.2 函数闭包与陷阱 106
9.3 函数栈 107
9.4 Go语言栈帧结构 108
9.5 Go语言函数调用链结构与特性 110
9.6 堆栈信息 111
9.7 栈扩容与栈转移原理 113
9.8 栈调试 118
9.9 总结 120
第10章 defer延迟调用 121
10.1 使用的defer的优势 122
10.1.1 资源释放 122
10.1.2 异常捕获 123
10.2 defer特性 125
10.2.1 延迟执行 125
10.2.2 参数预计算 126
10.2.3 defer多次执行与LIFO执行顺序 127
10.3 defer返回值陷阱 127
10.4 defer底层原理 129
10.4.1 defer演进 129
10.4.2 堆分配 130
10.4.3 defer遍历调用 134
10.4.4 Go 1.13栈分配优化 137
10.4.5 Go 1.14内联优化 138
10.5 总结 140
第11章 异常与异常捕获 141
11.1 panic函数使用方法 141
11.2 异常捕获与recover 142
11.3 panic与recover嵌套 144
11.4 panic函数底层原理 145
11.5 recover底层原理 149
11.6 总结 152
第12章 接口与程序设计模式 154
12.1 接口的用途 154
12.2 Go语言中的接口 155
12.3 Go接口实践 156
12.4 Go接口的使用方法 158
12.4.1 Go接口的声明与定义 158
12.4.2 接口实现 159
12.4.3 接口动态类型 160
12.4.4 接口的动态调用 161
12.4.5 多接口 162
12.4.6 接口的组合 162
12.4.7 接口类型断言 163
12.4.8 空接口 164
12.4.9 接口的比较性 166
12.5 接口底层原理 166
12.5.1 接口实现算法 166
12.5.2 接口组成 168
12.5.3 接口内存逃逸分析 171
12.5.4 接口动态调用过程 173
12.5.5 接口动态调用过程的效率评价 177
12.5.6 接口转换 182
12.5.7 空接口组成 184
12.5.8 空接口switch 187
12.5.9 接口的陷阱 189
12.6 总结 191
第13章 反射高级编程 192
13.1 为什么需要反射 193
13.2 反射的基本使用方法 195
13.2.1 反射的两种基本类型 195
13.2.2 反射转换为接口 196
13.2.3 Elem()间接访问 197
13.2.4 修改反射的值 199
13.2.5 结构体与反射 200
13.2.6 遍历结构体字段 200
13.2.7 修改结构体字段 201
13.2.8 嵌套结构体的赋值 202
13.2.9 结构体方法与动态调用 203
13.2.10 反射在运行时创建结构体 205
13.2.11 函数与反射 206
13.2.12 反射与其他类型 206
13.3 反射底层原理 207
13.3.1 reflect.Type详解 207
13.3.2 Interface方法原理 209
13.3.3 Int方法原理 211
13.3.4 Elem方法释疑 211
13.3.5 动态调用剖析 213
13.4 总结 216
第14章 协程初探 217
14.1 进程与线程 217
14.2 线程上下文切换 219
14.3 线程与协程 220
14.3.1 调度方式 220
14.3.2 上下文切换的速度 220
14.3.3 调度策略 221
14.3.4 栈的大小 221
14.4 并发与并行 221
14.5 简单协程入门 222
14.6 main协程与子协程 223
14.7 GMP模型 225
14.8 总结 226
第15章 深入协程设计与调度原理 227
15.1 协程的生命周期与状态转移 227
15.2 特殊协程g0与协程切换 228
15.3 线程本地存储与线程绑定 230
15.4 调度循环 231
15.5 调度策略 232
15.5.1 获取本地运行队列 234
15.5.2 获取全局运行队列 235
15.5.3 获取准备就绪的网络协程 236
15.5.4 协程窃取 237
15.6 调度时机 238
15.6.1 主动调度 238
15.6.2 被动调度 239
15.6.3 抢占调度 241
15.6.4 执行时间过长的抢占调度 241
15.7 总结 247
第16章 通道与协程间通信 248
16.1 CSP并发编程 248
16.2 通道基本使用方式 249
16.2.1 通道声明与初始化 249
16.2.2 channel写入数据 250
16.2.3 通道读取数据 250
16.2.4 通道关闭 250
16.2.5 通道作为参数和返回值 252
16.2.6 单方向通道 253
16.2.7 通道实践 254
16.3 select多路复用 258
16.3.1 select随机选择机制 258
16.3.2 select堵塞与控制 259
16.3.3 循环select 260
16.3.4 select 与nil 261
16.4 通道底层原理 261
16.4.1 通道结构与环形队列 261
16.4.2 通道初始化 263
16.4.3 通道写入原理 263
16.4.4 通道读取原理 265
16.5 select底层原理 267
16.5.1 select一轮循环 269
16.5.2 select二轮循环 270
16.6 总结 271
第17章 并发控制 272
17.1 context 272
17.1.1 为什么需要Context 272
17.1.2 Context使用方式 274
17.2 context原理 277
17.3 数据争用检查 280
17.3.1 什么是数据争用 280
17.3.2 数据争用检查详解 282
17.3.3 race工具原理 282
17.4 锁 286
17.4.1 原子锁 287
17.4.2 互斥锁 289
17.4.3 互斥锁实现原理 290
17.4.4 互斥锁的释放 294
17.4.5 读写锁 295
17.4.6 读写锁原理 296
17.5 总结 298
第18章 内存分配管理 299
18.1 Go语言内存分配全局视野 299
18.1.1 span与元素 299
18.1.2 三级对象管理 300
18.1.3 四级内存块管理 301
18.2 对象分配 302
18.2.1 微小对象 302
18.2.2 mcache缓存位图 304
18.2.3 mcentral遍历span 305
18.2.4 mheap缓存查找 307
18.2.5 mheap基数树查找 307
18.2.6 操作系统内存申请 311
18.2.7 小对象分配 311
18.2.8 大对象分配 312
18.3 总结 312
第19章 垃圾回收初探 313
19.1 为什么需要垃圾回收 314
19.1.1 减少错误和复杂性 314
19.1.2 解耦 314
19.2 垃圾回收的5种经典算法 315
19.2.1 标记-清扫 315
19.2.2 标记-压缩 316
19.2.3 半空间复制 316
19.2.4 引用计数 317
19.2.5 分代GC 318
19.3 Go语言中的垃圾回收 318
19.3.1 为什么不选择压缩GC? 319
19.3.2 为什么不选择分代GC? 319
19.4 Go垃圾回收演进 319
19.5 总结 321
第20章 深入垃圾回收全流程 322
20.1 垃圾回收循环 322
20.2 标记准备阶段 323
20.2.1 计算标
Go语言虽然是一门非常年轻的语言(2009年正式开源),却以不可思议的速度在成长着。
大公司(谷歌)的支持、的设计者(罗勃·派克、肯·汤普逊)和豪华的开发团队、“杀手级”的项目(Kubernetes)、开放活跃的社区以及数以百万计的开发者都揭示了Go语言的巨大潜力。在国内,Go语言良好的发展趋势可以从招聘网站中数量庞大的岗位需求以及每天发表在各种媒体上的种类繁多的相关文章中得到印证。
在可预见的未来,相信Go语言还将延续强劲的发展势头。为了把握和适应时代的需求,开发者需要在短时间内掌握Go这门语言。虽然高级语言足够抽象,在大部分情况下掌握了基本的语法就可以创建庞大和复杂的项目,但是仍然需要遵守一定的规则才能写出正确、优雅、容易维护的代码。当程序的执行结果不符合预期时,我们是否有足够多的手段去调试?很显然,会使用和能用好有本质的区别,充分的经验、合理的架构、遵守软件设计规范、使用经典的设计模式、规避常见的错误陷阱、强制性工具检查都能够帮助开发者写出更好的程序。然而很多时候我们并不满足于此,还希望探究语言背后的原理。
Go语言的编译器、运行时,本身就是用Go语言写出的既复杂又精巧的程序;探究语言设计、语法特性,本身就是学习程序设计与架构、数据结构与算法等知识的绝佳途径。学习底层原理能够帮助我们更好地了解Go语言的语法,做出合理的性能优化,设计科学的程序架构,监控程序的运行状态,排查复杂的程序异常问题,开发出检查协程泄露、语法等问题的高级工具,理解Go语言的局限性,从而在不同场景下做出合理抉择。学习Go语言底层原理能提升自己的专业技能和薪资水平,这种学习本身也是一种乐趣,而这种乐趣恰恰是很多自上而下学习编程语言的开发者不能体会的。
目前市面上鲜有系统介绍Go语言底层实现原理的书籍,为了弥补这个缺陷,笔者写作本书,系统性地介绍Go语言在编译时、运行时以及语法特性等层面的底层原理和更好的使用方法。本书由21章组成,这21章可以分为6部分。
第1~8章为第1部分,介绍Go语言的基础——编译时及类型系统。包括浮点数、切片、哈希表等类型以及类型转换的原理。
第9~11章为第2部分,介绍程序运行重要的组成部分——函数与栈。包括栈帧布局、栈扩容、栈调试的原理,并介绍了延迟调用、异常与异常捕获的原理。
第12、13章为第3部分,介绍Go语言程序设计的关键——接口。包括如何正确合理地使用接口构建程序、接口的实现原理和可能遇到的问题,并探讨了接口之上的反射原理。
第14~17章为第4部分,介绍Go语言并发的核心——协程与通道。详细论述了协程的本质以及运行时调度器的调度时机与策略。介绍了通过通信来共享内存的通道本质以及通道的多路复用原理,并探讨了并发控制、数据争用问题的解决办法及锁的本质。
第18~20章为第5部分,介绍Go语言运行时复杂的模块——内存管理与垃圾回收。详细论述了Go语言中实现内存管理方法及垃圾回收的详细步骤。
第21章为第6部分,介绍Go语言可视化工具——pprof与trace。详细论述了通过工具排查问题、观察系统运行状态的方法与实现原理。
为了准确地论述每一个话题,笔者参阅了市面上能够找到的文章、提案并详细参考了相应的源代码。从某种意义上来讲,这是一本站在巨人肩膀上的著作。学习原理是为了更好地使用,笔者在本书中不会粘贴大段的源码,而是将其充分整理并结合了作者的思考后用图和例子的形式来讲解。相信当读者阅读完本书后能够建立一整套底层原理模型并对程序有不一样的体会,就像清晰地看到了Go程序中的每一根血管和每一个细胞一样。
本书各章参考资料可通过微信扫描封底二维码获取。
郑建勋
2021年5月
这是一本Go语言的初学者和进阶学者都可以受益的书。它不仅仅介绍了Go的语言特性,还深入这些特性背后的设计考量、编译器及语言实现的细节。授人以鱼和授人以渔在本书里面一起得到了体现。更难得的是,本书并没有粘贴大段的代码,而是以图文的形式将复杂的概念解释清楚,降低了阅读和理解的难度,使得读者不会望“底层”和“深入”二词而却步。
——Shopee技术委员会主席、顺丰速运前CTO、Google前主任工程师 叶绍志博士
评论
还没有评论。