目录
- 进程、线程与协程
- 并发模模型介绍
- GO并发编程介绍
进程、线程与协程
进程和线程
- 进程是程序在操作系统中的一次执行过程,系统进行资源分配和调度的一个独立单位
- 线程是进程的一个执行实体,是CPU调度和分派的基本单位,它是比进程更小的能独立运行的基本单位
- 一个进程能创建和撤销多个线程;同一进程中多个线程之间可以并发执行
并发和并行
- 多线程程序在一个核的CPU上运行,就是并发
- 多线程程序在多个核的cpu上运行,就是并行
协程和线程
- 协程:独立的栈空间,共享堆空间,调度由用户自己控制,本质上类似于用户级线程,这些用户级线程的调度也是自己实现(goroutine)
- 线程:一个线程上可以跑多个协程,协程是轻量级的线程
并发编程模式
传统的并发编程
传统的多线程编程实际上是使用的ShreadMemory的方式来推动程序的前进,我们认为每new一个thread的方式就是共享内存,我们可理解为:有并发的地方就有竞争,传统多线程的并发模式使用locks(锁),condition variable(条件变量)等同步原语来强制规定了进程的推进顺序,而这些同步原语本质上都是使用了在各个线程都可见的锁来实现,有一种全局变量的味道。
CSP并发模型
CSP模型是上个世纪七十年代提出的,用于描述两个独立的并发实体通过共享的通讯 channel(管道)进行通信的并发模型。它由并发执行实体(进程,线程或协程),和消息通道组成,实体之间通过消息通道发送消息进行通信。CSP 模型关注的是消息发送的载体,即通道,而不是发送消息的执行实体。
CSP:全称Communicating Sequential Processes ,翻译成中文是顺序通信进程。
Go 语言的并发模型参考了 CSP 理论,其中执行实体对应的是 goroutine, 消息通道对应的就是 channel。
GO并发编程
概述
goroutine 奉行通过通信来共享内存,而不是共享内存来通信。go依赖于称为CSP的并发模型。CSP模式中的process是在go语言上的表现就是 goroutine 是实际并发执行的实体,每个实体之间是通过channel通讯来实现数据共享 。
goroutine底层是使用协程(coroutine)实现并发,main函数本身也是一个goroutine。
goroutine
创建一个Gorountine
package main
import "fmt"
func pringHello() {
fmt.Println("Hello world!")
}
func main() {
fmt.Printf("main execution stated")
//创建了一个go routine
go pringHello()
fmt.Printf("main execution stopped")
}
channel
goroutine之间经常需要进行通信,管道channel就是goroutine之间的通信连接,它可以让一个goroutine发送特定值到另一个goroutine的通信机制。每一个管道都有具体类型,这叫做管道的元素类型,它规定了通过这个管道能发送和接收的数据类型。
channel特点
- 类似unix中管道(pipe)
- 先进先出
- 线程安全
- 线程安全,多个goroutine同时访问,不需要加锁