Go语言编程学习笔记----4 并发

4.1 并发基础

在CSP系统中，所有的并发操作都是通过独立线程以异步运行的方式来实现。这些线程必须通过在彼此之间发送消息，从而向另一个线程请求信息或者将信息提供给另一个线程。

4.2 协程

进程（process）、进程内的线程（thread）以及进程内的协程（coroutine，也叫轻量级线程）。与传统的系统级线程和进程相比，协程的最大优势在于其“轻量级”，可以轻松创建上百万个而不会导致系统资源衰竭，而线程和进程通常最多也不能超过1万个。这也是协程也叫轻量级线程的原因。

Go 语言在语言级别支持轻量级线程，叫goroutine。

4.3 goroutine

func Add(x, y int) {
    z := x + y
    fmt.Println(z)
}

并发执行：
go Add(1，1)
在一个函数前加上关键字 go 就会在一个新的goroutine中执行。当被调用的函数返回时，这个goroutine也自动结束了。需要注意的是，如果这个函数有返回值，那么这个返回值会被丢弃。

下面是一个说明协程之间通信的例子：

package main

import "fmt"

func Add(x, y int) {
    z := x + y
    fmt.Println(z)

}

func main() {
    for i := 0; i < 10; i++ {
        go Add(i, i)
    }
}

执行完后什么都没输出，Go程序从初始化main package并执行main()函数开始，当main()函数返回时，程序退出，且程序并不等待其他goroutine（非主goroutine）结束。上面的例子，主函数启动了10个goroutine，然后返回，这时程序就退出了，而被启动的执行Add(i, i)的goroutine没有来得及执行，所以程序没有任何输出。

4.4 并发通信

并发单元间的通信是最大的问题。
在工程上，有两种最常见的并发通信模型：共享数据和消息。

Go语言提供的是另一种通信模型，即以消息机制而非共享内存作为通信方式。

*消息机制认为每个并发单元是自包含的、独立的个体，并且都有自己的变量但在不同并发单元间这些变量不共享。每个并发单元的输入和输出只有一种，那就是消息。这有点类似于进程的概念，每个进程不会被其他进程打扰，它只做好自己的工作就可以了。不同进程间靠消息来通
信，它们不会共享内存。*

Go语言提供的消息通信机制被称为channel，Go语言社区的著名口号：
“==不要通过共享内存来通信，而应该通过通信来共享内存==。”

4.5 channel

channel是Go语言在语言级别提供的goroutine间的通信方式。我们==可以使用channel在两个或多个goroutine之间传递消息==。

==channel是进程内的通信方式==，如果需要跨进程通信，建议用分布式系统的方法来解决，比如使用Socket或者HTTP等通信协议。

==channel是类型相关的==。也就是说，==一个channel只能传递一种类型的值==，这个类型需要在声明channel时指定。

下面一个channel的例子：
channel.go

package main

import "fmt"

func Count(ch chan int) {
    fmt.Println("Counting")
    ch <- 1

}

func main() {
    chs := make([]chan int, 10)
    for i := 0; i < 10; i++ {
        chs[i] = make(chan int)
        go Count(chs[i])
    }
    var result int
    for _, ch := range chs {
        result += <-ch
    }
    fmt.Println(result)
}

定义了一个包含10个channel的数组（chs），每个channel分配给10个不同的goroutine。

在每个goroutine的Add()函数完成后，我们通过ch <- 1语句向对应的channel中写入一个数据。在这个channel被读取前，这个操作是阻塞的。在所有的goroutine启动完成后，我们通过<-ch语句从10个channel中依次读取数据。在对应的channel写入数据前，这个操作也是阻塞的。这样，我们就用channel实现了类似锁的功能，进而保证了所有goroutine完成后主函数才返回。

4.5.1 基本语法

声明：

var chanName chan ElementType

定义：

ch := make(ch int)

channel最常见的包括写入和读出：
写入（发送）：
ch <- value
读出：
value := <-ch

4.5.2 select

select的用法与switch语言非常类似：

select { 
    case <-chan1: 
    // 如果chan1成功读到数据，则进行该case处理语句 
    case chan2 <- 1: 
    // 如果成功向chan2写入数据，则进行该case处理语句 
    default: 
    // 如果上面都没有成功，则进入default处理流程 
}

==select 多个 case 同时满足的话，会随机触发一个==

4.5.3 缓冲机制

对于需要持续传输大量数据创建一个带缓冲的channel：

c := make(chan int, 1024)

从带缓冲的channel中读取数据可以使用与常规非缓冲channel完全一致的方法，也可以使用range关键来实现更为简便的循环读取：

for i := range c{
    fmt.println("Received:", i)
}