并发编程概述
一个进程可以包含多个线程,这些线程运行的一定是同一个程序(进程==程序),且都由当前进程中已经存在的线程通过系统调用的方式创建出来。进程是资源分配的基本单位,线程是调度运行的基本单位,线程不可独立于进程存在。
所有线程都有自己的线程栈,以此存放自己的私有数据(包含在进程的虚拟内存地址中)。一个进程中的很多资源也会被线程所共享,包括在当前进程虚拟内存地址中存放的代码段、数据段、堆、信号处理函数、文件描述符(非负整数)。正因如此,创建一个线程时不会像创建一个进程时那样耗费资源,因为其大多数资源都因共享而无需被复制。
什么是协程?
Go 语言线程模型
Go 语言本身是为并发而打造的语言。那它的线程模型是怎么样的呢?
传统是怎么处理是这样的,把数据放到共享内存,给多线程使用,这个方式是不是看上去非常简单,但是在并发访问的控制上就变的很复杂。
Go 语言的是这么处理的,它不推荐用共享内存的方式传递数据,它推荐使用 channel。channel主要用来在多个 Go 语句片段之前传递数据,这样做还会保证并发的安全性。不过 Go 还是保留了传统的方法(互斥量、条件变量等)。
了解 Go 的线程模型之前,我们需要知道 Go 的核心元素,它们支撑起了这个模型的主框架。
参数 | 说明 |
---|---|
M(machine) | 一个M对应一个内核线程。 |
P(processor) | 一个P代表执行一个Go代码片段必需的资源。 |
G(goroutine) | 一个G代表Go代码片段。 |
Go 语言 Channel 通道
在 Go 语言中管道类似于一个数据流,每次放入或者取出一部分数据,数据取出后原通道内的数据就删除掉,在linux操作系统中管道会将函数的返回结果作为下一个函数的参数
channel 产生背景
线程之间进行通信的时候,会因为资源的争夺而产生竟态问题,为了保证数据交换的正确性,必须使用互斥量给内存进行加锁,Go 语言并发的模型是 CSP,提倡通过通信共享内存,而不是通过共享内存而实现通信,通道恰巧满足这种需求。
channel 工作方式
channel 类似与一个队列,满足先进先出的规则,严格保证收发数据的顺序,每一个通道只能通过固定类型的数据。如果通道进行大型结构体、字符串的传输,可以将对应的指针传进去,尽量的节省空间