以前出现panic问题,我们会习惯通过日志给出的代码行,在对比数据分析问题,
如果推断不出来,我们会多加日志,重新panic,再继续定位。
如果打印了很多堆栈日志,但是日志信息不够怎么办,我们总不能加日志等下次重现后再定位吧?
这样定位bug的工作效率特别低,所以我们可以仔细阅读堆栈日志,结合打印的日志快速定位bug。
在阅读堆栈日志时,可能我们会疑惑:
为什么定义是这样: func TestStack(slice []string, str string, i int)日志分析
分析必备
1. panic日志中,打印出来的确实是输入参数的值,如果函数有返回值,返回值也会打印。
2.但实际上是以字长word去打印的(word:操作系统处理信息的基本单位)
3.而每个参数占多少word,又和参数类型有关。
类型与字长
golang中基本类型如int、char、byte等的字长和C语言一致,不再展开,
下面列举常用的几个:
1.指针占一个word;
2.string占两个word(一个指向不可变字符数组指针,一个string的长度);
3.切片占三个word(一个指向底层数组指针,一个切片长度,一个切片容量)
4,接口占两个word(一个指向实际类型指针,一个指向数据的指针)
堆栈分析
现在我们就解释panic信息
func TestStack(slice []string, str string, i int)
main.TestStack(0xc00010ff38, 0x2, 0x4, 0xabcac1, 0x5, 0xa)
E:/go-workstation/golangsutdy/stack-tace/main.go:20 +0x65
第一个参数是[]string,因为切片类型占3个word,所以
slice := make([]string,2,4)
切片实际值:
Pointer: 0xc00010ff38
Length: 0x2
Capacity: 0x4
第二个参数是str string, 因为string占两个word,所以
Pointer: 0xabcac1
Length: 0x5
第三个参数是i int,因为int占一个work,所以
0xa i=10
函数有返回值
这里增加一个有返回值的函数Fun2:
func TestSt2(slice []string, str string, i int) ( *int, error)
再看TestSt2的日志信息:
main.TestSt2(0xc00010ff38, 0x2, 0x4, 0x66dac1, 0x5, 0xa, 0x1056c1d, 0xc000078f88, 0x1004c30)
E:/go-workstation/golangsutdy/stack-tace/main.go:32 +0x60
对比 TestStack的日志信息发现,TestSt2增加了0x1056c1d, 0xc000078f88, 0x1004c30三个值,其中:
*int是指针占一个word,对应是0x1056c1d,
error是interface,占两个word,对应0xc000078f88, 0x1004c30
函数到方法
上述的TestStack改成如下方式并调用
type trace struct{} func main() { slice := make([]string, 2, 4) var t trace t.TestStack(slice, "hello", 10) } func (t *trace) TestStack(slice []string, str string, i int) { fmt.Printf("Receiver Address: %p\n", t) panic("Want stack trace") }
修改前后堆栈日志对比
//修改前
main.TestStack(0xc00010ff38, 0x2, 0x4, 0xabcac1, 0x5, 0xa)
E:/go-workstation/golangsutdy/stack-tace/main.go:20 +0x65//修改后
main.(*trace).TestStack(0x83cde0, 0xc00010ff38, 0x2, 0x4, 0x75ea41, 0x5, 0xa)
E:/go-workstation/golangsutdy/stack-tace/main.go:15 +0xaf
由上可知,两者唯一差别,func (t *trace) TestStack堆栈的第一个是t的地址,其他和func TestStack一致。
参数packing
前面说了,堆栈参数是以word为单位打印的,那如果参数不够word长度呢,如bool,char等?还是请看下文:
func main() { Example(true, false, true, 25) } func Example(b1, b2, b3 bool, i uint8) { defer func() { err := recover() if err != nil { stackStr := string(debug.Stack()) fmt.Println(stackStr) } }() panic("Want stack trace") }
堆栈日志:
main.Example(0xc019010001)
E:/go-workstation/golangsutdy/stack-tace/main.go:19 +0x65
很明显b1,b2,b3,i占了一个word,对应0xc019010001,这个就是参数packing
0xc019010001每一位都是16进制,拆开来看
19 --> 1*16+9*1 = 25
01 --> 1
00 --> 0
01 --> 1