锐客网

  1. 首页 > 睿知 > it技术 > >

go语言并发库 go语言为什么可以处理高并发( 二 )

IT技术语言


?pwd=v91m 提取码：v91m
简介：本书作者带你一步一步深入这些方法 。你将理解 Go语言为何选定这些并发模型go语言并发库，这些模型又会带来什么问题，
以及你如何组合利用这些模型中go语言并发库的原语去解决问题 。学习那些让你在独立且自信的编写与实现任何规模并发系统时所需要用到的技巧和工具 。
Go语言——goroutine并发模型参考：
Goroutine并发调度模型深度解析手撸一个协程池
Golang 的 goroutine 是如何实现的？
Golang - 调度剖析【第二部分】
OS线程初始栈为2MB 。Go语言中 ， 每个goroutine采用动态扩容方式，初始2KB，按需增长 ， 最大1G 。此外GC会收缩栈空间 。
BTW ， 增长扩容都是有代价的，需要copy数据到新的stack，所以初始2KB可能有些性能问题 。
更多关于stack的内容 ， 可以参见大佬的文章 。聊一聊goroutine stack
用户线程的调度以及生命周期管理都是用户层面，Go语言自己实现的，不借助OS系统调用，减少系统资源消耗 。
Go语言采用两级线程模型 ， 即用户线程与内核线程KSE（kernel scheduling entity）是M:N的 。最终goroutine还是会交给OS线程执行，但是需要一个中介，提供上下文 。这就是G-M-P模型
Go调度器有两个不同的运行队列：
go1.10\src\runtime\runtime2.go
Go调度器根据事件进行上下文切换 。
调度的目的就是防止M堵塞，空闲，系统进程切换 。
详见Golang - 调度剖析【第二部分】
Linux可以通过epoll实现网络调用，统称网络轮询器N（Net Poller） 。
文件IO操作
上面都是防止M堵塞，任务窃取是防止M空闲
每个M都有一个特殊的G ， g0 。用于执行调度，gc，栈管理等任务，所以g0的栈称为调度栈 。g0的栈不会自动增长，不会被gc ， 来自os线程的栈 。
go1.10\src\runtime\proc.go
G没办法自己运行，必须通过M运行
M通过通过调度，执行G
从M挂载P的runq中找到G，执行G
Go CSP并发模型Go的CSP并发模型
Go实现了两种并发形式 。第一种是大家普遍认知的：多线程共享内存 。其实就是Java或者C++等语言中的多线程开发 。另外一种是Go语言特有的 ， 也是Go语言推荐的：CSP（communicating sequential processes）并发模型 。
CSP 是 Communicating Sequential Process 的简称，中文可以叫做通信顺序进程，是一种并发编程模型，由 Tony Hoare 于 1977 年提出 。简单来说，CSP 模型由并发执行的实体（线程或者进程）所组成，实体之间通过发送消息进行通信，这里发送消息时使用的就是通道，或者叫 channel 。CSP 模型的关键是关注 channel，而不关注发送消息的实体 。Go 语言实现了 CSP 部分理论。
“不要以共享内存的方式来通信，相反，要通过通信来共享内存 。”
Go的CSP并发模型，是通过goroutine和channel来实现的 。
goroutine 是Go语言中并发的执行单位 。其实就是协程 。
channel是Go语言中各个并发结构体(goroutine)之前的通信机制 。通俗的讲 ， 就是各个goroutine之间通信的”管道“，有点类似于Linux中的管道 。
Channel
Goroutine
关于go语言并发库和go语言为什么可以处理高并发的介绍到此就结束了，不知道你从中找到你需要的信息了吗 ？如果你还想了解更多这方面的信息，记得收藏关注本站 。

推荐阅读


上一篇：js移动代码是什么，js 移动元素

下一篇：云南gis地图可视化公司，云南gis招聘