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不阻塞