GoLang指针表现

以下代码显示了两个基准.第一个在每次迭代中按值创建结构,而第二个使用指向结构的指针.

为什么后者减速20倍？我知道关于GoLang的GC问题,但不应该逃避分析处理这些情况？

我正在使用go1.4beta1,但1.3.3给了我[相同 – 错误]不同的结果.

任何的想法 ？

package main

import "testing"

type Adder struct {
    vals []int
}

func (a *Adder) add() int {
    return a.vals[0] + a.vals[1]
}

func BenchmarkWithoutPointer(b *testing.B) {
    accum := 0
    for i := 0; i < b.N; i++ {
        adder := Adder{[]int{accum,i}}
        accum = adder.add()
    }
    _ = accum
}

func BenchmarkWithPointer(b *testing.B) {
    accum := 0
    for i := 0; i < b.N; i++ {
        adder := &Adder{[]int{accum,i}}
        accum = adder.add()
    }
    _ = accum
}

基准go1.4.1：

$go test -bench=.                                                                                                                             

testing: warning: no tests to run
PASS
BenchmarkWithoutPointer 1000000000           2.92 ns/op
BenchmarkWithPointer    30000000            57.8 ns/op
ok      github.com/XXXXXXXXXX/bench/perf    5.010s

基准go1.3.3：

testing: warning: no tests to run
PASS
BenchmarkWithoutPointer 500000000            7.89 ns/op
BenchmarkWithPointer    50000000            37.5 ns/op
ok

编辑：

结论：

正如Ainar-G所说,[] int在第二个基准测试中确实逃脱了堆积.在阅读了更多关于1.4beta1之后,看来,当访问由新GC计划引起的堆时会引入新的写入障碍.但原始执行似乎有所增加.期待1.5 =).

使用-m gcflag运行基准测试可以得到可能的答案：

./main_test.go:16: BenchmarkWithoutPointer []int literal does not escape
(...)
./main_test.go:25: []int literal escapes to heap

第二个示例中的[] int转义为堆,这比堆慢.如果为参数使用单独的x和y字段而不是切片

type Adder struct {
    x,y int
}

func (a *Adder) add() int {
    return a.x + a.y
}

基准测试显示预期的行为：

BenchmarkWithoutPointer 1000000000               2.27 ns/op
BenchmarkWithPointer    2000000000               1.98 ns/op