GO并发基础知识要点

有人把 Go 比作 21 世纪的 C 语言,第一是因为 Go 语言设计简单,第二,21 世纪最重要的
就是并行程序设计,而 GO 从语言层面就支持了并行。

goroutine

goroutine 是 Go 并行设计的核心。goroutine 说到底其实就是线程,但是他比线程更小,十
几个 goroutine 可能体现在底层就是五六个线程,Go 语言内部帮你实现了这些 goroutine
之间的内存共享。执行 goroutine 只需极少的栈内存(大概是 4~5KB),当然会根据相应的数
据伸缩。也正因为如此,可同时运行成千上万个并发任务。goroutine 比 thread 更易用、更高
效、更轻便。

goroutine 是通过 Go 的 runtime 管理的一个线程管理器。goroutine 通过 go 关键字实现了,
其实就是一个普通的函数。

go hello(a, b, c)

通过关键字 go 就启动了一个 goroutine。我们来看一个例子

package main
import (
    "fmt"
    "runtime"
)
func say(s string) {
    for i := 0; i < 5; i++ {
        runtime.Gosched()
        fmt.Println(s)
    }
}
func main() {
    go say("world") //开一个新的 Goroutines 执行
    say("hello") //当前 Goroutines 执行
}

输出:
hello
world
hello
world
hello
world
hello
world
hello

我们可以看到 go 关键字很方便的就实现了并发编程。 上面的多个 goroutine 运行在同一个
进程里面,共享内存数据,不过设计上我们要遵循:不要通过共享来通信,而要通过通信
来共享。
runtime.Gosched()表示让 CPU 把时间片让给别人,下次某个时候继续恢复执行该
goroutine。

默认情况下,调度器仅使用单线程,也就是说只实现了并发。想要发挥多核处理器的并行,
需要在我们的程序中显示的调用 runtime.GOMAXPROCS(n) 告诉调度器同时使用多个线
程。GOMAXPROCS 设置了同时运行逻辑代码的系统线程的最大数量,并返回之前的设置。
如果 n < 1,不会改变当前设置。以后 Go 的新版本中调度得到改进后,这将被移除。这里有
一篇 rob 介绍的关于并发和并行的文章:
http://concur.rspace.googlecode.com/hg/talk/concur.html#landing-slide

channels

goroutine 运行在相同的地址空间,因此访问共享内存必须做好同步。那么 goroutine 之间如
何进行数据的通信呢,Go 提供了一个很好的通信机制 channel。channel 可以与 Unix shell
中的双向管道做类比:可以通过它发送或者接收值。这些值只能是特定的类型:channel 类
型。定义一个 channel 时,也需要定义发送到 channel 的值的类型。注意,必须使用 make
创建 channel:

ci := make(chan int)
cs := make(chan string)
cf := make(chan interface{})

channel 通过操作符<-来接收和发送数据

ch <- v // 发送 v 到 channel ch.
v := <-ch // 从 ch 中接收数据,并赋值给 v

我们把这些应用到我们的例子中来:

package main
import "fmt"
func sum(a []int, c chan int) {
    sum := 0
    for _, v := range a {
        sum += v
    }
    c <- sum // send sum to c
}
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
    fmt.Println(x, y, x + y)
}

默认情况下,channel 接收和发送数据都是阻塞的,除非另一端已经准备好,这样就使得
Goroutines 同步变的更加的简单,而不需要显式的 lock。所谓阻塞,也就是如果读取
(value := <-ch)它将会被阻塞,直到有数据接收。其次,任何发送(ch<-5)将会被阻塞,
直到数据被读出。无缓冲 channel 是在多个 goroutine 之间同步很棒的工具。

Buffered Channels

上面我们介绍了默认的非缓存类型的 channel,不过 Go 也允许指定 channel 的缓冲大小,
很简单,就是 channel 可以存储多少元素。ch:= make(chan bool, 4),创建了可以存储 4 个
元素的 bool 型 channel。在这个 channel 中,前 4 个元素可以无阻塞的写入。当写入第 5 个
元素时,代码将会阻塞,直到其他 goroutine 从 channel 中读取一些元素,腾出空间。

ch := make(chan type, value)
value == 0 ! 无缓冲(阻塞)
value > 0 ! 缓冲(非阻塞,直到 value 个元素)

我们看一下下面这个例子,你可以在自己本机测试一下,修改相应的 value 值

package main
import "fmt"
func main() {
    c := make(chan int, 2)//修改 2 为 1 就报错,修改 2 为 3 可以正常运行
    c <- 1
    c <- 2
    fmt.Println(<-c)
    fmt.Println(<-c)
}

**Range **和 Close

上面这个例子中,我们需要读取两次 c,这样不是很方便,Go 考虑到了这一点,所以也可
以通过 range,像操作 slice 或者 map 一样操作缓存类型的 channel,请看下面的例子

package main
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 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 已经没有任何数据并且已经被关闭。
记住应该在生产者的地方关闭 channel,而不是消费的地方去关闭它,这样容易引起 panic
另外记住一点的就是 channel 不像文件之类的,不需要经常去关闭,只有当你确实没有任
何发送数据了,或者你想显式的结束 range 循环之类的

Select

我们上面介绍的都是只有一个 channel 的情况,那么如果存在多个 channel 的时候,我们
该如何操作呢,Go 里面提供了一个关键字 select,通过 select 可以监听 channel 上的数据
流动。
select 默认是阻塞的,只有当监听的 channel 中有发送或接收可以进行时才会运行,当多
个 channel 都准备好的时候,select 是随机的选择一个执行的。

package main
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 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)。

select {
    case i := <-c:
    // use i
    default:
    // 当 c 阻塞的时候执行这里
}

超时

有时候会出现 goroutine 阻塞的情况,那么我们如何避免整个的程序进入阻塞的情况呢?
我们可以利用 select 来设置超时,通过如下的方式实现:

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
}

runtime goroutine

runtime 包中有几个处理 goroutine 的函数:

Goexit
退出当前执行的 goroutine,但是 defer 函数还会继续调用

Gosched
让出当前 goroutine 的执行权限,调度器安排其他等待的任务运行,并在下次某个时候从
该位置恢复执行。

NumCPU
返回 CPU 核数量

NumGoroutine
返回正在执⾏行和排队的任务总数

GOMAXPROCS用来设置可以运行的 CPU 核数

关键字

break default func interface select
case defer go map struct
chan else goto package switch
const fallthrough if range type
continue for import return var

image.png

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值