zoukankan      html  css  js  c++  java
  • Go协程、并发、信道

    Go 通过协程实现并发,协程之间靠信道通信

    1.1 并发、并行是什么?

    • 并行其实很好理解,就是同时执行的意思,在某一时间点能够执行多个任务。
      想达到并行效果,最简单的方式就是借助多线程或多进程,这样才可在同一时刻执行多个任务。单线程是永远无法达到并行状态的。例,"合作并行开发某个项目"
    • 并发是在某一时间段内可以同时处理多个任务。我们通常会说程序是并发设计的,也就是说它允许多个任务同时执行,这个同时指的就是一段时间内。单线程中多个任务以间隔执行实现并发。例,我边听歌边写代码。

    并行是指两个或者多个事件在同一时刻发生;而并发是指两个或多个事件在同一时间间隔内发生。

    多线程或多进程是并行的基础,但单线程也通过协程实现了并发。

    1.2 go协程是什么?

    Go 协程是与其他函数或方法一起并发运行的函数或方法。Go 协程可以看作是轻量级线程。与线程相比,创建一个 Go 协程的成本很小。因此在 Go 应用中,常常会看到有数以千计的 Go 协程并发地运行。
    Go 创建一个协程非常简单,只要在方法或函数调用之前加关键字 go 即可。

    // 匿名协程
    go func(){
    }
    

    1.3 Go 协程相比于线程的优势

    • 相比线程而言,Go 协程的成本极低。堆栈大小只有若干 kb,并且可以根据应用的需求进行增减。而线程必须指定堆栈的大小,其堆栈是固定不变的。
    • Go 协程会复用(Multiplex)数量更少的 OS 线程。即使程序有数以千计的 Go 协程,也可能只有一个线程。如果该线程中的某一 Go 协程发生了阻塞(比如说等待用户输入),那么系统会再创建一个 OS 线程,并把其余 Go 协程都移动到这个新的 OS 线程。所有这一切都在运行时进行,作为程序员,我们没有直接面临这些复杂的细节,而是有一个简洁的 API 来处理并发。
    • Go 协程使用信道(Channel)来进行通信。信道用于防止多个协程访问共享内存时发生竞态条件(Race Condition)。信道可以看作是 Go 协程之间通信的管道。

    1.4 信道

    1.4.1 声明信道

    var c chan int          // 方式一,为nil,不能发送也不能接受数据
    c := make(chan int)    // 方式二,可用
    

    channel底层实现参考
    channel是一个带缓冲,包含两个双向链表,分别是接受,发送消息。

    1.4.2 信道使用[无缓冲信道]

    c := make(chan int) // 写数据
    c <- data
    
    // 读数据
    variable <- c  // 方式一
    <- c              // 方式二,读出来的数据丢弃不使用
    

    信道操作默认是阻塞的,往信道里写数据之后当前协程便阻塞,直到其他协程将数据读出。
    一个协程被信道操作阻塞后,Go 调度器会去调用其他可用的协程,这样程序就不会一直阻塞。

    func printHello(c chan bool) {
         fmt.Println("hello world goroutine")
         <- c    // 读取信道的数据
     }
    
     func main() {
         c := make(chan bool)
         go printHello(c)
         c <- true    // main 协程阻塞
        fmt.Println("main goroutine")
    

    输出

    hello world goroutine
    main goroutine
    

    1.4.3 死锁

    前面提到过,读/写数据的时候信道会阻塞,调度器会去调度其他可用的协程。问题来了,如果没有其他可用的协程会发生什么情况?没错,就会发生著名的死锁。
    最简单的情况就是,只往信道写数据。只读不写也会报同样的错误。

    fatal error: all goroutines are asleep - deadlock!

    1.4.4 关闭信道与 for loop

    val, ok := <- channel
    val 是接收的值,ok 标识信道是否关闭。为 true 的话,该信道还可以进行读写操作;为 false 则标识信道关闭,数据不能传输。
    使用内置函数 close() 关闭信道。

    使用 for range 读取信道,信道关闭,for range 自动退出。
    使用 for range 一个信道,发送完毕之后必须 close() 信道,不然发生死锁。

    func printNums(ch chan int) {
         for i := 0; i < 4; i++ {
             ch <- i
         }
         close(ch)
     }
    
     func main() {
         ch := make(chan int)
        go printNums(ch)
    
        for v := range ch {
            fmt.Println(v)
        }
    }
    

    输出

    1   0
    2   1
    3   2
    4   3
    

    1.4.5 缓冲信道和信道容量

    func main() {
         ch := make(chan int,3)
    
         ch <- 7
         ch <- 8
         ch <- 9
         //ch <- 10
         // 注释打开的话,协程阻塞,发生死锁
         会发生死锁:信道已满且没有其他可用信道读取数据
    
        fmt.Println("main stopped")
    }
    

    1.4.6 单向信道

    之前创建的都是双向信道,既能发送数据也能接收数据。我们还可以创建单向信道,只发送或者只接收数据。
    语法:

    rch 是只发送信道,sch 是只接受信道。

    rch := make(<-chan int)
    sch := make(chan<- int)
    

    这种单向信道有什么用呢?我们总不能只发不接或只接不发吧。这种信道主要用在信道作为参数传递的时候,Go 提供了自动转化,双向转单向

    1.4.7 注意

    链接参见

    读写nil通道都会死锁

    // 读nil通道:
    
    var dataStream chan interface{}
    
    <-dataStream
    
    // 写nil通道:
    
    var dataStream chan interface{}
    
    dataStream <- struct{}{}
    
    //都会死锁:
    

    fatal error: all goroutines are asleep - deadlock!

    close 值为nil的channel会panic:

    var dataStream chan interface{}
    
    close(dataStream)
    
    

    panic: close of nil channel

    1.4.8 Select

    select 可以安全的将channels与诸如取消、超时、等待和默认值之类的概念结合在一起。
    select看起来就像switch 包含了很多case,然而与switch不同的是:select块中的case语句没有顺序地进行测试,如果没有满足任何条件,执行不会自动失败,如果同时满足多个条件随机执行一个case。
    类似witch
    1、case分支中必须是一个IO操作:
    2、当case分支不满足监听条件,阻塞当前case分支
    3、如果同时有多个case分支满足,select随机选定一个执行(select底层实现,case对应一个Goroutine),
    4、一次select监听,只能执行一个case分支,未执行的分支将被丢弃。通常将select放于for循环中。
    5、default在所有case均不满足时,默认执行的分组,为了防止忙轮询,通常将for中select中的default省略。

    【结论】使用select的Goroutine,与其他Goroutine间才用异步通信。

  • 相关阅读:
    BZOJ_2460_[BeiJing2011]元素_线性基
    BZOJ_4448_[Scoi2015]情报传递_主席树
    BZOJ_4004_[JLOI2015]装备购买_线性基
    BZOJ_3110_[Zjoi2013]K大数查询_整体二分+树状数组
    BZOJ_4128_Matrix_矩阵乘法+哈希+BSGS
    BZOJ_4378_[POI2015]Logistyka_树状数组
    BZOJ_2527_[Poi2011]Meteors_整体二分
    BZOJ_2738_矩阵乘法_整体二分
    BZOJ_3687_简单题_bitset
    HDU 4501
  • 原文地址:https://www.cnblogs.com/ExMan/p/12264120.html
Copyright © 2011-2022 走看看