Go语言的并发和并行

　　不知道你有没有注意到，这段代码如果我跑在两个goroutines里面的话:

　　

package main



import (

    "fmt"

)



func loop(done chan bool) {

    for i := 0; i < 10; i++ {

        fmt.Print(i)

    }

    done <- true

}



func main() {

    done := make(chan bool)

    go loop(done)

    go loop(done)



    <-done

    <-done



}

他的输出结果： 01234567890123456789

go不是会新起一个goroutine来运行loop函数吗。以前我们用线程去做类似任务的时候，系统的线程会抢占式地输出， 表现出来的是乱序地输出。而goroutine为什么是这样输出的呢？

 

关于并行和并发，下面这张图说明：

 

• 两个队列，一个Coffee机器，那是并发
• 两个队列，两个Coffee机器，那是并行

默认地， Go所有的goroutines只能在一个线程里跑 。

如果当前goroutine不发生阻塞，它是不会让出CPU给其他goroutine的, 所以上面的例子的输出会是一个一个goroutine进行的

 

真正的并行

为了达到真正的并行，runtime.GOMAXPROCS(2)试试看

package main



import (

    "fmt"

    "runtime"

)



func loop(done chan bool) {

    for i := 0; i < 100; i++ {

        fmt.Printf("%d ", i)

    }

    done <- true

}



func main() {

    runtime.GOMAXPROCS(2)

    done := make(chan bool)

    go loop(done)

    go loop(done)



    <-done

    <-done



}

这下会看到两个goroutine会抢占式地输出数据了。我们还可以这样显式地让出CPU时间：

package main



import (

    "fmt"

    "runtime"

)



func loop(done chan bool) {

    for i := 0; i < 100; i++ {

        fmt.Printf("%d ", i)

        runtime.Gosched()  //// 显式地让出CPU时间给其他goroutine

    }

    done <- true

}



func main() {

    // runtime.GOMAXPROCS(2)

    done := make(chan bool)

    go loop(done)

    go loop(done)



    <-done

    <-done



}

总结

我们从例子中可以看到，默认的, 所有goroutine会在一个原生线程里跑

在同一个原生线程里，如果当前goroutine不发生阻塞，它是不会让出CPU时间给其他同线程的goroutines的，这是Go运行时对goroutine的调度，我们也可以使用runtime包来手工调度。

当一个goroutine发生阻塞，Go会自动地把与该goroutine处于同一系统线程的其他goroutines转移到另一个系统线程上去，以使这些goroutines不阻塞