[翻譯]GO并發模型一:Pipeline和Cancellation

image.png

簡書不維護了,歡迎關注我的知乎:波羅學的個人主頁

這篇文章較長將會分兩篇來翻譯。原文地址:https://blog.golang.org/pipelines

介紹

Go并發模型使構建能有效利用IO和多核CPU的實時流式數據的pipeline非常方便。這篇文章將對此進行介紹,同時會著重強調一些在實踐中的易犯錯誤以及對應的解決方法。

什么是Pipeline

在GO中,pipeline無明確定義;它是語言提供的一種并發編程方式,由連接各個chanel而形成的一系列階段組成。在其各個階段,可能分別運行著很多的goroutine。這些goroutine

  • 從輸入channel接收數據
  • 對數據作相應處理,例如在此基礎上產生新數據
  • 再通過輸出channel把數據發送出去

除了開始和結束,每個階段都會包含任意多個輸入和輸出channel。開始階段只有輸出channel,結束階段只有輸入channel。相應地,開始階段可被稱為生產者,結束階段可被稱為消費者。

我們先通過一個簡單的例子來說明。

并發計算平方數

首先來舉一個三階段pipeline的例子

第一階段,創建輸入參數為可變長int整數的gen函數,它通過goroutine發送所有輸入參數,并在發送完成后關閉相應channel:

func gen(nums ...int) <-chan int {
    out := make(chan int)
    go func() {
        for _, n := range nums {
            out <- n
        }
        close(out)
    }()
    
    reutrn out
}

第二階段,sq函數,負責從輸入channel中接收數據并作平方處理再發送到輸出channel中。在輸入channel關閉并把所有數據都成功發送至輸出channel,關閉輸出channel:

func sq(in <-chan int) <-chan int {
    out := make(chan int)
    go func() {
        for n := range in {
            out <- n * n
        }
        close(out)
    }()

    return out
}

主函數main中創建了pipeline,并執行了最后階段的任務,從管道中接收了第二階段的數據并打印了出來:

func main() {
    // Set up the pipeline
    c := gen(2, 3)
    out := sql(c)

    // Consume the output
    fmt.Println(<-out)
    fmt.Println(<-out)
}

此處sq函數的輸入和輸出參數為相同類型的channel,因此我們可以對其進行組合。重寫main函數,如下:

func main() {
    // Set up the pipeline and consume the output.
    for n := range sq(sq(gen(2, 3))) {
        fmt.Println(n)
    }
}

此處相等于在pipeline中增加了一個階段,即涉及到了三個階段,其中2、3階段的goroutine由同一函數產生。

Fan-out和Fan-in (扇出和扇入)

多個函數可同時從同一個channel中讀取數據,直到channel關閉,稱為fan-out。這為我們提供了一種將任務分發給多個worker的途徑,從而實現CPU和I/O的高效利用。

通過多路復用技術將多個channel合并到單個channel實現從多個輸入讀取數據的能力,只有當所有的輸入都關閉,才會停止數據的讀取。這個稱作 fan-in

重寫之前的main,我們調用兩次sq,且兩次都從同一個channel中讀取數據。我們將引入一個新的函數,通過fan-in方式獲取數據:

func main() {
    in := gen(2, 3)
    
    // Distribute the sq work across two goroutines that both read from in
    c1 := sq(in)
    c2 := sq(in)
    
    // Comsume the merged output from c1 and c2
    for n := range merge(c1, c2) {
        fmt.Println(n)  // 4 then 9, or 9 then 4
    }
}

merge函數通過為每個輸入channel啟動一個goroutine實現將數據發送同一個channel中,從完成將channel列表轉化為單個channel的功能。一旦所有的輸出channel(生產者)啟動,merge就會啟動一或多個goroutine接收所有數據并在結束后關閉對應channel。

在已關閉的channel發送數據會導致panic,因此保證關閉channel前所有數據都發送完畢是非常重要的。sync.WaitGroup為我們提供了一種實現該同步的方式。示例如下:

func merge(cs ...<-chan int) <-chan int {
    var wg sync.WaitGroup
    out := make(chan int)
    
    output := func(c <-chan int) {
        for n := range c {
            out <- n
        }
        
        wg.Done()
    }
    wg.Add(len(cs)
    
    for _, c := range(cs) {
        go output(c)
    }
    
    // Start a goroutine to close out once all the output goroutines are
    // done. This must start after the wg.Add call.
    go func() {
        wg.Wait()
        close(out)
    }()
    
    return out
}

goroutine突然停止

一些使用原則:

  • 在數據發送完畢后,關閉輸出channel;
  • 持續不停地從輸入中接收數據,直到channel關閉;

我們可使用for循環來接收數據,一旦數據所有數據接收完畢將會自動退出。

但在真實場景中,并非所有情況都需要接收完所有的數據。有時設計如此,我們只需一部分的數據并可運行。更常見地,如果輸入早早就拋出了一個錯誤,這時該階段便會早早地退出。還有一些情況,如接收者不再等待數據接收,此時也需停止數據的生產。

在我們的例子中,如果一個階段沒有成功接收完數據就退出,我們的goroutine仍會嘗試發送數據,這將會導致channel進入無限期的阻塞。

func main() {
    // Consume the first value from the output
    out := merge(c1, c2)
    fmt.Println(<-out)
    return
    // Since we didn't receive the second value from out,
    // one of the output goroutine is hung attempting to send it
}

這是資源泄露:goroutine會繼續消耗內存、運行時資源,而且在棧中的堆引用也不能被回收。goroutine必須退出,才能啟動垃圾回收機制。

當下游不能完全接收所有數據時,我們需要準備將上游goroutine退出。一種方式,我們可以把上游的channel設定為一個buffer。當buffer還有空間時,發送操作將會立刻完成。

c := make(chan int, 2)
c <- 1      // succeeds immediately
c <- 2      // succeeds immediately
c <- 3      // blocks until another goroutine does <-c and receives 1

當channel被創建時,如果我們已經知道數據的大小,可以如此來簡化我們的代碼。比如,我們重寫gen函數,拷貝數據到buffer channel中,可以避免創建新的goroutine。

func gen(nums ...int) int {
    out := make(chan int, len(nums))
    for _, n := range nums {
        out <- n
    }
    close(out)
    return out
}

我們可以考慮給merge函數輸出channel指定固定大小空間。

func merge(cs ...<-chan int) <-chan int {
    var wg sync.WaitGroup
    out := make(chan, int, 1)   // enough space for the unread inputs
    // ... the rest is unchanged ...
}

雖然這解決了程序中goroutine阻塞的問題,但并不是好代碼。指定buffer的長度我們需知道merge將接收值的數量。如果下游讀取少量數據便結束,依然會阻塞。

我們需要一種方式,使下游通知上游以表明它們不再接收信息。

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 228,030評論 6 531
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,310評論 3 415
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 175,951評論 0 373
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 62,796評論 1 309
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,566評論 6 407
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 55,055評論 1 322
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,142評論 3 440
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,303評論 0 288
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 48,799評論 1 333
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,683評論 3 354
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 42,899評論 1 369
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,409評論 5 358
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,135評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,520評論 0 26
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,757評論 1 282
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,528評論 3 390
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 47,844評論 2 372