我的编程空间,编程开发者的网络收藏夹
学习永远不晚

Golang并发编程深入分析

短信预约 -IT技能 免费直播动态提醒
省份

北京

  • 北京
  • 上海
  • 天津
  • 重庆
  • 河北
  • 山东
  • 辽宁
  • 黑龙江
  • 吉林
  • 甘肃
  • 青海
  • 河南
  • 江苏
  • 湖北
  • 湖南
  • 江西
  • 浙江
  • 广东
  • 云南
  • 福建
  • 海南
  • 山西
  • 四川
  • 陕西
  • 贵州
  • 安徽
  • 广西
  • 内蒙
  • 西藏
  • 新疆
  • 宁夏
  • 兵团
手机号立即预约

请填写图片验证码后获取短信验证码

看不清楚,换张图片

免费获取短信验证码

Golang并发编程深入分析

Go 协程和普通线程对比

Go 拥有极强的并发编程能力,而 Go 并发编程强势原因,一部分原因是因为语法简单 ,还有一个更核心的原因是 Go 中协程 goroutine (用户态线程)的存在。

在 Go 中 goroutine 是比普通线程(内核态线程)更加轻量化的存在。

内核级线程(线程)

内核态线程简称线程,是在内核中维护了线程表进行跟踪监控的线程。是 CPU 调度和分派的基本单位,是具备进程某些属性,能够独立运行的更小单位,所以也称为轻量级进程。

如果使用内核态线程在一个 CPU 上实现任务的并发,那么 CPU 会通过分配时间片的方式去执行任务,当正在运行的任务所分配的时间片用完了,就会切换到另一个任务,而在切换的之前会保存当前任务的状态(CPU寄存器、程序计数器中的内容),当下次再次切换到这个任务之前就会先加载之前保存到任务状态,这个过程称作上下文切换。

而在上下文切换的过程该线程会从用户态转为内核态,加载时再由内核态转为用户态。而用户态和内核态切换的代价是很高的,从用户态到内核态的切换比较耗费资源的,而且内核资源是很珍贵的,所以内核态线程过多时,可能会出现内核资源耗尽的情况。

线程优点

  • 多核 CPU 利用 :内核具有0级权限,因此可以在多个 CPU 上执行内核线程
  • 操作系统级优化:线程之间是相对独立的,一个线程阻塞不会影响其他线程的执行。内核态线程在进行你 IO 操作时不需要进行系统调用 。

线程缺点

  • 创建的时候需要切换到内核态,所以创建成本比较高。
  • 切换的时候,需要用户态和内核态之间频繁的切换,切换成本较高。
  • 线程数量有限制,当内核态线程过多时,会出现内核资源耗尽的情况。

用户级线程(协程)

用户态线程简称协程,是完全由用户控制的线程,内核并不会感知到它的存在,用户级线程的创建、销毁、调度、状态变更以及其中的代码和数据都完全需要我们的程序自己去实现和处理。因为是存在在用户空间上的线程,所以在切换时不存在用户态和内核态的转换。

协程优点

  • 不由内核管理,由用户自主管理,创建成本比较低。
  • 不存在内核态和用户态的切换,切换成本比较低。
  • 不需要操作系统去调度,所以可以跨操作系统,并且更加灵活、更容易控制。

协程缺点

  • 因为操作系统的内核看不到协程,所以同属于一个进程的协程只能占有一个核,不能发挥多核优势。
  • 操作系统不能主动调度协程,所以后面的协程只能等待前面的写成执行完才能获取到 CPU 资源。
  • 同上,当前协程阻塞会导致后面的写成无法执行。内核协作成本高,当要进行一些高权限的操作,比如读写文件时,需要频繁地进行用户态和内核态的切换。

调度器(GPM)

GPM 是 Go 语言运行时系统的重要组成部分

其中 G 代表 goroutine 即协程,M 代表 machine 即系统线程、P 代表 Proccessor 代表写成和线程之间的联系

简单点理解就是:

G 是要被执行的任务实例

M 是实际的执行载体,需要绑定 P 成为一个执行单元才能调度 G

P 可以看作是任务处理器,P 中保存 M 执行 G 时的一些资源,P 决定了哪个 G 能配分配到哪个 M 上

G\P\M 之间的工作关系

G 要调度到 M 上才能运行,M 需要关联 P 才可以执行 Go 代码,但当处理阻塞或系统调用中时,M 可以不用关联 P

当进程启动时,会创建若干个(一般是内核数量)系统线程 M 和任务处理器 P,并一一绑定,因为一个线程对应一个 CPU 就不会出现上下文的切切换,能更大限度的节省资源。同时每一个任务处理器 P 都会对应一个私有的任务队列,但是私有队列有上限的,所以所有任务处理器还会有一个公用的全局队列。

当有一个 G 被创建时,就会被放到一个任务处理器 P 的私有队列中等待被调度。如果所有的私有队列都满了,就会被放到全局队列中去。当 P 寻找 G 的时候,会先从自己的私有队列中寻找,如果没找到,再去全局队列中寻找,如果还是没有,它会去抢别的 P 中的 G。当任何地方都不能找到需要调度的 G 时,M 和 P 则会断开连接。

当 G 中进行了系统调用,则 M 也会进入系统调用状态,此时 P 会去寻找其他未在工作的 M 并为其寻找需要调度的任务。当 G 完成了系统调用,会进入空闲的私有队列或者全局队列,然后等待再次被调度。

所以,G、M 之间没有直接的联系,一个 G 可能被不同的 M 调度,一个 M 也可以调度不同的 G。

Go 使用协程

创建协程

通过关键字 go 创建一个协程

一:普通函数创建

func goroutineTest(i int) {
	fmt.Println(i)
}
func main() {
	for i := 0; i < 10; i++ {
		go goroutineTest(i)
	}
	time.Sleep(time.Millisecond * 500)
}

二:匿名函数创建

func main() {
	for i := 0; i < 10; i++ {
		go func() {
			fmt.Println(i)
		}()
	}
	time.Sleep(time.Millisecond * 500)
}

三:匿名带参数函数创建

func main() {
	for i := 0; i < 10; i++ {
		go func(str string) {
			fmt.Println(str)
		}(fmt.Sprintf("%s%d", "s", i))
	}
	time.Sleep(time.Millisecond * 500)
}

注意

一:主协程不会等待子协程执行完毕

以下列代码为例,一般来说控制台不会打印任何东西。原因是当代码运行到 go goroutineTest(i) 这一行时,并不是真正的会运行它,而是将它放到了任务队列中。所以可能子协程还没开始执行,主协程就已经退出了。所以我们可以再主协程加上等待。

func goroutineTest(i int) {
	fmt.Println(i)
}
func main() {
	for i := 0; i < 10; i++ {
		go goroutineTest(i)
	}
	time.Sleep(time.Millisecond * 500)
}

二:协程的执行没有顺序

同上,当写成创建是,并不是立即执行,而是被分到不同的队列中等待被调度,而调度是不能保证先后顺序的(只能保证同一个队列中的任务先进先出),因此上述代码打印出来的结果大部分情况下时乱序的。

三:无参匿名函数中的变量变化

func main() {
	for i := 0; i < 3; i++ {
		go func() {
			 fmt.Println(i)
		}()
	}
	time.Sleep(time.Millisecond * 500)
}

这段代码的打印结果如下:

2
2
3

因为匿名函数不携带参数信息,只有匿名方法执行到 fmt.Println(i) 这一行时才会去读取 i 的值。又因为协程执行是有延迟的,所以当执行到这一句时, i 的值可能已经发生了变化。

下一篇再研究主协程等待子协程执行完毕以及确保子协程执行顺序的方法…

到此这篇关于Golang并发编程深入分析的文章就介绍到这了,更多相关Golang并发编程内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

Golang并发编程深入分析

下载Word文档到电脑,方便收藏和打印~

下载Word文档

猜你喜欢

Golang并发编程深入分析

golang中的并发,是函数相互独立运行的能力,goroutines是并发运行的函数。golang提供了goroutines作为并发处理的一种方式
2022-11-21

深入解析Golang的并发编程模型

Golang作为一种开发高效、简洁的编程语言,具有非常强大的并发编程能力,为开发者提供了丰富的工具和机制来处理并发问题。本文将深入解析Golang的并发编程模型,包括Goroutine、Channel、互斥锁等机制,并通过具体的代码示例展示
深入解析Golang的并发编程模型
2024-03-01

Golang并发编程技巧:深入解析多进程模型

Golang并发编程技巧:深入解析多进程模型在并发编程领域,Golang 作为一门强大的编程语言,以其简洁的语法和内置的并发支持而备受开发者青睐。在 Golang 中,利用 goroutine 和 channel 可以轻松实现并发编程,提
Golang并发编程技巧:深入解析多进程模型
2024-02-29

JUC并发编程LinkedBlockingQueue队列深入分析源码

LinkedBlockingQueue是一个可选有界阻塞队列,这篇文章主要为大家详细介绍了Java中LinkedBlockingQueue的实现原理与适用场景,感兴趣的可以了解一下
2023-05-15

Golang函数式编程深入分析实例

习惯与函数式编程语言的开发者,会认为for循环和if判断语句是冗长的代码,通过使用map和filter处理集合元素让代码更可读。本文介绍Go闭包实现集合转换和过滤功能
2023-01-10

深入分析java并发编程中volatile的实现原理

引言在多线程并发编程中synchronized和Volatile都扮演着重要的角色,Volatile是轻量级的synchronized,它在多处理器开发中保证了共享变量的“可见性”。可见性的意思是当一个线程修改一个共享变量时,另外一个线程能
2023-05-30

深入了解golang中的Select Channels Go并发式编程

在Go语言中,可以使用select语句来进行通道的选择操作,实现并发式编程。select语句用于监听多个通道的操作,并在其中一个通道可操作时执行相应的代码块。select语句的基本语法如下:goselect {case // 执行 chan
2023-10-20

深入了解并实践golang中的Select Channels Go并发式编程

在Go语言中,可以使用select语句和通道(Channel)来进行并发式编程。通道(Channel)是用来在Go协程之间进行通信的一种方式。通过通道,可以安全地传递数据,实现协程之间的同步。在通道中发送数据使用`select语句用于处理多
2023-10-08

深入理解Go语言的并发编程:Go的并发模型解析

Go语言作为一门流行的编程语言,以其出色的并发编程能力而闻名。并发编程是在同一时间内执行多个独立的任务,通过充分利用多核处理器的性能以提高程序的性能和效率。在Go语言中,并发编程是一种非常简单、直观和高效的方式来编写并行程序。本文将深入探讨
深入理解Go语言的并发编程:Go的并发模型解析
2024-03-04

深入学习Golang并发编程必备利器之sync.Cond类型

Go 语言的 sync 包提供了一系列同步原语,其中 sync.Cond 就是其中之一。本文将深入探讨 sync.Cond 的实现原理和使用方法,帮助大家更好地理解和应用 sync.Cond,需要的可以参考一下
2023-05-18

深入研究golang中的Select Channels Go并发式编程技术

在Go语言中,使用select关键字可以实现并发式编程技术。select语句用于选择准备好进行通信的通道操作,可以同时等待多个通道操作。它可以用于解决并发编程中的各种问题,如超时处理、取消操作等。在使用select语句时,可以在每个case
2023-10-08

深入理解Java并发编程之ThreadLocal

本文主要介绍了Java并发编程之ThreadLocal,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
2022-11-13

Golang汇编之控制流深入分析讲解

这篇文章主要介绍了Golang汇编之控制流,程序执行的流程主要有顺序、分支和循环几种执行流程,本节主要讨论如何将Go语言的控制流比较直观地转译为汇编程序,或者说如何以汇编思维来编写Go语言代码,感兴趣的同学可以参考下文
2023-05-20

编程热搜

  • Python 学习之路 - Python
    一、安装Python34Windows在Python官网(https://www.python.org/downloads/)下载安装包并安装。Python的默认安装路径是:C:\Python34配置环境变量:【右键计算机】--》【属性】-
    Python 学习之路 - Python
  • chatgpt的中文全称是什么
    chatgpt的中文全称是生成型预训练变换模型。ChatGPT是什么ChatGPT是美国人工智能研究实验室OpenAI开发的一种全新聊天机器人模型,它能够通过学习和理解人类的语言来进行对话,还能根据聊天的上下文进行互动,并协助人类完成一系列
    chatgpt的中文全称是什么
  • C/C++中extern函数使用详解
  • C/C++可变参数的使用
    可变参数的使用方法远远不止以下几种,不过在C,C++中使用可变参数时要小心,在使用printf()等函数时传入的参数个数一定不能比前面的格式化字符串中的’%’符号个数少,否则会产生访问越界,运气不好的话还会导致程序崩溃
    C/C++可变参数的使用
  • css样式文件该放在哪里
  • php中数组下标必须是连续的吗
  • Python 3 教程
    Python 3 教程 Python 的 3.0 版本,常被称为 Python 3000,或简称 Py3k。相对于 Python 的早期版本,这是一个较大的升级。为了不带入过多的累赘,Python 3.0 在设计的时候没有考虑向下兼容。 Python
    Python 3 教程
  • Python pip包管理
    一、前言    在Python中, 安装第三方模块是通过 setuptools 这个工具完成的。 Python有两个封装了 setuptools的包管理工具: easy_install  和  pip , 目前官方推荐使用 pip。    
    Python pip包管理
  • ubuntu如何重新编译内核
  • 改善Java代码之慎用java动态编译

目录