首页 > 解决方案 > 包“fmt”运行时问题

问题描述

我遇到了一个看起来很简单但我无法重现的问题,因此我无法解释。

这个问题发生在生产中,神秘的是它很少发生(这就是我无法重现它的原因),这可能是我无法举例说明的一个因素,但这里是上下文:

type MyType struct {
    Field1 string
    Field2 int
    Field3 time.Time
    Field4 []float64
    // No pointers fields
}

func main() {
    var MyChan = make(chan interface{})

    go func() {
// This routine is reading and parsing messages from a WS dial and writing it in a channel
// There is 2 only possible answer in the channel : a string, or a "MyType" like (with more fields, but no pointers in)     
        var Object MyType
        Object.Field1 = "test"
        // ..

        MyChan <- Object
    }()

    go func() {
// This routine is sending a message to a WS dial and wait for the answer in a channel fed by another routine :
        var Object interface{}
        go func(Get *interface{}) {
            *Get = <- MyChan
        } (&Object)
        for Object == nil {
            time.Sleep(time.Nanosecond * 1)
        }
        log.Println(fmt.Sprint(Object)) // Panic here from the fmt.Sprint() func
    }()
}

恐慌堆栈跟踪:

runtime error: invalid memory address or nil pointer dereference
panic(0x87a840, 0xd0ff40)
    X:/Go/GoRoot/src/runtime/panic.go:522 +0x1b5
reflect.Value.String(0x85a060, 0x0, 0xb8, 0xc00001e500, 0xc0006f1a80)
    X:/Go/GoRoot/src/reflect/value.go:1781 +0x45
fmt.(*pp).printValue(0xc006410f00, 0x85a060, 0x0, 0xb8, 0x76, 0x1)
    X:/Go/GoRoot/src/fmt/print.go:747 +0x21c3
fmt.(*pp).printValue(0xc006410f00, 0x8ed5c0, 0x0, 0x99, 0x76, 0x0)
    X:/Go/GoRoot/src/fmt/print.go:796 +0x1b52
fmt.(*pp).printArg(0xc006410f00, 0x8ed5c0, 0x0, 0x76)
    X:/Go/GoRoot/src/fmt/print.go:702 +0x2ba
fmt.(*pp).doPrint(0xc006410f00, 0xc0006f22a0, 0x1, 0x1)
    X:/Go/GoRoot/src/fmt/print.go:1147 +0xfd
fmt.Sprint(0xc0006f22a0, 0x1, 0x1, 0x0, 0x0)
    X:/Go/GoRoot/src/fmt/print.go:250 +0x52

Go 版本:1.12.1 windows/amd64

感谢您的时间,我希望有人可以向我解释什么是错的。

标签: goruntimepanic

解决方案


你在这里有一个数据竞赛:

    var Object interface{}
    go func(Get *interface{}) {
        *Get = <- MyChan
    } (&Object)
    for Object == nil {
        time.Sleep(time.Nanosecond * 1)
    }

写入变量的 goroutineObject没有使用锁:它从通道接收,当它得到一个值时,它把它写入*Getwhere Get == &Object,这样它就写入了 的接口值Object

同时,运行循环的 goroutinefor从 读取Object,检查 nil-ness。它在不使用锁的情况下读取,因此它可以读取部分写入的值。

实际发生的是,部分写入的值不是零,没有设置整个值。所以for循环停止循环,代码进入下一行:

    log.Println(fmt.Sprint(Object)) // Panic here from the fmt.Sprint() func

由于Object只写了一部分,访问它的值会产生不可预知的结果——但在这种情况下,它会产生恐慌。(特别是接口的type字段已经设置,但是value字段仍然为零。实际的 panic 来自于这一行src/reflect/value.go

               return *(*string)(v.ptr)

没有v.ptr设置。)

目前尚不清楚为什么要记录该值,也不清楚为什么要使用共享内存进行通信,但是如果这样做,则需要锁定。不这样做通常更明智。另请参阅解释的答案:不要通过共享内存进行通信;通过交流共享内存

(或者,更简单地说,为什么不直接使用Object := <-MyChan来代替整个 goroutine-and-spin?)


推荐阅读