go语言GMP模式介绍以及协程案例展示

2024-01-17 19:20

本文主要是介绍go语言GMP模式介绍以及协程案例展示,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一. MPG模式

Go语言的调度模型被称为GMP,这是一个高效且复杂的调度系统,用于在可用的物理线程上调度goroutines(Go的轻量级线程)。GMP模型由三个主要组件构成:Goroutine、M(机器)和P(处理器)。下面详细介绍这三个组件以及它们如何协同工作。

1. Goroutine(G)

  • Goroutine 是Go语言中的一个基本概念,类似于线程,但比线程更轻量。Goroutines在Go的运行时环境中被调度和管理,而非操作系统。
  • Goroutines非常轻量,启动快,且切换开销小。这是因为它们有自己的栈,这个栈可以根据需要动态增长和缩减。

2. Machine(M)

  • M 代表了真正的操作系统线程。每个M都由操作系统调度,并且拥有一个固定大小的内存栈用于执行C代码。
  • M负责执行Goroutines的代码。Go的运行时会尽量复用M,以减少线程的创建和销毁带来的开销。

3. Processor(P)

  • P 是Go运行时的一个资源,可以看作是执行Goroutines所需的上下文环境。P的数量决定了系统同时运行Goroutines的最大数量。
  • 每个P都有一个本地的运行队列,用于存放待运行的Goroutines。
  • P的数量一般设置为等于机器的逻辑处理器数量,以充分利用多核的优势。

MPG 工作方式

  • 在程序启动时,Go运行时会根据可用的核心数创建一定数量的P。
  • 每个P都会与一个M绑定在一起,这个M会从P的本地运行队列中取出一个G来执行。
  • 当Goroutine阻塞时(比如等待I/O),执行它的M会被解绑,并且该Goroutine会被移动到全局队列或者等待队列中,让其他M可以接管这个P并继续执行其他Goroutines。
  • 如果所有的M都阻塞了,运行时会创建额外的M来保证至少有一个M是非阻塞的,以继续执行Goroutines。

调度优势

  • Go调度器的设计使得成千上万的Goroutines能够在数量较少的线程(M)上高效运行,这极大地减少了上下文切换的开销。
  • Go的调度器是协作式的,这意味着Goroutines需要自己释放控制权。通常,这发生在显式的阻塞操作(如I/O操作)或者隐式的调度点(如函数调用)时。

二.互斥锁实现阶乘计算

1.代码

package mainimport ("fmt""sync"
)// 多协程计算阶乘var (myMap = make(map[int]int) // 全局变量mu    sync.Mutex          // 安全访问myMapwg    sync.WaitGroup      // 等待所有协程完成
)func main() {// 开启协程for i := 1; i <= 10; i++ {wg.Add(1)go factorial(i)}// 等待所有协程完成后再打印wg.Wait()// 遍历myMap并打印结果for i, v := range myMap {fmt.Println(i, v)}
}// 计算阶乘
func factorial(n int) {res := 1// 计算阶乘for i := 1; i <= n; i++ {res *= i}// 递延地减少WaitGroup计数器defer wg.Done()// 在修改myMap之前进行互斥锁操作mu.Lock()myMap[n] = resmu.Unlock()
}

2.MPG模型解释

Go语言的并发模型被称为MPG模型,其中:

  • M 代表机器(Machine),是对操作系统线程的抽象。
  • P 代表处理器(Processor),是对M进行调度的上下文。
  • G 代表Goroutine,是Go的轻量级线程,它在M上执行。

当一个Go程序运行时:

  1. Goroutines(G) 在**Processors(P)**上被调度。每个P都绑定到一个M(操作系统线程),但一个P可以调度多个G。
  2. 在这段代码中,当main函数启动多个goroutines时,这些G被分配到不同的P上,并且可能在不同的M上执行。
  3. 当一个G在执行阶乘计算时,如果它需要等待(例如,等待互斥锁),它会被P挂起,并且P会转而执行另一个G。
  4. 一旦所有的G都执行完毕(即wg.Wait()返回),程序进入最后阶段,遍历并打印myMap中存储的结果。

3.管道channel基本概念

创建管道
  • 使用make关键字创建管道。可以创建有缓冲的管道或无缓冲的管道。
  • 示例:ch := make(chan int) 创建一个传递整型数据的无缓冲管道。
  • 无缓冲管道:这种管道没有存储空间,因此发送操作(ch <- v)会阻塞,直到另一端有goroutine准备好接收(<-ch)。无缓冲管道确保同时只有一个数据在通道中传递,它强制发送者和接收者同步交换数据。
  • 有缓冲管道:这种管道有一个指定的容量,允许在接收者准备好接收之前存储有限数量的值。如果管道满了(即达到其容量限制),发送操作将阻塞;如果管道为空,接收操作将阻塞。有缓冲管道提供了一定程度的松耦合,允许发送者和接收者在缓冲区不满和不空的情况下独立操作。
发送和接收数据
  • 使用箭头操作符(<-)来发送和接收数据。
  • 示例:ch <- v 表示将值v发送到管道chv := <-ch 表示从管道ch接收值并赋给变量v
无缓冲与有缓冲
  • 无缓冲管道:发送操作会阻塞,直到另一端有goroutine进行接收操作。
  • 有缓冲管道:只有当缓冲区满时发送操作才会阻塞,只有当缓冲区空时接收操作才会阻塞。
使用场景
  • 同步:管道可用于不同goroutines之间的同步。
  • 数据共享:通过管道安全地在goroutines之间传递数据,防止竞争条件。
  • 流程控制:通过有缓冲管道控制处理速度和压力。
重要特性
  • 安全性:管道在内部实现了必要的同步机制,因此在多个goroutines访问时是安全的。

  • 阻塞性:无缓冲管道在发送或接收时会阻塞,直到另一端准备好。

  • 关闭管道

  • 使用close函数关闭管道。

  • 关闭管道后,不能再向管道发送数据,但仍可以接收管道中已存在的数据。

  • 尝试向已关闭的管道发送数据会引发panic。

  • 范围循环:可以使用for range循环从管道接收数据,直到管道被关闭。

注意事项
  • 死锁:如果不正确使用管道,特别是在管道操作之间没有适当的同步时,可能导致死锁。
  • 资源管理:应确保在不再需要时关闭管道,以避免内存泄漏。

4.管道channel实现阶乘计算

package mainimport ("fmt""sync"
)var (ch  = make(chan int) // FIFO 队列 first in first out 线程安全wg2 sync.WaitGroup   // 用于等待所有goroutine完成
)func main() {for i := 1; i <= 10; i++ {// 添加WaitGroup的计数wg2.Add(1)go calChannel(i)}wg2.Wait() // 等待所有goroutine完成close(ch)  // 关闭通道// 启动一个新的goroutine来打印管道中的值go func() {for v := range ch {fmt.Println(v)}}()}func calChannel(n int) {defer wg2.Done() // 在函数退出时通知WaitGroup// 通过通道计算阶乘res := 1for i := 1; i <= n; i++ {res *= i}ch <- res
}

三. interface{}类型

package mainimport "fmt"func main() {ch := make(chan interface{}, 3)ch <- 88ch <- "i am god"cat := Cat{Name: "小花猫", Age: 4}ch <- catclose(ch)// 丢弃管道中的值<-ch<-chv := <-chfmt.Printf("%T", v)fmt.Println()// 需要类型断言 ∵从管道中取出的值类型实际是interface{}类型 只有空接口类型才可以类型断言val := v.(Cat)fmt.Printf("%v", val.Name)}type Cat struct {Name stringAge  int
}

这篇关于go语言GMP模式介绍以及协程案例展示的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/616952

相关文章

性能测试介绍

性能测试是一种测试方法,旨在评估系统、应用程序或组件在现实场景中的性能表现和可靠性。它通常用于衡量系统在不同负载条件下的响应时间、吞吐量、资源利用率、稳定性和可扩展性等关键指标。 为什么要进行性能测试 通过性能测试,可以确定系统是否能够满足预期的性能要求,找出性能瓶颈和潜在的问题,并进行优化和调整。 发现性能瓶颈:性能测试可以帮助发现系统的性能瓶颈,即系统在高负载或高并发情况下可能出现的问题

水位雨量在线监测系统概述及应用介绍

在当今社会,随着科技的飞速发展,各种智能监测系统已成为保障公共安全、促进资源管理和环境保护的重要工具。其中,水位雨量在线监测系统作为自然灾害预警、水资源管理及水利工程运行的关键技术,其重要性不言而喻。 一、水位雨量在线监测系统的基本原理 水位雨量在线监测系统主要由数据采集单元、数据传输网络、数据处理中心及用户终端四大部分构成,形成了一个完整的闭环系统。 数据采集单元:这是系统的“眼睛”,

Hadoop企业开发案例调优场景

需求 (1)需求:从1G数据中,统计每个单词出现次数。服务器3台,每台配置4G内存,4核CPU,4线程。 (2)需求分析: 1G / 128m = 8个MapTask;1个ReduceTask;1个mrAppMaster 平均每个节点运行10个 / 3台 ≈ 3个任务(4    3    3) HDFS参数调优 (1)修改:hadoop-env.sh export HDFS_NAMENOD

Hadoop数据压缩使用介绍

一、压缩原则 (1)运算密集型的Job,少用压缩 (2)IO密集型的Job,多用压缩 二、压缩算法比较 三、压缩位置选择 四、压缩参数配置 1)为了支持多种压缩/解压缩算法,Hadoop引入了编码/解码器 2)要在Hadoop中启用压缩,可以配置如下参数

性能分析之MySQL索引实战案例

文章目录 一、前言二、准备三、MySQL索引优化四、MySQL 索引知识回顾五、总结 一、前言 在上一讲性能工具之 JProfiler 简单登录案例分析实战中已经发现SQL没有建立索引问题,本文将一起从代码层去分析为什么没有建立索引? 开源ERP项目地址:https://gitee.com/jishenghua/JSH_ERP 二、准备 打开IDEA找到登录请求资源路径位置

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

在JS中的设计模式的单例模式、策略模式、代理模式、原型模式浅讲

1. 单例模式(Singleton Pattern) 确保一个类只有一个实例,并提供一个全局访问点。 示例代码: class Singleton {constructor() {if (Singleton.instance) {return Singleton.instance;}Singleton.instance = this;this.data = [];}addData(value)

科研绘图系列:R语言扩展物种堆积图(Extended Stacked Barplot)

介绍 R语言的扩展物种堆积图是一种数据可视化工具,它不仅展示了物种的堆积结果,还整合了不同样本分组之间的差异性分析结果。这种图形表示方法能够直观地比较不同物种在各个分组中的显著性差异,为研究者提供了一种有效的数据解读方式。 加载R包 knitr::opts_chunk$set(warning = F, message = F)library(tidyverse)library(phyl

【区块链 + 人才服务】可信教育区块链治理系统 | FISCO BCOS应用案例

伴随着区块链技术的不断完善,其在教育信息化中的应用也在持续发展。利用区块链数据共识、不可篡改的特性, 将与教育相关的数据要素在区块链上进行存证确权,在确保数据可信的前提下,促进教育的公平、透明、开放,为教育教学质量提升赋能,实现教育数据的安全共享、高等教育体系的智慧治理。 可信教育区块链治理系统的顶层治理架构由教育部、高校、企业、学生等多方角色共同参与建设、维护,支撑教育资源共享、教学质量评估、

透彻!驯服大型语言模型(LLMs)的五种方法,及具体方法选择思路

引言 随着时间的发展,大型语言模型不再停留在演示阶段而是逐步面向生产系统的应用,随着人们期望的不断增加,目标也发生了巨大的变化。在短短的几个月的时间里,人们对大模型的认识已经从对其zero-shot能力感到惊讶,转变为考虑改进模型质量、提高模型可用性。 「大语言模型(LLMs)其实就是利用高容量的模型架构(例如Transformer)对海量的、多种多样的数据分布进行建模得到,它包含了大量的先验