紧急堆栈跟踪中的未知字段

一尘不染

紧急堆栈跟踪中的未知字段

在尝试学习如何从恐慌中调试堆栈跟踪时，我遇到了一些令人困惑的问题。

package main

func F(a int) {
    panic(nil)
}

func main() {
    F(1)
}

当我在附加的播放链接上运行它时，输出以下内容：

panic: nil

goroutine 1 [running]:
main.F(0x1, 0x10436000)
    /tmp/sandbox090887108/main.go:4 +0x20
main.main()
    /tmp/sandbox090887108/main.go:8 +0x20

我无法解读第二个数字的含义（main.F（0x1，0x10436000）中的0x10436000）。如果有第二个int参数，或者作为第一个参数传递的其他内容，则不会出现（可以在第二个播放链接中看到）。

一个arg：https :
//play.golang.org/p/3iV48xlNFR

两个参数：https：//play.golang.org/p/4jA7ueI86K

阅读 202

2020-07-02

共1个答案

一尘不染

堆栈跟踪中打印的数据是参数，但是值并不直接与传入的参数相对应，它是原始数据，以指针大小的值打印（尽管通常这与本机字大小相同）。游乐场有点独特，因为它是一个带有32位指针（GOARCH=amd64p32）的64位字体系结构。

在traceback.go中，您可以看到通过根据指针大小逐步遍历参数来打印值。

for i := uintptr(0); i < frame.arglen/sys.PtrSize; i++ {

因此，由于单词大小是操场上指针大小的两倍，因此，在帧参数中始终会打印偶数个值。

通过在函数参数中使用较小的类型，可以在操场上看到如何显示数据的另一个示例：https

//play.golang.org/p/vHZDEHQZLh

func F(a uint8) {
panic(nil)
}

// F(1)
// main.F(0x97301, 0x10436000)

仅使用64位字的前8位，即0x97301 & 0x0f或1。第0x97300一个值中的多余0x10436000部分和整个值只是该函数未使用的第一个64位字的其余部分。

amd64通过使用更多参数，您可以在系统上看到相同的行为。例如这个签名；

func F(a, b, c uint32)

通过调用时F(1, 1, 1)，它将打印堆栈跟踪，例如：

main.F(0x100000001, 0xc400000001)

因为3个32位值需要2个字

最后要注意的一组值是返回值，它们也分配在堆栈上。以下功能签名：

func F(a int64) (int, int)

在amd64上，将显示如下堆栈框架参数：

main.F(0xa, 0x1054d60, 0xc420078058)

其中一个代表a，另一个代表(int, int)返回值。但是，返回值未初始化，因此，除了了解为什么存在这些值之外，在这里没有太多收获。

2020-07-02