Question

为什么结果与标志“-race”不符合预期？它期望相同的结果：1000000 - 标志“-race”，没有这个

https://gist.github.com/romanitalian/f403ceb6e492eaf6ba953cf67d5a22ff

package main

import (
    "fmt"
    "runtime"
    "sync/atomic"
    "time"
)

//$ go run -race main_atomic.go
//954203
//
//$ go run main_atomic.go
//1000000

type atomicCounter struct {
    val int64
}

func (c *atomicCounter) Add(x int64) {
    atomic.AddInt64(&c.val, x)
    runtime.Gosched()
}

func (c *atomicCounter) Value() int64 {
    return atomic.LoadInt64(&c.val)
}

func main() {
    counter := atomicCounter{}

    for i := 0; i < 100; i++ {
        go func(no int) {
            for i := 0; i < 10000; i++ {
                counter.Add(1)
            }
        }(i)
    }

    time.Sleep(time.Second)
    fmt.Println(counter.Value())
}

Answer 1

结果不一样的原因是因为time.Sleep(time.Second)并不能保证所有的goroutine都会在一秒的时间内执行。即使您执行go run main.go，也不能保证每次都能获得相同的结果。如果您将time.Milisecond代替time.Second，则可以对此进行测试，您会看到更多不一致的结果。

无论你在time.Sleep方法中赋予什么价值，它都不能保证你的所有goroutine都会被执行，这只是意味着你所有的goroutine不太可能无法及时完成。

为了获得一致的结果，您可能需要稍微同步goroutines。您可以使用WaitGroup或渠道。

使用WaitGroup：

//rest of the code above is the same
func main() {
    counter := atomicCounter{}
    var wg sync.WaitGroup
    for i := 0; i < 100; i++ {
        wg.Add(1)
        go func(no int) {
            for i := 0; i < 10000; i++ {
                counter.Add(1)
            }
            wg.Done()
        }(i)
    }

    wg.Wait()
    fmt.Println(counter.Value())
}

有渠道：

func main() {
    valStream := make(chan int)
    doneStream := make(chan int)
    result := 0
    for i := 0; i < 100; i++ {
        go func() {
            for i := 0; i < 10000; i++ {
                valStream <- 1
            }
            doneStream <- 1
        }()
    }

    go func() {
        counter := 0
        for count := range doneStream {
            counter += count
            if counter == 100 {
                close(doneStream)
            }
        }
        close(valStream)
    }()

    for val := range valStream {
        result += val
    }
    fmt.Println(result)
}

为什么结果与标志“-race”不符合预期？

1 个答案: