gopl-zh.github.com/ch11/ch11-04.md

114 lines
6.2 KiB
Markdown
Raw Permalink Normal View History

2016-02-15 03:06:34 +00:00
## 11.4. 基准测试
2015-12-09 07:45:11 +00:00
2016-02-15 03:06:34 +00:00
基准测试是测量一个程序在固定工作负载下的性能。在Go语言中基准测试函数和普通测试函数写法类似但是以Benchmark为前缀名并且带有一个`*testing.B`类型的参数;`*testing.B`参数除了提供和`*testing.T`类似的方法还有额外一些和性能测量相关的方法。它还提供了一个整数N用于指定操作执行的循环次数。
2015-12-14 03:28:00 +00:00
2016-02-15 03:06:34 +00:00
下面是IsPalindrome函数的基准测试其中循环将执行N次。
2015-12-14 03:28:00 +00:00
```Go
import "testing"
func BenchmarkIsPalindrome(b *testing.B) {
for i := 0; i < b.N; i++ {
IsPalindrome("A man, a plan, a canal: Panama")
}
}
```
我们用下面的命令运行基准测试。和普通测试不同的是,默认情况下不运行任何基准测试。我们需要通过`-bench`命令行标志参数手工指定要运行的基准测试函数。该参数是一个正则表达式,用于匹配要执行的基准测试函数的名字,默认值是空的。其中“.”模式将可以匹配所有基准测试函数,但因为这里只有一个基准测试函数,因此和`-bench=IsPalindrome`参数是等价的效果。
2015-12-14 03:28:00 +00:00
```
$ cd $GOPATH/src/gopl.io/ch11/word2
$ go test -bench=.
PASS
BenchmarkIsPalindrome-8 1000000 1035 ns/op
ok gopl.io/ch11/word2 2.179s
```
结果中基准测试名的数字后缀部分这里是8表示运行时对应的GOMAXPROCS的值这对于一些与并发相关的基准测试是重要的信息。
2015-12-14 03:28:00 +00:00
2016-02-15 03:06:34 +00:00
报告显示每次调用IsPalindrome函数花费1.035微秒是执行1,000,000次的平均时间。因为基准测试驱动器开始时并不知道每个基准测试函数运行所花的时间它会尝试在真正运行基准测试前先尝试用较小的N运行测试来估算基准测试函数所需要的时间然后推断一个较大的时间保证稳定的测量结果。
2015-12-14 03:28:00 +00:00
2016-02-15 03:06:34 +00:00
循环在基准测试函数内实现而不是放在基准测试框架内实现这样可以让每个基准测试函数有机会在循环启动前执行初始化代码这样并不会显著影响每次迭代的平均运行时间。如果还是担心初始化代码部分对测量时间带来干扰那么可以通过testing.B参数提供的方法来临时关闭或重置计时器不过这些一般很少会用到。
2015-12-14 03:28:00 +00:00
现在我们有了一个基准测试和普通测试我们可以很容易测试改进程序运行速度的想法。也许最明显的优化是在IsPalindrome函数中第二个循环的停止检查这样可以避免每个比较都做两次
2015-12-14 03:28:00 +00:00
```Go
n := len(letters)/2
for i := 0; i < n; i++ {
if letters[i] != letters[len(letters)-1-i] {
return false
}
}
return true
```
不过很多情况下一个显而易见的优化未必能带来预期的效果。这个改进在基准测试中只带来了4%的性能提升。
2015-12-14 03:28:00 +00:00
```
$ go test -bench=.
PASS
BenchmarkIsPalindrome-8 1000000 992 ns/op
ok gopl.io/ch11/word2 2.093s
```
2016-02-15 03:06:34 +00:00
另一个改进想法是在开始为每个字符预先分配一个足够大的数组这样就可以避免在append调用时可能会导致内存的多次重新分配。声明一个letters数组变量并指定合适的大小像下面这样
2015-12-14 03:28:00 +00:00
```Go
letters := make([]rune, 0, len(s))
for _, r := range s {
if unicode.IsLetter(r) {
letters = append(letters, unicode.ToLower(r))
}
}
```
2016-02-15 03:06:34 +00:00
这个改进提升性能约35%报告结果是基于2,000,000次迭代的平均运行时间统计。
2015-12-14 03:28:00 +00:00
```
$ go test -bench=.
PASS
BenchmarkIsPalindrome-8 2000000 697 ns/op
ok gopl.io/ch11/word2 1.468s
```
2016-02-15 03:06:34 +00:00
如这个例子所示,快的程序往往是伴随着较少的内存分配。`-benchmem`命令行标志参数将在报告中包含内存的分配数据统计。我们可以比较优化前后内存的分配情况:
2015-12-14 03:28:00 +00:00
```
$ go test -bench=. -benchmem
PASS
BenchmarkIsPalindrome 1000000 1026 ns/op 304 B/op 4 allocs/op
```
2016-02-15 03:06:34 +00:00
这是优化之后的结果:
2015-12-14 03:28:00 +00:00
```
$ go test -bench=. -benchmem
PASS
BenchmarkIsPalindrome 2000000 807 ns/op 128 B/op 1 allocs/op
```
2016-02-15 03:06:34 +00:00
用一次内存分配代替多次的内存分配节省了75%的分配调用次数和减少近一半的内存需求。
2015-12-14 03:28:00 +00:00
这个基准测试告诉了我们某个具体操作所需的绝对时间但我们往往想知道的是两个不同的操作的时间对比。例如如果一个函数需要1ms处理1,000个元素那么处理10000或1百万将需要多少时间呢这样的比较揭示了渐近增长函数的运行时间。另一个例子I/O缓存该设置为多大呢基准测试可以帮助我们选择在性能达标情况下所需的最小内存。第三个例子对于一个确定的工作哪种算法更好基准测试可以评估两种不同算法对于相同的输入在不同的场景和负载下的优缺点。
2015-12-14 03:28:00 +00:00
比较型的基准测试就是普通程序代码。它们通常是单参数的函数,由几个不同数量级的基准测试函数调用,就像这样:
2015-12-14 03:28:00 +00:00
```Go
func benchmark(b *testing.B, size int) { /* ... */ }
func Benchmark10(b *testing.B) { benchmark(b, 10) }
func Benchmark100(b *testing.B) { benchmark(b, 100) }
func Benchmark1000(b *testing.B) { benchmark(b, 1000) }
```
2016-02-15 03:06:34 +00:00
通过函数参数来指定输入的大小但是参数变量对于每个具体的基准测试都是固定的。要避免直接修改b.N来控制输入的大小。除非你将它作为一个固定大小的迭代计算输入否则基准测试的结果将毫无意义。
2015-12-14 03:28:00 +00:00
比较型的基准测试反映出的模式在程序设计阶段是很有帮助的,但是即使程序完工了也应当保留基准测试代码。因为随着项目的发展,或者是输入的增加,或者是部署到新的操作系统或不同的处理器,我们可以再次用基准测试来帮助我们改进设计。
2015-12-14 03:28:00 +00:00
2016-02-15 03:06:34 +00:00
**练习 11.6:** 为2.6.2节的练习2.4和练习2.5的PopCount函数编写基准测试。看看基于表格算法在不同情况下对提升性能会有多大帮助。
2015-12-14 03:28:00 +00:00
2016-10-18 05:29:52 +00:00
**练习 11.7:** 为`*IntSet`§6.5的Add、UnionWith和其他方法编写基准测试使用大量随机输入。你可以让这些方法跑多快选择字的大小对于性能的影响如何IntSet和基于内建map的实现相比有多快
2015-12-14 03:28:00 +00:00