diff --git a/zh/02.7.md b/zh/02.7.md index 55dc8cbc..f80d978c 100644 --- a/zh/02.7.md +++ b/zh/02.7.md @@ -9,40 +9,40 @@ goroutine是Go并行设计的核心。goroutine说到底其实就是协程，但 goroutine是通过Go的runtime管理的一个线程管理器。goroutine通过`go`关键字实现了，其实就是一个普通的函数。 ```Go - go hello(a, b, c) +go hello(a, b, c) ``` 通过关键字go就启动了一个goroutine。我们来看一个例子 ```Go - package main +package main - import ( - "fmt" - "runtime" - ) +import ( + "fmt" + "runtime" +) - func say(s string) { - for i := 0; i < 5; i++ { - runtime.Gosched() - fmt.Println(s) - } +func say(s string) { + for i := 0; i < 5; i++ { + runtime.Gosched() + fmt.Println(s) } +} - func main() { - go say("world") //开一个新的Goroutines执行 - say("hello") //当前Goroutines执行 - } +func main() { + go say("world") //开一个新的Goroutines执行 + say("hello") //当前Goroutines执行 +} - // 以上程序执行后将输出： - // hello - // world - // hello - // world - // hello - // world - // hello - // world - // hello +// 以上程序执行后将输出： +// hello +// world +// hello +// world +// hello +// world +// hello +// world +// hello ``` 我们可以看到go关键字很方便的就实现了并发编程。 上面的多个goroutine运行在同一个进程里面，共享内存数据，不过设计上我们要遵循：不要通过共享来通信，而要通过通信来共享。 @@ -57,41 +57,41 @@ goroutine是通过Go的runtime管理的一个线程管理器。goroutine通过`g goroutine运行在相同的地址空间，因此访问共享内存必须做好同步。那么goroutine之间如何进行数据的通信呢，Go提供了一个很好的通信机制channel。channel可以与Unix shell 中的双向管道做类比：可以通过它发送或者接收值。这些值只能是特定的类型：channel类型。定义一个channel时，也需要定义发送到channel的值的类型。注意，必须使用make 创建channel： ```Go - ci := make(chan int) - cs := make(chan string) - cf := make(chan interface{}) +ci := make(chan int) +cs := make(chan string) +cf := make(chan interface{}) ``` channel通过操作符`<-`来接收和发送数据 ```Go - ch <- v // 发送v到channel ch. - v := <-ch // 从ch中接收数据，并赋值给v +ch <- v // 发送v到channel ch. +v := <-ch // 从ch中接收数据，并赋值给v ``` 我们把这些应用到我们的例子中来： ```Go - package main +package main - import "fmt" +import "fmt" - func sum(a []int, c chan int) { - total := 0 - for _, v := range a { - total += v - } - c <- total // send total to c +func sum(a []int, c chan int) { + total := 0 + for _, v := range a { + total += v } + c <- total // send total to c +} - func main() { - a := []int{7, 2, 8, -9, 4, 0} +func main() { + a := []int{7, 2, 8, -9, 4, 0} - c := make(chan int) - go sum(a[:len(a)/2], c) - go sum(a[len(a)/2:], c) - x, y := <-c, <-c // receive from c + c := make(chan int) + go sum(a[:len(a)/2], c) + go sum(a[len(a)/2:], c) + x, y := <-c, <-c // receive from c - fmt.Println(x, y, x + y) - } + fmt.Println(x, y, x + y) +} ``` 默认情况下，channel接收和发送数据都是阻塞的，除非另一端已经准备好，这样就使得Goroutines同步变的更加的简单，而不需要显式的lock。所谓阻塞，也就是如果读取（value := <-ch）它将会被阻塞，直到有数据接收。其次，任何发送（ch<-5）将会被阻塞，直到数据被读出。无缓冲channel是在多个goroutine之间同步很棒的工具。 @@ -99,24 +99,24 @@ channel通过操作符`<-`来接收和发送数据 上面我们介绍了默认的非缓存类型的channel，不过Go也允许指定channel的缓冲大小，很简单，就是channel可以存储多少元素。ch:= make(chan bool, 4)，创建了可以存储4个元素的bool 型channel。在这个channel 中，前4个元素可以无阻塞的写入。当写入第5个元素时，代码将会阻塞，直到其他goroutine从channel 中读取一些元素，腾出空间。 ```Go - ch := make(chan type, value) +ch := make(chan type, value) ``` 当 value = 0 时，channel 是无缓冲阻塞读写的，当value > 0 时，channel 有缓冲、是非阻塞的，直到写满 value 个元素才阻塞写入。 我们看一下下面这个例子，你可以在自己本机测试一下，修改相应的value值 ```Go - package main +package main - import "fmt" +import "fmt" - func main() { - c := make(chan int, 2)//修改2为1就报错，修改2为3可以正常运行 - c <- 1 - c <- 2 - fmt.Println(<-c) - fmt.Println(<-c) - } +func main() { + c := make(chan int, 2)//修改2为1就报错，修改2为3可以正常运行 + c <- 1 + c <- 2 + fmt.Println(<-c) + fmt.Println(<-c) +} //修改为1报如下的错误: //fatal error: all goroutines are asleep - deadlock! ``` @@ -124,28 +124,28 @@ channel通过操作符`<-`来接收和发送数据 上面这个例子中，我们需要读取两次c，这样不是很方便，Go考虑到了这一点，所以也可以通过range，像操作slice或者map一样操作缓存类型的channel，请看下面的例子 ```Go - package main +package main - import ( - "fmt" - ) +import ( + "fmt" +) - func fibonacci(n int, c chan int) { - x, y := 1, 1 - for i := 0; i < n; i++ { - c <- x - x, y = y, x + y - } - close(c) +func fibonacci(n int, c chan int) { + x, y := 1, 1 + for i := 0; i < n; i++ { + c <- x + x, y = y, x + y } + close(c) +} - func main() { - c := make(chan int, 10) - go fibonacci(cap(c), c) - for i := range c { - fmt.Println(i) - } +func main() { + c := make(chan int, 10) + go fibonacci(cap(c), c) + for i := range c { + fmt.Println(i) } +} ``` `for i := range c`能够不断的读取channel里面的数据，直到该channel被显式的关闭。上面代码我们看到可以显式的关闭channel，生产者通过内置函数`close`关闭channel。关闭channel之后就无法再发送任何数据了，在消费方可以通过语法`v, ok := <-ch`测试channel是否被关闭。如果ok返回false，那么说明channel已经没有任何数据并且已经被关闭。 @@ -159,66 +159,66 @@ channel通过操作符`<-`来接收和发送数据 `select`默认是阻塞的，只有当监听的channel中有发送或接收可以进行时才会运行，当多个channel都准备好的时候，select是随机的选择一个执行的。 ```Go - package main +package main - import "fmt" +import "fmt" - func fibonacci(c, quit chan int) { - x, y := 1, 1 - for { - select { - case c <- x: - x, y = y, x + y - case <-quit: - fmt.Println("quit") - return - } +func fibonacci(c, quit chan int) { + x, y := 1, 1 + for { + select { + case c <- x: + x, y = y, x + y + case <-quit: + fmt.Println("quit") + return } } +} - func main() { - c := make(chan int) - quit := make(chan int) - go func() { - for i := 0; i < 10; i++ { - fmt.Println(<-c) - } - quit <- 0 - }() - fibonacci(c, quit) - } +func main() { + c := make(chan int) + quit := make(chan int) + go func() { + for i := 0; i < 10; i++ { + fmt.Println(<-c) + } + quit <- 0 + }() + fibonacci(c, quit) +} ``` 在`select`里面还有default语法，`select`其实就是类似switch的功能，default就是当监听的channel都没有准备好的时候，默认执行的（select不再阻塞等待channel）。 ```Go - select { - case i := <-c: - // use i - default: - // 当c阻塞的时候执行这里 - } +select { +case i := <-c: + // use i +default: + // 当c阻塞的时候执行这里 +} ``` ## 超时 有时候会出现goroutine阻塞的情况，那么我们如何避免整个程序进入阻塞的情况呢？我们可以利用select来设置超时，通过如下的方式实现： ```Go - func main() { - c := make(chan int) - o := make(chan bool) - go func() { - for { - select { - case v := <- c: - println(v) - case <- time.After(5 * time.Second): - println("timeout") - o <- true - break - } +func main() { + c := make(chan int) + o := make(chan bool) + go func() { + for { + select { + case v := <- c: + println(v) + case <- time.After(5 * time.Second): + println("timeout") + o <- true + break } - }() - <- o - } + } + }() + <- o +} ``` ## runtime goroutine