从Deadlock报错理解Go_channel机制(二)

上一篇主要讨论了无缓冲信道遭遇死锁的几种情况,这篇文章我们继续讨论信道的另一种类型——缓冲信道(buffered channel)。

基本性质

缓冲信道顾名思义,就是带有缓冲区(buffered)的信道。缓冲区作为数据的临时存储区域,可以作为数据的临时存放空间。初始化如下:

var ch = make(chan int, 1)

make的第二个参数代表缓冲区的长度,也就是说,信道ch在接收到第一个消息的时候不会挂起,它会把消息存到缓冲区中等待接收的goroutine将其提走。如果此时未提走而新的消息到达,信道将会阻塞并挂起。

更详细地举个例子:

func main() {
    ch := make(chan int, 3)
    ch <- 1
    ch <- 2
    ch <- 3
}

在这段代码中,信道ch可以缓存三个数据,在流入一个数据main函数将挂起并返回死锁错误。

缓冲信道和无缓冲信道的一个区别在于,在没有满容量的时候,缓冲信道可以在同一个goroutine中完成数据的传输和提取:

import "fmt"

func main() {
    ch := make(chan int, 3)
    ch <- 1
    ch <- 2
    ch <- 3
    
    fmt.Println(<-ch)
    fmt.Println(<-ch)
    fmt.Println(<-ch)
}

结合前文提到信道的队列属性,这带来的好处是,在未满容量的情况下,缓冲信道可以作为线程安全的队列使用。

信道消息的读取模式

接收信道数据的方式除了一个一个读取(如上示例代码)之外,Go还提供了range关键字:

import "fmt"

func main() {
    ch := make(chan int, 3)
    ch <- 1
    ch <- 2
    ch <- 3
    
    // close(ch)

    for value := range ch {
        fmt.Println(value)
    }
}

然而上述代码在执行完毕后会报deadlock的错误,其原因在于range不会自动检测信道是否干涸(drained),在提取完全部数据后,再次提取会使main函数挂起。解决方案也有两个,第一个是在for循环中设置长度检测,如果信道buffer为空则跳出循环;第二种是在接受完全部数据后关闭信道。这里值得注意的一点是,关闭状态的信道永远不会阻塞。

第二种方法揭示了信道的另一个特性:对于关闭的信道无法再接收新的数据,但是可以尝试提取其中存留的数据。

容量为1的缓冲信道

根据信道的特性我们不难发现,如果将信道容量设置为1,我们可以利用它作为信号量(semaphore)来保护共享变量(shared variable)的线程安全。

// gop1.io/ch9/bank2

var (
    sema = make(chan struct{}, 1)
    balance int
)

func Deposit(amount int) {
    sema <- struct{} // acquire token
    balance = balance + amount
    <- sema // release token
}

func Balance() int {
    sema <- struct{} // acquire token
    b := balance
    <-sema // release token
    return b
}

这种为共享变量加的锁我们称之为二元信号量(binary semaphore)。由于二元信号量十分有用,Go甚至提供了专门的sync库帮助我们更方便地使用锁。上述代码可以改写如下:

import "sync"

var (
    mu sync.Mutex // guards balance
    balance int
)

func Deposit(amount int) {
    mu.Lock()
    balance = balance + amount
    mu.Unlock()
}

func Balance() int {
    mu.Lock()
    defer mu.Unlock()
    
    // maybe more operations here
    
    return balance
}

Balance函数中我们利用defer防止因error或者panic导致锁未解除。

Reference: Donovan, Alan AA, and Brian W. Kernighan. The Go programming language. Addison-Wesley Professional, 2015.

--

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 199,478评论 5 467
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 83,825评论 2 376
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 146,482评论 0 330
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 53,726评论 1 271
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,633评论 5 359
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,018评论 1 275
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,513评论 3 390
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,168评论 0 254
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,320评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,264评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,288评论 1 328
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,995评论 3 315
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,587评论 3 303
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,667评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,909评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,284评论 2 345
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 41,862评论 2 339

推荐阅读更多精彩内容