mirror of
https://github.com/LCTT/TranslateProject.git
synced 2024-12-23 21:20:42 +08:00
PRF:20140607 Five things that make Go fast.md
@houbaron 恭喜您，完成了第一篇翻译贡献！
This commit is contained in:
Xingyu.Wang
parent
7558481ea2
commit
a663fa06ab
@ -1,11 +1,10 @@
|
||||
五种加速 Go 的特性
|
||||
============================================================
|
||||
========
|
||||
|
||||
_Anthony Starks 使用他出色的 Deck 演示工具重构了我原来的基于 Google Slides 的幻灯片。你可以在他的博客上查看他重构后的幻灯片, [mindchunk.blogspot.com.au/2014/06/remixing-with-deck][5]._
|
||||
_Anthony Starks 使用他出色的 Deck 演示工具重构了我原来的基于 Google Slides 的幻灯片。你可以在他的博客上查看他重构后的幻灯片,
|
||||
[mindchunk.blogspot.com.au/2014/06/remixing-with-deck][5]。_
|
||||
|
||||
* * *
|
||||
|
||||
我最近被邀请在 Gocon 发表演讲，这是一个每半年在日本东京举行的精彩 Go 的大会。[Gocon 2014][6] 是一个完全由社区驱动的为期一天的活动，由培训和一整个下午的围绕着 <q style="border: 0px; vertical-align: baseline; quotes: none;">生产环境中的 Go</q> 这个主题的演讲组成.
|
||||
我最近被邀请在 Gocon 发表演讲，这是一个每半年在日本东京举行的 Go 的精彩大会。[Gocon 2014][6] 是一个完全由社区驱动的为期一天的活动，由培训和一整个下午的围绕着生产环境中的 Go</q> 这个主题的演讲组成.（LCTT 译注：本文发表于 2014 年）
|
||||
|
||||
以下是我的讲义。原文的结构能让我缓慢而清晰的演讲，因此我已经编辑了它使其更可读。
|
||||
|
||||
@ -19,14 +18,16 @@
|
||||
|
||||
我很高兴今天能来到 Gocon。我想参加这个会议已经两年了，我很感谢主办方能提供给我向你们演讲的机会。
|
||||
|
||||
[][9]
|
||||
[][9]
|
||||
|
||||
我想以一个问题开始我的演讲。
|
||||
|
||||
为什么选择 Go？
|
||||
|
||||
当大家讨论学习或在生产环境中使用 Go 的原因时，答案不一而足，但因为以下三个原因的最多。
|
||||
|
||||
[][10]
|
||||
[][10]
|
||||
|
||||
这就是 TOP3 的原因。
|
||||
|
||||
第一，并发。
|
||||
@ -37,29 +38,29 @@ Go 的 <ruby>并发原语<rt>Concurrency Primitives</rt></ruby> 对于来自 Nod
|
||||
|
||||
我们今天从经验丰富的 Gophers 那里听说过，他们非常欣赏部署 Go 应用的简单性。
|
||||
|
||||
[][11]
|
||||
[][11]
|
||||
|
||||
然后是性能。
|
||||
|
||||
我相信人们选择 Go 的一个重要原因是它 _快_。
|
||||
|
||||
[][12]
|
||||
[][12]
|
||||
|
||||
在今天的演讲中，我想讨论五个有助于提高 Go 性能的特性。
|
||||
|
||||
我还将与大家分享 Go 如何实现这些特性的细节。
|
||||
|
||||
[][13]
|
||||
[][13]
|
||||
|
||||
我要谈的第一个特性是 Go 对于值的高效处理和存储。
|
||||
|
||||
[][14]
|
||||
[][14]
|
||||
|
||||
这是 Go 中一个值的例子。编译时，`gocon` 正好消耗四个字节的内存。
|
||||
|
||||
让我们将 Go 与其他一些语言进行比较
|
||||
|
||||
[][15]
|
||||
[][15]
|
||||
|
||||
由于 Python 表示变量的方式的开销，使用 Python 存储相同的值会消耗六倍的内存。
|
||||
|
||||
@ -67,19 +68,19 @@ Python 使用额外的内存来跟踪类型信息，进行 <ruby>引用计数<rt
|
||||
|
||||
让我们看另一个例子：
|
||||
|
||||
[][16]
|
||||
[][16]
|
||||
|
||||
与 Go 类似，Java 消耗 4 个字节的内存来存储 `int` 型。
|
||||
|
||||
但是，要在像 `List` 或 `Map` 这样的集合中使用此值，编译器必须将其转换为 `Integer` 对象。
|
||||
|
||||
[][17]
|
||||
[][17]
|
||||
|
||||
因此，Java 中的整数通常消耗 16 到 24 个字节的内存。
|
||||
|
||||
为什么这很重要？ 内存便宜且充足，为什么这个开销很重要？
|
||||
|
||||
[][18]
|
||||
[][18]
|
||||
|
||||
这是一张显示 CPU 时钟速度与内存总线速度的图表。
|
||||
|
||||
@ -87,13 +88,13 @@ Python 使用额外的内存来跟踪类型信息，进行 <ruby>引用计数<rt
|
||||
|
||||
两者之间的差异实际上是 CPU 花费多少时间等待内存。
|
||||
|
||||
[][19]
|
||||
[][19]
|
||||
|
||||
自 1960 年代后期以来，CPU 设计师已经意识到了这个问题。
|
||||
|
||||
他们的解决方案是一个缓存，一个更小，更快的内存区域，介入 CPU 和主存之间。
|
||||
他们的解决方案是一个缓存，一个更小、更快的内存区域，介入 CPU 和主存之间。
|
||||
|
||||
[][20]
|
||||
[][20]
|
||||
|
||||
这是一个 `Location` 类型，它保存物体在三维空间中的位置。它是用 Go 编写的，因此每个 `Location` 只消耗 24 个字节的存储空间。
|
||||
|
||||
@ -103,7 +104,7 @@ Python 使用额外的内存来跟踪类型信息，进行 <ruby>引用计数<rt
|
||||
|
||||
这很重要，因为现在所有 1000 个 `Location` 结构体都按顺序放在缓存中，紧密排列在一起。
|
||||
|
||||
[][21]
|
||||
[][21]
|
||||
|
||||
Go 允许您创建紧凑的数据结构，避免不必要的填充字节。
|
||||
|
||||
@ -111,11 +112,11 @@ Go 允许您创建紧凑的数据结构，避免不必要的填充字节。
|
||||
|
||||
更好的缓存利用率可带来更好的性能。
|
||||
|
||||
[][22]
|
||||
[][22]
|
||||
|
||||
函数调用不是无开销的。
|
||||
|
||||
[][23]
|
||||
[][23]
|
||||
|
||||
调用函数时会发生三件事。
|
||||
|
||||
@ -125,7 +126,7 @@ Go 允许您创建紧凑的数据结构，避免不必要的填充字节。
|
||||
|
||||
处理器计算函数的地址并执行到该新地址的分支。
|
||||
|
||||
[][24]
|
||||
[][24]
|
||||
|
||||
由于函数调用是非常常见的操作，因此 CPU 设计师一直在努力优化此过程，但他们无法消除开销。
|
||||
|
||||
@ -133,7 +134,7 @@ Go 允许您创建紧凑的数据结构，避免不必要的填充字节。
|
||||
|
||||
减少函数调用开销的解决方案是 <ruby>内联<rt>Inlining</rt></ruby>。
|
||||
|
||||
[][25]
|
||||
[][25]
|
||||
|
||||
Go 编译器通过将函数体视为调用者的一部分来内联函数。
|
||||
|
||||
@ -143,13 +144,13 @@ Go 编译器通过将函数体视为调用者的一部分来内联函数。
|
||||
|
||||
复杂的函数通常不受调用它们的开销所支配，因此不会内联。
|
||||
|
||||
[][26]
|
||||
[][26]
|
||||
|
||||
这个例子显示函数 `Double` 调用 `util.Max`。
|
||||
|
||||
为了减少调用 `util.Max` 的开销，编译器可以将 `util.Max` 内联到 `Double` 中，就象这样
|
||||
|
||||
[][27]
|
||||
[][27]
|
||||
|
||||
内联后不再调用 `util.Max`，但是 `Double` 的行为没有改变。
|
||||
|
||||
@ -159,7 +160,7 @@ Go 实现非常简单。编译包时，会标记任何适合内联的小函数
|
||||
|
||||
然后函数的源代码和编译后版本都会被存储。
|
||||
|
||||
[][28]
|
||||
[][28]
|
||||
|
||||
此幻灯片显示了 `util.a` 的内容。源代码已经过一些转换，以便编译器更容易快速处理。
|
||||
|
||||
@ -169,13 +170,13 @@ Go 实现非常简单。编译包时，会标记任何适合内联的小函数
|
||||
|
||||
拥有该函数的源代码可以实现其他优化。
|
||||
|
||||
[][29]
|
||||
[][29]
|
||||
|
||||
在这个例子中，尽管函数 `Test` 总是返回 `false`，但 `Expensive` 在不执行它的情况下无法知道结果。
|
||||
|
||||
当 `Test` 被内联时，我们得到这样的东西
|
||||
当 `Test` 被内联时，我们得到这样的东西。
|
||||
|
||||
[][30]
|
||||
[][30]
|
||||
|
||||
编译器现在知道 `Expensive` 的代码无法访问。
|
||||
|
||||
@ -183,7 +184,7 @@ Go 实现非常简单。编译包时，会标记任何适合内联的小函数
|
||||
|
||||
Go 编译器可以跨文件甚至跨包自动内联函数。还包括从标准库调用的可内联函数的代码。
|
||||
|
||||
[][31]
|
||||
[][31]
|
||||
|
||||
<ruby>强制垃圾回收<rt>Mandatory Garbage Collection</rt></ruby> 使 Go 成为一种更简单，更安全的语言。
|
||||
|
||||
@ -191,13 +192,13 @@ Go 编译器可以跨文件甚至跨包自动内联函数。还包括从标准
|
||||
|
||||
这意味着在堆上分配的内存是有代价的。每次 GC 运行时都会花费 CPU 时间，直到释放内存为止。
|
||||
|
||||
[][32]
|
||||
[][32]
|
||||
|
||||
然而，有另一个地方分配内存，那就是栈。
|
||||
|
||||
与 C 不同，它强制您选择是否将值通过 `malloc` 将其存储在堆上，还是通过在函数范围内声明将其储存在栈上；Go 实现了一个名为 <ruby>逃逸分析<rt>Escape Analysis</rt></ruby> 的优化。
|
||||
|
||||
[][33]
|
||||
[][33]
|
||||
|
||||
逃逸分析决定了对一个值的任何引用是否会从被声明的函数中逃逸。
|
||||
|
||||
@ -207,7 +208,7 @@ Go 编译器可以跨文件甚至跨包自动内联函数。还包括从标准
|
||||
|
||||
让我们看一些例子
|
||||
|
||||
[][34]
|
||||
[][34]
|
||||
|
||||
`Sum` 返回 1 到 100 的整数的和。这是一种相当不寻常的做法，但它说明了逃逸分析的工作原理。
|
||||
|
||||
@ -215,7 +216,7 @@ Go 编译器可以跨文件甚至跨包自动内联函数。还包括从标准
|
||||
|
||||
没有必要回收 `numbers`，它会在 `Sum` 返回时自动释放。
|
||||
|
||||
[][35]
|
||||
[][35]
|
||||
|
||||
第二个例子也有点尬。在 `CenterCursor` 中，我们创建一个新的 `Cursor` 对象并在 `c` 中存储指向它的指针。
|
||||
|
||||
@ -225,7 +226,7 @@ Go 编译器可以跨文件甚至跨包自动内联函数。还包括从标准
|
||||
|
||||
即使 `c` 被 `new` 函数分配了空间，它也不会存储在堆上，因为没有引用 `c` 的变量逃逸 `CenterCursor` 函数。
|
||||
|
||||
[][36]
|
||||
[][36]
|
||||
|
||||
默认情况下，Go 的优化始终处于启用状态。可以使用 `-gcflags = -m` 开关查看编译器的逃逸分析和内联决策。
|
||||
|
||||
@ -233,11 +234,11 @@ Go 编译器可以跨文件甚至跨包自动内联函数。还包括从标准
|
||||
|
||||
我将在本演讲的其余部分详细讨论栈。
|
||||
|
||||
[][37]
|
||||
[][37]
|
||||
|
||||
Go 有 goroutines。 这是 Go 并发的基石。
|
||||
Go 有 goroutine。 这是 Go 并发的基石。
|
||||
|
||||
我想退一步，探索 goroutines 的历史。
|
||||
我想退一步，探索 goroutine 的历史。
|
||||
|
||||
最初，计算机一次运行一个进程。在 60 年代，多进程或 <ruby>分时<rt>Time Sharing</rt></ruby> 的想法变得流行起来。
|
||||
|
||||
@ -245,7 +246,7 @@ Go 有 goroutines。 这是 Go 并发的基石。
|
||||
|
||||
这称为 _进程切换_。
|
||||
|
||||
[][38]
|
||||
[][38]
|
||||
|
||||
进程切换有三个主要开销。
|
||||
|
||||
@ -255,44 +256,41 @@ Go 有 goroutines。 这是 Go 并发的基石。
|
||||
|
||||
最后是操作系统 <ruby>上下文切换<rt>Context Switch</rt></ruby> 的成本，以及 <ruby>调度函数<rt>Scheduler Function</rt></ruby> 选择占用 CPU 的下一个进程的开销。
|
||||
|
||||
[][39]
|
||||
[][39]
|
||||
|
||||
现代处理器中有数量惊人的寄存器。我很难在一张幻灯片上排开它们，这可以让你知道保护和恢复它们需要多少时间。
|
||||
|
||||
由于进程切换可以在进程执行的任何时刻发生，因此操作系统需要存储所有寄存器的内容，因为它不知道当前正在使用哪些寄存器。
|
||||
|
||||
[][40]
|
||||
[][40]
|
||||
|
||||
这导致了线程的出生，这些线程在概念上与进程相同，但共享相同的内存空间。
|
||||
|
||||
由于线程共享地址空间，因此它们比进程更轻，因此创建速度更快，切换速度更快。
|
||||
|
||||
[][41]
|
||||
[][41]
|
||||
|
||||
Goroutines 升华了线程的思想。
|
||||
Goroutine 升华了线程的思想。
|
||||
|
||||
Goroutines 是 <ruby>协作式调度<rt>Cooperative Scheduled
|
||||
Goroutine 是 <ruby>协作式调度<rt>Cooperative Scheduled
|
||||
</rt></ruby>的，而不是依靠内核来调度。
|
||||
|
||||
当对 Go <ruby>运行时调度器<rt>Runtime Scheduler</rt></ruby> 进行显式调用时，goroutine 之间的切换仅发生在明确定义的点上。
|
||||
|
||||
编译器知道正在使用的寄存器并自动保存它们。
|
||||
|
||||
[][42]
|
||||
[][42]
|
||||
|
||||
虽然 goroutine 是协作式调度的，但运行时会为你处理。
|
||||
|
||||
Goroutines 可能会给禅让给其他协程时刻是：
|
||||
Goroutine 可能会给禅让给其他协程时刻是：
|
||||
|
||||
* 阻塞式通道发送和接收。
|
||||
|
||||
* Go 声明，虽然不能保证会立即调度新的 goroutine。
|
||||
|
||||
* 文件和网络操作式的阻塞式系统调用。
|
||||
|
||||
* 在被垃圾回收循环停止后。
|
||||
|
||||
[][43]
|
||||
[][43]
|
||||
|
||||
这个例子说明了上一张幻灯片中描述的一些调度点。
|
||||
|
||||
@ -304,7 +302,7 @@ Goroutines 可能会给禅让给其他协程时刻是：
|
||||
|
||||
最后，当 `Read` 操作完成并且数据可用时，线程切换回左侧。
|
||||
|
||||
[][44]
|
||||
[][44]
|
||||
|
||||
这张幻灯片显示了低级语言描述的 `runtime.Syscall` 函数，它是 `os` 包中所有函数的基础。
|
||||
|
||||
@ -316,13 +314,13 @@ Goroutines 可能会给禅让给其他协程时刻是：
|
||||
|
||||
这导致每 Go 进程的操作系统线程相对较少，Go 运行时负责将可运行的 Goroutine 分配给空闲的操作系统线程。
|
||||
|
||||
[][45]
|
||||
[][45]
|
||||
|
||||
在上一节中，我讨论了 goroutine 如何减少管理许多（有时是数十万个并发执行线程）的开销。
|
||||
|
||||
Goroutine故事还有另一面，那就是栈管理，它引导我进入我的最后一个话题。
|
||||
|
||||
[][46]
|
||||
[][46]
|
||||
|
||||
这是一个进程的内存布局图。我们感兴趣的关键是堆和栈的位置。
|
||||
|
||||
@ -330,13 +328,13 @@ Goroutine故事还有另一面，那就是栈管理，它引导我进入我的
|
||||
|
||||
栈位于虚拟地址空间的顶部，并向下增长。
|
||||
|
||||
[][47]
|
||||
[][47]
|
||||
|
||||
因为堆和栈相互覆盖的结果会是灾难性的，操作系统通常会安排在栈和堆之间放置一个不可写内存区域，以确保如果它们发生碰撞，程序将中止。
|
||||
|
||||
这称为保护页，有效地限制了进程的栈大小，通常大约为几兆字节。
|
||||
|
||||
[][48]
|
||||
[][48]
|
||||
|
||||
我们已经讨论过线程共享相同的地址空间，因此对于每个线程，它必须有自己的栈。
|
||||
|
||||
@ -346,7 +344,7 @@ Goroutine故事还有另一面，那就是栈管理，它引导我进入我的
|
||||
|
||||
缺点是随着程序中线程数的增加，可用地址空间的数量会减少。
|
||||
|
||||
[][49]
|
||||
[][49]
|
||||
|
||||
我们已经看到 Go 运行时将大量的 goroutine 调度到少量线程上，但那些 goroutines 的栈需求呢？
|
||||
|
||||
@ -354,13 +352,13 @@ Go 编译器不使用保护页，而是在每个函数调用时插入一个检
|
||||
|
||||
由于这种检查，goroutines 初始栈可以做得更小，这反过来允许 Go 程序员将 goroutines 视为廉价资源。
|
||||
|
||||
[][50]
|
||||
[][50]
|
||||
|
||||
这是一张显示了 Go 1.2 如何管理栈的幻灯片。
|
||||
|
||||
当 `G` 调用 `H` 时，没有足够的空间让 `H` 运行，所以运行时从堆中分配一个新的栈帧，然后在新的栈段上运行 `H`。当 `H` 返回时，栈区域返回到堆，然后返回到 `G`。
|
||||
|
||||
[][51]
|
||||
[][51]
|
||||
|
||||
这种管理栈的方法通常很好用，但对于某些类型的代码，通常是递归代码，它可能导致程序的内部循环跨越这些栈边界之一。
|
||||
|
||||
@ -368,7 +366,7 @@ Go 编译器不使用保护页，而是在每个函数调用时插入一个检
|
||||
|
||||
每次都会导致栈拆分。 这被称为 <ruby>热分裂<rt>Hot Split</rt></ruby> 问题。
|
||||
|
||||
[][52]
|
||||
[][52]
|
||||
|
||||
为了解决热分裂问题，Go 1.3 采用了一种新的栈管理方法。
|
||||
|
||||
@ -380,7 +378,7 @@ Go 编译器不使用保护页，而是在每个函数调用时插入一个检
|
||||
|
||||
这解决了热分裂问题。
|
||||
|
||||
[][53]
|
||||
[][53]
|
||||
|
||||
值，内联，逃逸分析，Goroutines 和分段/复制栈。
|
||||
|
||||
@ -398,7 +396,7 @@ Go 编译器不使用保护页，而是在每个函数调用时插入一个检
|
||||
|
||||
如果没有可增长的栈，逃逸分析可能会对栈施加太大的压力。
|
||||
|
||||
[][54]
|
||||
[][54]
|
||||
|
||||
* 感谢 Gocon 主办方允许我今天发言
|
||||
* twitter / web / email details
|
||||
@ -407,11 +405,8 @@ Go 编译器不使用保护页，而是在每个函数调用时插入一个检
|
||||
### 相关文章：
|
||||
|
||||
1. [听我在 OSCON 上关于 Go 性能的演讲][1]
|
||||
|
||||
2. [为什么 Goroutine 的栈是无限大的？][2]
|
||||
|
||||
3. [Go 的运行时环境变量的旋风之旅][3]
|
||||
|
||||
4. [没有事件循环的性能][4]
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
@ -431,9 +426,9 @@ David 是来自澳大利亚悉尼的程序员和作者。
|
||||
|
||||
via: https://dave.cheney.net/2014/06/07/five-things-that-make-go-fast
|
||||
|
||||
作者：[Dave Cheney ][a]
|
||||
作者：[Dave Cheney][a]
|
||||
译者：[houbaron](https://github.com/houbaron)
|
||||
校对：[校对者ID](https://github.com/校对者ID)
|
||||
校对：[wxy](https://github.com/wxy)
|
||||
|
||||
本文由 [LCTT](https://github.com/LCTT/TranslateProject) 原创编译，[Linux中国](https://linux.cn/) 荣誉推出
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user