第九章 基于共享变量的并发(二)Goroutine和线程

一、动态栈(Growable Stacks)

栈(stack):当前正在被调用或被挂起(旨在调用其他函数)的函数的内部变量(local variables)被存放在栈中。

操作系统(OS)线程 goroutine
类型 固定 动态
大小 通常2MB 2KB~1GB
特征 若线程所需内存较少,会造成浪费,比如需要大量功能简单的线程时线程数量会受到限制;
若需要复杂或深层的递归调用,则可能会不够用。
一般从2KB大小的栈开始生命周期,根据实际需要动态伸缩。


二、Goroutine调度(Scheduling)

OS内核调度

OS线程由OS内核调度,每几毫秒,一个硬件计时器会中断处理器,这会调用(invoke)一个叫scheduler的内核函数进行线程调度

scheduler函数:1. 挂起当前执行的线程并保存其寄存器的内容到内存中;2. 选择出下一个准备执行的线程,从内存中恢复其寄存器的数据,恢复执行该线程的现场并开始执行线程。

缺点:线程的切换需要完整的上下文切换[1](包括 a. 保存一个用户线程的状态到内存;b. 恢复另一个线程的到寄存器;c. 更新调度器的数据结构)。这个操作很慢,因为相关数据在内存中的位置往往较分散(poor locality),需要大量的内存访问。

Go的运行期调度(runtime scheduling)

Go runtime包含自己的scheduler,其使用一种名为m:n调度(m:n scheduling)的技术。

m:n调度(m:n scheduling):在n个OS线程上多工(multiplex)[2]调度m个goroutine

Go runtime的scheduler的工作内容与OS的scheduler是类似的,不过只关注单独(single)Go程序中的goroutines(即某一个Go程序中的goroutine只会与该程序中的其他goroutine交换)。

何时触发调度:不由硬件计时器触发,而是由一些Go语言的结构(constructs)隐式地触发。例如当一个goroutine调用了time.Sleep(),或者被channel或者mutex操作阻塞时,调度器会使其进入休眠并开始执行另一个goroutine。直到Sleep()时间结束或者channel或mutex的阻塞解除后再唤醒第一个goroutine。

关于Go的线程调度是抢占式的还是协同式的:

go在1.4版本加入了抢占式逻辑,之前的版本确实是非抢占式的,1.4以后版本的rutime sysmon会定期唤醒作系统状态检查,即使P处于阻塞的系统调也能被调用,不至于饿死,而且还检查某个G是否过多的占用了的cpu时间,并在某个时刻剥夺其cpu运行时间。[3]

优点:这种调度方式不需要进入内核的上下文,所以调度一个goroutine比调度一个线程代价要低得多


三、GOMAXPROCS

GOMAXPROCS变量

  • 决定会有多少个操作系统的线程同时执行Go的代码(m:n调度中的n)
  • 默认值是CPU的核心数
  • 休眠中或者通信(communication)阻塞中的goroutine不需要对应的系统线程
  • 在被I/O或其他系统调用阻塞时,或调用非Go语言函数时,goroutine是需要一个对应的操作系统线程的,不过GOMAXPROCS不需要考虑这些情况
  • 修改方法:1. 修改环境变量GOMAXPROCS=n;2. 运行时调用runtime.GOMAXPROCS(n)函数

最佳线程数

最佳线程数与CPU核心数的关系并没有定论,得具体情况具体分析,原则是活跃线程数为 CPU(核)数时最佳[4]

介绍CPU时有的会提到n核m线程,这里的m可以理解为CPU中单一核心支持的最大并行(parallel)线程数。

描述CPU时所说的多线程:Intel的超线程(Hyper-threading)[5]技术,旨在充分利用CPU核心中的资源。简言之,假设有两个线程A和B,若A和B都(仅)需要核心中50%的某资源进行运算,则在应用了超线程的核心中,A和B两个线程可以同时进行运算(微观上的并行)。不过使用超线程技术并不一定意味着性能的提升,在一些情况下,性能甚至可能下降[6]


四、Goroutine没有识别符(Identity)

识别符带来的问题

线程的身份信息会使得做一个抽象化的thread-local storage(线程本地存储,多线程编程中不希望其它线程访问的内容)变得很容易,比如一个以线程的id为key的map。而这可能会导致一个函数的行为不是仅由其参数,而还由其运行在的线程所决定

Go鼓励更简单的编程风格

影响函数行为的参数(parameters)都应被显式地指出。这样不仅使程序变得更易读,而且会让我们向一些给定的函数分配子任务时不用担心其身份信息会影响执行结果。





1/16/18


  1. Context Switch

  2. 多工(多路复用)

  3. golang的goroutine调度到底是协作式的还是抢占式的?

  4. 多线程编程时,最佳线程数目与什么有关,核数,还有其他的吗? - Name5566的回答 - 知乎

  5. Hyper-threading

  6. 为什么 Intel 的超线程技术是一个核两条线程,而不是更多? - 不祥之刃的回答 - 知乎

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