GO 語言中 chan 的理解

来源:https://www.cnblogs.com/orchidzjl/archive/2023/07/03/17523772.html
-Advertisement-
Play Games

GO 語言中 chan 的理解 ### chan 的底層實現是怎麼樣的? > chan 是 Go 語言中的一個關鍵字,用於實現併發通信。chan 可以用於在不同的 goroutine 之間傳遞數據,實現數據的同步和非同步傳輸。 在底層實現上,chan 是通過一個結構體來表示的,這個結構體包含了一個指向 ...


GO 語言中 chan 的理解

chan 的底層實現是怎麼樣的?

chan 是 Go 語言中的一個關鍵字,用於實現併發通信。chan 可以用於在不同的 goroutine 之間傳遞數據,實現數據的同步和非同步傳輸。

在底層實現上,chan 是通過一個結構體來表示的,這個結構體包含了一個指向數據的指針和兩個指向通道的指針。其中,一個指針用於發送數據,另一個指針用於接收數據。

下麵是 chan 的底層實現代碼:

type hchan struct {
    qcount   uint           // 當前隊列中的元素數量
    dataqsiz uint           // 隊列的容量
    buf      unsafe.Pointer // 指向隊列的指針
    elemsize uint16         // 元素的大小
    closed   uint32         // 是否關閉
    elemtype *_type         // 元素的類型
    sendx    uint           // 發送的位置
    recvx    uint           // 接收的位置
    recvq    waitq          // 接收等待隊列
    sendq    waitq          // 發送等待隊列
    lock     mutex          // 鎖
}

chan 的發送和接收操作的底現

當我們向 chan 發送數據時,會先檢查 chan 是否已經關閉。如果 chan 已經關閉,那麼發送操作會直接返回一個 panic。否則,會將數據複製到隊列中,並更新發送位置。

下麵是 chan 發送操作的底層實現代碼:

func chansend(c *hchan, ep unsafe.Pointer, block bool) bool {
    // 檢查 chan 是否已經關閉
    if c.closed != 0 {
        panic("send on closed channel")
    }
    // 計算發送位置
    i := c.sendx
    // 計算隊列中的元素數量
    if c.qcount < c.dataqsiz {
        c.qcount++
    } else {
        // 如果隊列已滿,需要擴容
        grow(c)
    }
    // 更新發送位置
    c.sendx++
    // 將數據複製到隊列中
    qput(c, i, ep)
    return true
}

當我們從 chan 接收數據時,也會先檢查 chan 是否已經關閉。如果 chan 已經關閉並且隊列中沒有數據,那麼接收操作會直接返回一個零值。否則,會從隊列中取出數據,並更新接收位置。

下麵是 chan 接收操作的底層實現代碼:

func chanrecv(c *hchan, ep unsafe.Pointer, block bool) (selected, received bool) {
    // 檢查 chan 是否已經關閉
    if c.closed != 0 && c.qcount == 0 {
        return false, false
    }
    // 計算接收位置
    i := c.recvx
    // 如果隊列中沒有數據,需要阻塞等待
    for c.qcount <= 0 {
        if !block {
            return false, false
        }
        gopark(chanparkcommit, unsafe.Pointer(c), "chan receive", traceEvGoBlockRecv, 1)
    }
    // 從隊列中取出數據
    qget(c, i, ep)
    // 更新接收位置
    c.recvx++
    // 更新隊列中的元素數量
    c.qcount--
    return true, true
}

chan 是如何實現多個 gorouting 併發安全訪問的?

如上 hchan 結構中的 recvq 和 sendq 分別表示接收等待隊列和發送等待隊列,它們的定義如下:

type waitq struct {
    first *sudog // 等待隊列的第一個元素
    last  *sudog // 等待隊列的最後一個元素
}

sudog 表示等待隊列中的一個元素,它的定義如下:

type sudog struct {
    // 等待的 goroutine
    g *g
    // 是否是 select 操作
    isSelect bool
    // 等待隊列中的下一個元素
    next *sudog
    // 等待隊列中的上一個元素
    prev *sudog
    // 等待的元素
    elem unsafe.Pointer
    // 獲取鎖的時間
    acquiretime int64
    // 保留欄位
    release2 uint32
    // 等待的 ticket
    ticket uint32
    // 父 sudog
    parent *sudog
    // 等待鏈表
    waitlink *sudog
    // 等待鏈表的尾部
    waittail *sudog
    // 關聯的 chan
    c *hchan
    // 喚醒時間
    releasetime int64
}

當 chan 的隊列已滿或為空時,當前 goroutine 會被加入到發送等待隊列或接收等待隊列中,並釋放鎖。當另一個 goroutine 從 chan 中取出數據或向 chan 發送數據時,它會重新獲取鎖,並從等待隊列中取出一個 goroutine,將其喚醒。這樣,多個 goroutine 就可以通過等待隊列來實現併發訪問 chan。

sudog 是 Go 中非常重要的數據結構,因為 g 與同步對象關係是多對多的。

一個 g 可以出現在許多等待隊列上,因此一個 g 可能有很多sudog:在 select 操作中,一個 goroutine 可以等待多個 chan 中的任意一個就緒, sudog 中的 isSelect 欄位被用來標記它是否是 select 操作。當一個 chan 就緒時,它會喚醒對應的 sudog,並將其從等待隊列中移除。如果一個 sudog 是 select 操作,它會在喚醒後返回一個特殊的值,表示哪個 chan 就緒了

多個 g 可能正在等待同一個同步對象,因此一個對象可能有許多 sudog:chan 在不同的 gorouting 中傳遞等待

完整的發送和接受方法實現如下:

func chansend(c *hchan, ep unsafe.Pointer, block bool) bool {
    // 獲取 chan 的鎖
    lock(&c.lock)
    // 檢查 chan 是否已經關閉
    if c.closed != 0 {
        unlock(&c.lock)
        panic("send on closed channel")
    }
    // 計算發送位置
    i := c.sendx
    // 計算隊列中的元素數量
    if c.qcount < c.dataqsiz {
        c.qcount++
    } else {
        // 如果隊列已滿,需要將當前 goroutine 加入到發送等待隊列中
        g := getg()
        gp := g.m.curg
        if !block {
            unlock(&c.lock)
            return false
        }
        // 創建一個 sudog,表示當前 goroutine 等待發送
        sg := acquireSudog()
        sg.releasetime = 0
        sg.acquiretime = 0
        sg.g = gp
        sg.elem = ep
        sg.c = c
        // 將 sudog 加入到發送等待隊列中
        c.sendq.enqueue(sg)
        // 釋放鎖,並將當前 goroutine 阻塞
        unlock(&c.lock)
        park_m(gp, waitReasonChanSend, traceEvGoBlockSend, 1)
        // 當 goroutine 被喚醒時,重新獲取鎖
        lock(&c.lock)
        // 檢查 chan 是否已經關閉
        if c.closed != 0 {
            unlock(&c.lock)
            panic("send on closed channel")
        }
        // 從發送等待隊列中取出 sudog
        sg = c.sendq.dequeue()
        if sg == nil {
            throw("chan send inconsistency")
        }
        // 將數據複製到隊列中
        qput(c, i, ep)
    }
    // 更新發送位置
    c.sendx++
    // 釋放鎖
    unlock(&c.lock)
    return true
}
func chanrecv(c *hchan, ep unsafe.Pointer, block bool) (selected, received bool) {
    // 獲取 chan 的鎖
    lock(&c.lock)
    // 檢查 chan 是否已經關閉
    if c.closed != 0 && c.qcount == 0 {
        unlock(&c.lock)
        return false, false
    }
    // 計算接收位置
    i := c.recvx
    // 如果隊列中沒有數據,需要將當前 goroutine 加入到接收等待隊列中
    if c.qcount <= 0 {
        g := getg()
        gp := g.m.curg
        if !block {
            unlock(&c.lock)
            return false, false
        }
        // 創建一個 sudog,表示當前 goroutine 等待接收
        sg := acquireSudog()
        sg.releasetime = 0
        sg.acquiretime = 0
        sg.g = gp
        sg.elem = ep
        sg.c = c
        // 將 sudog 加入到接收等待隊列中
        c.recvq.enqueue(sg)
        // 釋放鎖,並將當前 goroutine 阻塞
        unlock(&c.lock)
        park_m(gp, waitReasonChanReceive, traceEvGoBlockRecv, 1)
        // 當 goroutine 被喚醒時,重新獲取鎖
        lock(&c.lock)
        // 檢查 chan 是否已經關閉
        if c.closed != 0 && c.qcount == 0 {
            unlock(&c.lock)
            return false, false
        }
        // 從接收等待隊列中取出 sudog
        sg = c.recvq.dequeue()
        if sg == nil {
            throw("chan receive inconsistency")
        }
        // 從隊列中取出數據
        qget(c, i, ep)
    } else {
        // 從隊列中取出數據
        qget(c, i, ep)
    }
    // 更新接收位置
    c.recvx++
    // 更新隊列中的元素數量
    c.qcount--
    // 釋放鎖
    unlock(&c.lock)
    return true, true
}


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 內因:隨著之家業務快速發展,公司內部的數字化需求越來越多,信息系統團隊每年都面對大量的需求,但研發側資源是一定的,那麼如何更快速的交付需求,越來越成為團隊重點思考解決的問題。 外因:互聯網技術的不斷推陳出新,尤其以React,Vue為代表的前端技術框架突飛猛進,大幅降低了可視化拖拽操作的技術門檻。... ...
  • ![](https://img2023.cnblogs.com/blog/3076680/202306/3076680-20230628121233652-2011697937.png) # 1. 完全的解耦 ## 1.1. 各台伺服器、層級和應用程式解耦得越徹底,集成點、層疊失效、響應緩慢和線程阻 ...
  • ### 前言 今天在對接阿裡雲OSS對象存儲, 把這過程記錄下來 ### 鏈接 阿裡雲的內容很多,文檔是真的難找又難懂 本文主要是用的PostObject API 加上 Callback參數 PostObject -> [https://help.aliyun.com/document_detail ...
  • 某日二師兄參加XXX科技公司的C++工程師開發崗位第31面: > 面試官:`strcpy`函數使用過吧? > > 二師兄:用過。 > > 面試官:這個函數有什麼作用? > > 二師兄:主要用做字元串複製,將於字元從一個位置複製到另一個位置。 > > 面試官:`strncpy`函數也使用過吧,和`st ...
  • 開源地址:https://gitee.com/chejiangyi/jar-protect 介紹 java 本身是開放性極強的語言,代碼也容易被反編譯,沒有語言層面的一些常規保護機制,jar包很容易被反編譯和破解。 受classfinal(已停止維護)設計啟發,針對springboot日常項目開發, ...
  • # 一. 安裝Go語言開發環境 ## 1. Wondows下搭建Go開發環境 ### (1). 下載SDK工具包 **sdk下載地址為:**[__https://go.dev/dl/__](https://go.dev/dl/) ![](https://tcs-devops.aliyuncs.com ...
  • 前幾天在項目讀取resources目錄下的文件時碰到一個小坑,明明在本地是可以正常運行的,但是一發到測試環境就報錯了,說找不到文件,報錯信息是:class path resource [xxxx] cannot be resolved to absolute file path because it... ...
  • 哈嘍大家好,我是鹹魚 今天我們從幾個方面來比較一些現在流行的兩個 python web 框架——Flask 和 Django,突出它們的主要特性、優缺點和簡單案例 到最後,大家將更好地瞭解哪個框架更適合自己的特定需求 參考鏈接:https://djangocentral.com/flask-vs-d ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...