【Go语言】【16】GO语言的并发

在写该文之前一直犹豫,是把Go的并发写的面面俱到显得高大尚一些,还是简洁易懂一些?今天看到一个新员工在学习Java,突然间想起第一次接触Java的并发时,被作者搞了一个云里雾里,直到现在还有阴影,所以决定本文从简。哈哈,说笑了,言归正传。

Go的并发真的很简单,所以本文不罗嗦进程、线程、协程、信号量、锁、调度、时间片等乱七八糟的东西,因为这些不影响您理解Go的并发。先看一个小例子:

package main

import "fmt"

func Add(i, j int) {

sum := i + j

fmt.Println(i, " + ", j, " = ", sum)

}

func main() {

for i := 0; i < 10; i++ {

Add(i, i)

}

}

这个例子很简单吧,说白了就是计算0+0、1+1、2+2、3+3、.......、9+9之和,并打印出来,运行结果显而易见:

这里没有使用并发呀,好吧,为了提升计算效率,在main的for循环中使用并发,把代码修改如下:

package main

import "fmt"

func Add(i, j int) {

sum := i + j

fmt.Println(i, " + ", j, " = ", sum)

}

func main() {

for i := 0; i < 10; i++ {

go Add(i, i)

}

}

没有花眼吧,前面加了一个go,这就并发了?

嗯,这就并发了。

在方法Add()之前增加了一个关键字go,相当于告诉Go编译器启动一个goroutine,然后把Add()方法放到goroutine中执行。

什么是goroutine?

有人把它翻译为协程,说实话挺反感的,有些单词还是不要翻译为好,比如Context,经常写Web程序的人会遇到,有人把它翻译为上下文;再如payload,经常做渗透的人会使用,怎么翻译好呢?还是不翻译了吧。

该怎么理解goroutine?

如上图所示,main()方法所在的goroutine上又创建了10个goroutine,每个goroutine各自跑一个Add()方法

OK,运行一下该程序,结果如下:

咦,怎么都没有,说好的运行结果呢?

这是因为main()所在的goroutine创建10个goroutine后,它里面的逻辑已执行完,那么main()就退出了,它根本就不管这10个goroutine的死活。从结果也能看出,当main()退出时,这10个goroutine没有一个执行完,所以结果什么都没有打印。

如何解决这个问题呢?

一种比较容易想到的但又比较垃圾的解决办法是:“让main()等一会儿”,下面我们修改一个这个程序


package main

import (

"fmt"

"time"

)

func Add(i, j int) {

sum := i + j

fmt.Println(i, " + ", j, " = ", sum)

}

func main() {

for i := 0; i < 10; i++ {

go Add(i, i)

}

time.Sleep(time.Second * 3)  // main()所在goroutine休息3秒钟

}

首先引入"time"这个包,然后调用time.Sleep()方法,让main()所在goroutine等3s,等其它10个goroutine都运行完,这种解决办法就是“马儿你慢些跑呀慢些跑” :)

运行一下结果:

可能您会问,为何要等3秒钟而不是2秒钟?

我只能学着印度老外,一边摇头一边微笑地告诉您,我是蒙的,因为我也不知道确切地等多长时间,所以是一种垃圾的解决办法。

那有没有一种通知机制呢?当一个goroutine执行完毕后,就告诉主goroutine(即main()方法所在的goroutine):“嘿,哥们,我执行完了,你想干嘛就干嘛吧!”

有,这就是Go语言的亮点,十分耀眼的一个亮点:channel

什么是channel?

说白了就是一个通道(建议还是不翻译的为好),一个goroutine执行完毕后,就告诉主goroutine,I‘m over!怎么告诉呢?就是向channel中写一个数据。

怎么向channel中写一个数据呢?

OK,follow me,要想写一个数据到channel则必须有一个channel不是?所以:

(1)建立一个channel



【备注】:所谓channel也是一种Go的类型,与int、float64、string、bool、struct、slice、map等同等地位



var ch chan int           // 声明一个变量为ch,它的类型为chan类型,这个channel里面可以存放int型的值

ch = make(chan int)  // 使用make关键字初始一个长度为0的通道

当然声明和初始化可以一块来

var ch chan int = make(chan int)

(2)向channel中写一个数据

ch <- 1

就这么简单,使用符号”<-“,前面声明了channel的类型为int ,所以就把1写入ch;若声明channel类型为bool,就可以把布尔值写入channel,即ch <- true

(3)从channel中读数据

<- ch

嗯,还是这么简单

无论写还是读都是用符号”<-“,就看<-后面是谁

OK,既然知道有channel这东东了,我们修改一下上面的程序:


package main

import (

"fmt"

// "time"   // 删除掉time包

)

var ch chan int = make(chan int)     // 初始化一个类型为channel的变量ch,其中channel里面放int型数据

func Add(i, j int) {

sum := i + j

fmt.Println(i, " + ", j, " = ", sum)

ch <- i   // 这个方法执行完,意味着方法所属的goroutine即将退出,就告诉主goroutine,I‘m完事了

}

func main() {

for i := 0; i < 10; i++ {

go Add(i, i)

}

/*

* 由于有10个goroutine,所以从channel中读10次

* 这10个goroutine都告诉主gorouinte说完事了,那么主gorouinte也就退出了

*/

for i := 0; i < 10; i++ {

fmt.Println("i=", <-ch)

}

// time.Sleep(time.Second * 3)    // 不用这种机制了,留着也没有用

}

运行结果如下:

目的达到了,我好人做到底,再解释一下:

可以这样理解,有10个厨师1个端菜工,这10个厨师各自做各自的菜,做完之后就放到channel,这个端菜工就从channel中取菜。当channel中没有菜时,端菜工就一直等待直到有菜为止;厨师做好一个菜后,发现channel中没有菜,就把自己的菜放到channel中,若发现channel在有菜还没有端正,厨师就拿着自己的菜一直等到channel中的菜被端菜工端走后再把自己的菜放进去。

可能您又要说了,这种channel很类似同步操作,这个channel只能放一个菜,端菜工端一个菜;channel中没有菜端菜工等待;channel中有菜厨师等待。效率不高呀。

好吧,Go设计师已提前为您想好处理办法了,即这个channel可以放10个菜,只要这个channel还没有放满10个菜,厨师就可以向上面放,这样厨师就不用等待了。剩下的就是端菜工要提高自己的工作效率了。

怎么放10个菜?

var ch chan int = make(chan int,10)

OK,搞定!代码如下:


package main

import (

"fmt"

// "time"

)

var ch chan int = make(chan int, 10)

func Add(i, j int) {

sum := i + j

fmt.Println(i, " + ", j, " = ", sum)

ch <- i

}

func main() {

for i := 0; i < 10; i++ {

go Add(i, i)

}

for i := 0; i < 10; i++ {

fmt.Println("i=", <-ch)

}

// time.Sleep(time.Second * 3)

}

运行结果如下:

仔细看,再仔细看,看出什么东西来了没有?若没有,请与上一个运行结果对比着看 :)

还是没有看来?

没有发现这两个基本上是一模一样的吗?除了运行程序所花的时间不同之外!

从运行时间上来看,好像效率提升了一些,这是因为厨师不用等待了,一旦指明了channel的容量,相对于厨师来说就变成异步的了;没有指明channel容量,相对于厨师来说就是同步的。

同步异步不是我想让您观察的重点,您难道没有发现0+0、1+1、2+2、3+3、......、9+9,这个顺序太正常了吗?若真正并发的话,这个顺序肯定是乱的!

看一下我电脑信息:

好呆CPU也是四核的,并发的顺序是这么的正常,太不可思议了 :)

好吧,我再解开这谜团吧

我用的Go版本是1.4,可以在命令窗口中执行go version查看。由于Go语言1.4版本对多核的处理还没有做太多的改进,据说1.5版本有突破,后面可以关注一下,所以在这个版本还是使用的一个核。对于单核CPU进程、线程在执行的过程中,系统会把运行的CPU强行切给另一个进程或线程。

有人如果看过其他人的博客、书,都会把goroutine翻译为协程,所谓协程就是用户态的线程,可以这样理解:”一个协程在执行时,系统不会强行切换时间片“。即一个goroutine在执行的过程中,Go语言会让这个goroutine疯狂地执行,直到它运行完为止,再让另外一个gorouinte运行,所以从结果来看运行顺序是固定的。

如果利用多核?

Go语言也提供了一种方式,具体代码如下:


package main

import (

"fmt"

// "time"

"runtime"   // 引入runtime包

)

var ch chan int = make(chan int, 10)

func Add(i, j int) {

sum := i + j

fmt.Println(i, " + ", j, " = ", sum)

ch <- i

}

func main() {

runtime.GOMAXPROCS(runtime.NumCPU())   // 让Go使用多个核

for i := 0; i < 10; i++ {

go Add(i, i)

}

for i := 0; i < 10; i++ {

fmt.Println("i=", <-ch)

}

// time.Sleep(time.Second * 3)

}

多运行几次,结果如下:

上面就是Go的并发核心内容,当然还有关于并发的其它内容,如单向写channel、单向读channel、传统并发方式等内容。本文就先写到这里,内容多了不容易消化 :)

时间: 2025-01-04 16:30:01

【Go语言】【16】GO语言的并发的相关文章

初解,Scala语言中基于Actor的并发编程的机制,并展示了在Spark中基于Scala语言的Actor而产生的消息驱动框架Akka的使用,

Scala深入浅出实战中级--进阶经典(第66讲:Scala并发编程实战初体验及其在Spark源码中应用解析)内容介绍和视频链接 2015-07-24 DT大数据梦工厂 从明天起,做一个勤奋的人 看视频.下视频,分享视频 DT大数据梦工厂-Scala深入浅出实战中级--进阶经典:第66讲:Scala并发编程实战初体验及其在Spark源码中的应用解析 本期视频通过代码实战详解了Java语言基于加锁的并发编程模型的弊端以及Scala语言中基于Actor的并发编程的机制,并展示了在Spark中基于Sc

Go 语言入门(三)并发

写在前面 在学习 Go 语言之前,我自己是有一定的 Java 和 C++ 基础的,这篇文章主要是基于A tour of Go编写的,主要是希望记录一下自己的学习历程,加深自己的理解 Go 语言入门(三)并发 Go 程 「Go 程」goroutine:由 Go 运行时管理的轻量级线程. 运行「Go 程」很简单,只要执行下面代码: go f(x, y, z) 就会启动一个新的 Go 程并执行f(x, y, z).f.x.y和z的运算发生在当前的 Go 程中,而f的执行发生在新的 Go 程中. 「Go

Go语言 sync.Map(在并发中使用)

Go语言中的 map 在并发情况下,只读是线程安全的,同时读写是线程不安全的. 需要并发读写时,一般的做法是加锁,但这样性能并不高,Go语言在 1.9 版本中提供了一种效率较高的并发安全的 sync.Map,sync.Map 和 map 不同,不是以语言原生形态提供,而是在 sync 包下的特殊结构. sync.Map 有以下特性: 无须初始化,直接声明即可. sync.Map 不能使用 map 的方式进行取值和设置等操作,而是使用 sync.Map 的方法进行调用,Store 表示存储,Loa

Go语言之GO 语言引用类型

GO 语言引用类型 Go 语言切片 Go 语言切片(Slice) Go 语言切片是对数组的抽象. Go 数组的长度不可改变,在特定场景中这样的集合就不太适用,Go中提供了一种灵活,功能强悍的内置类型切片("动态数组"),与数组相比切片的长度是不固定的,可以追加元素,在追加时可能使切片的容量增大. 定义切片 申明一个未指定大小的数组来定义切片: var identifier []type 切片不需要说明长度. 或使用make()函数来创建切片: var slice1 []type = m

Swift语言指南(三)--语言基础之整数和浮点数

整数 整数指没有小数的整数,如42,-23.整数可以是有符号的(正数,零,负数),也可以是无符号的(正数,零). Swift提供了8,16,32,64位形式的有符号和无符号的整数,这些整数遵循与C语言相似的命名规则.如8位无符号整数的类型为UInt8,32位有符号整数的类型为Int32,和Swift语言的其它类型一样,这些整型命名以大写字母开头. 整数的边界 你可以通过min或max属性为每一个整数类型指定一个最小值或最大值: 1 let 最小值 = UInt8.min // 最小值 等于 0,

编译性语言不如解释性语言跨平台性好

编译性语言例如c语言:用c语言开发了程序后,需要通过编译器把程序编译成机器语言(即计算机识别的二进制文件,因为不同的操作系统计算机识别的二进制文件是不同的),所以c语言程序进行移植后,要重新编译. 解释性语言,例如java语言,java程序首先通过编译器编译成class文件,如果在windows平台上运行,则通过windows平台上的java虚拟机(VM)进行解释.如果运行在linux平台上,则通过linux平台上的java虚拟机进行解释执行.所以说能跨平台,前提是平台上必须要有相匹配的java

DML语言(数据操纵语言)

#DML语言/*数据操作语言:插入:insert修改:update删除:delete */ #一.插入语句#方式一:经典的插入/*语法:insert into 表名(列名,...) values(值1,...); */SELECT * FROM beauty;#1.插入的值的类型要与列的类型一致或兼容INSERT INTO beauty(id,NAME,sex,borndate,phone,photo,boyfriend_id)VALUES(13,'唐艺昕','女','1990-4-23','1

Go语言之Go语言反射

GO 语言反射 反射是指在程序运行期对程序本身进行访问和修改的能力.程序在编译时,变量被转换为内存地址,变量名不会被编译器写入到可执行部分.在运行程序时,程序无法获取自身的信息. 支持反射的语言可以在程序编译期将变量的反射信息,如字段名称.类型信息.结构体信息等整合到可执行文件中,并给程序提供接口访问反射信息,这样就可以在程序运行期获取类型的反射信息,并且有能力修改它们. Go 语言反射 Go语言提供了一种机制在运行时更新和检查变量的值.调用变量的方法和变量支持的内在操作,但是在编译时并不知道这

Swift语言指南(一)--语言基础之常量和变量

Swift 是开发 iOS 及 OS X 应用的一门新编程语言,然而,它的开发体验与 C 或 Objective-C 有很多相似之处. Swift 提供了 C 与 Objective-C 中的所有基础类型,包括表示整数的 Int,表示浮点数的 Double 与 Float,表示布尔值的 Bool,以及表示纯文本数据的 String. Swift 还为两个基本集合类型 Array 与 Dictionary 提供了强大的支持,详情可参考 (集合类型)Collection Types. 与 C 语言类

0基础学C语言:C语言视频教程免费分享!

C语言是一种通用的.过程式的编程语言,广泛用于系统与应用软件的开发.作为计算机编程的基础语言,长期以来它一直是编程爱好者追捧而又比较难学的语言.C语言是一种计算机程序设计语言,它既具有高级语言的特点,又具有汇编语言的特点. 很多初学者在学习C语言的时候,如果有适合自己的视频教程,学习起来就会事半功倍.今天在这里给大家分享一个0基础学习C语言的视频教程,需要的朋友可以看看,作为参考! 课程部分截图: 百度云盘下载:http://pan.baidu.com/s/1jIbtWEi 密码:npd9