build: enable framepointer mode by default

This has a minor performance cost, but far less than is being gained by SSA.
As an experiment, enable it during the Go 1.7 beta.
Having frame pointers on by default makes Linux's perf, Intel VTune,
and other profilers much more useful, because it lets them gather a
stack trace efficiently on profiling events.
(It doesn't help us that much, since when we walk the stack we usually
need to look up PC-specific information as well.)

Fixes #15840.

Change-Id: I4efd38412a0de4a9c87b1b6e5d11c301e63f1a2a
Reviewed-on: https://go-review.googlesource.com/23451
Run-TryBot: Russ Cox <rsc@golang.org>
Reviewed-by: Austin Clements <austin@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
This commit is contained in:
Russ Cox 2016-05-25 14:37:43 -04:00
parent 2168f2a68b
commit 7fdec6216c
13 changed files with 46 additions and 29 deletions

View file

@ -25,18 +25,16 @@ func betypeinit() {
cmpptr = x86.ACMPL cmpptr = x86.ACMPL
} }
if gc.Ctxt.Flag_dynlink { if gc.Ctxt.Flag_dynlink || obj.Getgoos() == "nacl" {
gc.Thearch.ReservedRegs = append(gc.Thearch.ReservedRegs, x86.REG_R15) resvd = append(resvd, x86.REG_R15)
} }
if gc.Ctxt.Framepointer_enabled || obj.Getgoos() == "nacl" {
resvd = append(resvd, x86.REG_BP)
}
gc.Thearch.ReservedRegs = resvd
} }
func Main() { func Main() {
if obj.Getgoos() == "nacl" {
resvd = append(resvd, x86.REG_BP, x86.REG_R15)
} else if obj.Framepointer_enabled != 0 {
resvd = append(resvd, x86.REG_BP)
}
gc.Thearch.LinkArch = &x86.Linkamd64 gc.Thearch.LinkArch = &x86.Linkamd64
if obj.Getgoarch() == "amd64p32" { if obj.Getgoarch() == "amd64p32" {
gc.Thearch.LinkArch = &x86.Linkamd64p32 gc.Thearch.LinkArch = &x86.Linkamd64p32
@ -51,7 +49,6 @@ func Main() {
gc.Thearch.FREGMIN = x86.REG_X0 gc.Thearch.FREGMIN = x86.REG_X0
gc.Thearch.FREGMAX = x86.REG_X15 gc.Thearch.FREGMAX = x86.REG_X15
gc.Thearch.MAXWIDTH = 1 << 50 gc.Thearch.MAXWIDTH = 1 << 50
gc.Thearch.ReservedRegs = resvd
gc.Thearch.AddIndex = addindex gc.Thearch.AddIndex = addindex
gc.Thearch.Betypeinit = betypeinit gc.Thearch.Betypeinit = betypeinit

View file

@ -32,7 +32,6 @@ package amd64
import ( import (
"cmd/compile/internal/gc" "cmd/compile/internal/gc"
"cmd/internal/obj"
"cmd/internal/obj/x86" "cmd/internal/obj/x86"
) )
@ -121,7 +120,7 @@ func BtoR(b uint64) int {
b &= 0xffff b &= 0xffff
if gc.Nacl { if gc.Nacl {
b &^= (1<<(x86.REG_BP-x86.REG_AX) | 1<<(x86.REG_R15-x86.REG_AX)) b &^= (1<<(x86.REG_BP-x86.REG_AX) | 1<<(x86.REG_R15-x86.REG_AX))
} else if obj.Framepointer_enabled != 0 { } else if gc.Ctxt.Framepointer_enabled {
// BP is part of the calling convention if framepointer_enabled. // BP is part of the calling convention if framepointer_enabled.
b &^= (1 << (x86.REG_BP - x86.REG_AX)) b &^= (1 << (x86.REG_BP - x86.REG_AX))
} }

View file

@ -106,7 +106,6 @@
package ssa package ssa
import ( import (
"cmd/internal/obj"
"fmt" "fmt"
"unsafe" "unsafe"
) )
@ -456,7 +455,7 @@ func (s *regAllocState) init(f *Func) {
s.allocatable = regMask(1)<<s.numRegs - 1 s.allocatable = regMask(1)<<s.numRegs - 1
s.allocatable &^= 1 << s.SPReg s.allocatable &^= 1 << s.SPReg
s.allocatable &^= 1 << s.SBReg s.allocatable &^= 1 << s.SBReg
if obj.Framepointer_enabled != 0 { if s.f.Config.ctxt.Framepointer_enabled {
s.allocatable &^= 1 << 5 // BP s.allocatable &^= 1 << 5 // BP
} }
if s.f.Config.ctxt.Flag_dynlink { if s.f.Config.ctxt.Flag_dynlink {

View file

@ -13,7 +13,7 @@ import (
// go-specific code shared across loaders (5l, 6l, 8l). // go-specific code shared across loaders (5l, 6l, 8l).
var ( var (
Framepointer_enabled int framepointer_enabled int
Fieldtrack_enabled int Fieldtrack_enabled int
) )
@ -26,14 +26,21 @@ var exper = []struct {
val *int val *int
}{ }{
{"fieldtrack", &Fieldtrack_enabled}, {"fieldtrack", &Fieldtrack_enabled},
{"framepointer", &Framepointer_enabled}, {"framepointer", &framepointer_enabled},
} }
func addexp(s string) { func addexp(s string) {
// Could do general integer parsing here, but the runtime copy doesn't yet.
v := 1
name := s
if len(name) > 2 && name[:2] == "no" {
v = 0
name = name[2:]
}
for i := 0; i < len(exper); i++ { for i := 0; i < len(exper); i++ {
if exper[i].name == s { if exper[i].name == name {
if exper[i].val != nil { if exper[i].val != nil {
*exper[i].val = 1 *exper[i].val = v
} }
return return
} }
@ -44,6 +51,7 @@ func addexp(s string) {
} }
func init() { func init() {
framepointer_enabled = 1 // default
for _, f := range strings.Split(goexperiment, ",") { for _, f := range strings.Split(goexperiment, ",") {
if f != "" { if f != "" {
addexp(f) addexp(f)
@ -51,6 +59,10 @@ func init() {
} }
} }
func Framepointer_enabled(goos, goarch string) bool {
return framepointer_enabled != 0 && goarch == "amd64" && goos != "nacl"
}
func Nopout(p *Prog) { func Nopout(p *Prog) {
p.As = ANOP p.As = ANOP
p.Scond = 0 p.Scond = 0

View file

@ -664,6 +664,8 @@ type Link struct {
Etextp *LSym Etextp *LSym
Errors int Errors int
Framepointer_enabled bool
// state for writing objects // state for writing objects
Text []*LSym Text []*LSym
Data []*LSym Data []*LSym

View file

@ -106,6 +106,7 @@ func Linknew(arch *LinkArch) *Link {
} }
ctxt.Flag_optimize = true ctxt.Flag_optimize = true
ctxt.Framepointer_enabled = Framepointer_enabled(Getgoos(), arch.Name)
return ctxt return ctxt
} }

View file

@ -3765,7 +3765,7 @@ func doasm(ctxt *obj.Link, p *obj.Prog) {
ctxt.Diag("directly calling duff when dynamically linking Go") ctxt.Diag("directly calling duff when dynamically linking Go")
} }
if obj.Framepointer_enabled != 0 && yt.zcase == Zcallduff && p.Mode == 64 { if ctxt.Framepointer_enabled && yt.zcase == Zcallduff && p.Mode == 64 {
// Maintain BP around call, since duffcopy/duffzero can't do it // Maintain BP around call, since duffcopy/duffzero can't do it
// (the call jumps into the middle of the function). // (the call jumps into the middle of the function).
// This makes it possible to see call sites for duffcopy/duffzero in // This makes it possible to see call sites for duffcopy/duffzero in
@ -3784,7 +3784,7 @@ func doasm(ctxt *obj.Link, p *obj.Prog) {
r.Siz = 4 r.Siz = 4
ctxt.AsmBuf.PutInt32(0) ctxt.AsmBuf.PutInt32(0)
if obj.Framepointer_enabled != 0 && yt.zcase == Zcallduff && p.Mode == 64 { if ctxt.Framepointer_enabled && yt.zcase == Zcallduff && p.Mode == 64 {
// Pop BP pushed above. // Pop BP pushed above.
// MOVQ 0(BP), BP // MOVQ 0(BP), BP
ctxt.AsmBuf.Put(bpduff2) ctxt.AsmBuf.Put(bpduff2)

View file

@ -610,7 +610,7 @@ func preprocess(ctxt *obj.Link, cursym *obj.LSym) {
} }
var bpsize int var bpsize int
if p.Mode == 64 && obj.Framepointer_enabled != 0 && autoffset > 0 && p.From3.Offset&obj.NOFRAME == 0 { if p.Mode == 64 && ctxt.Framepointer_enabled && autoffset > 0 && p.From3.Offset&obj.NOFRAME == 0 {
// Make room for to save a base pointer. If autoffset == 0, // Make room for to save a base pointer. If autoffset == 0,
// this might do something special like a tail jump to // this might do something special like a tail jump to
// another function, so in that case we omit this. // another function, so in that case we omit this.

View file

@ -1558,7 +1558,7 @@ func writelines(prev *LSym) *LSym {
if !haslinkregister() { if !haslinkregister() {
offs -= int64(SysArch.PtrSize) offs -= int64(SysArch.PtrSize)
} }
if obj.Framepointer_enabled != 0 { if obj.Framepointer_enabled(obj.Getgoos(), obj.Getgoarch()) {
// The frame pointer is saved // The frame pointer is saved
// between the CFA and the // between the CFA and the
// autos. // autos.

View file

@ -639,11 +639,17 @@ func loadlib() {
// recording the value of GOARM. // recording the value of GOARM.
if SysArch.Family == sys.ARM { if SysArch.Family == sys.ARM {
s := Linklookup(Ctxt, "runtime.goarm", 0) s := Linklookup(Ctxt, "runtime.goarm", 0)
s.Type = obj.SRODATA s.Type = obj.SRODATA
s.Size = 0 s.Size = 0
Adduint8(Ctxt, s, uint8(Ctxt.Goarm)) Adduint8(Ctxt, s, uint8(Ctxt.Goarm))
} }
if obj.Framepointer_enabled(obj.Getgoos(), obj.Getgoarch()) {
s := Linklookup(Ctxt, "runtime.framepointer_enabled", 0)
s.Type = obj.SRODATA
s.Size = 0
Adduint8(Ctxt, s, 1)
}
} else { } else {
// If OTOH the module does not contain the runtime package, // If OTOH the module does not contain the runtime package,
// create a local symbol for the moduledata. // create a local symbol for the moduledata.

View file

@ -434,9 +434,6 @@ func schedinit() {
sched.maxmcount = 10000 sched.maxmcount = 10000
// Cache the framepointer experiment. This affects stack unwinding.
framepointer_enabled = haveexperiment("framepointer")
tracebackinit() tracebackinit()
moduledataverify() moduledataverify()
stackinit() stackinit()
@ -4163,6 +4160,9 @@ func setMaxThreads(in int) (out int) {
} }
func haveexperiment(name string) bool { func haveexperiment(name string) bool {
if name == "framepointer" {
return framepointer_enabled // set by linker
}
x := sys.Goexperiment x := sys.Goexperiment
for x != "" { for x != "" {
xname := "" xname := ""
@ -4175,6 +4175,9 @@ func haveexperiment(name string) bool {
if xname == name { if xname == name {
return true return true
} }
if len(xname) > 2 && xname[:2] == "no" && xname[2:] == name {
return false
}
} }
return false return false
} }

View file

@ -725,7 +725,8 @@ var (
support_avx bool support_avx bool
support_avx2 bool support_avx2 bool
goarm uint8 // set by cmd/link on arm systems goarm uint8 // set by cmd/link on arm systems
framepointer_enabled bool // set by cmd/link
) )
// Set by the linker so the runtime can determine the buildmode. // Set by the linker so the runtime can determine the buildmode.

View file

@ -155,9 +155,6 @@ var stackLarge struct {
free [_MHeapMap_Bits]mSpanList // free lists by log_2(s.npages) free [_MHeapMap_Bits]mSpanList // free lists by log_2(s.npages)
} }
// Cached value of haveexperiment("framepointer")
var framepointer_enabled bool
func stackinit() { func stackinit() {
if _StackCacheSize&_PageMask != 0 { if _StackCacheSize&_PageMask != 0 {
throw("cache size must be a multiple of page size") throw("cache size must be a multiple of page size")