Go语言的内存模型是什么-创新互联

今天就跟大家聊聊有关Go语言的内存模型是什么,可能很多人都不太了解,为了让大家更加了解,小编给大家总结了以下内容,希望大家根据这篇文章可以有所收获。

成都创新互联公司主要从事网站建设、做网站、网页设计、企业做网站、公司建网站等业务。立足成都服务延安,10余年网站建设经验,价格优惠、服务专业,欢迎来电咨询建站服务:18980820575

Go 内存模型规定了一些条件,在这些条件下,在一个 goroutine 中读取变量返回的值能够确保是另一个 goroutine 中对该变量写入的值。


Happens Before(在…之前发生)

在一个 goroutine 中,读操作和写操作必须表现地就好像它们是按照程序中指定的顺序执行的。这是因为,在一个 goroutine 中编译器和处理器可能重新安排读和写操作的执行顺序(只要这种乱序执行不改变这个 goroutine 中在语言规范中定义的行为)。

因为乱序执行的存在,一个 goroutine 观察到的执行顺序可能与另一个 goroutine 观察到的执行顺序不同。 比如,如果一个 goroutine 执行a = 1; b = 2;,另一个 goroutine 可能观察到 b 的值在 a 之前更新。

为了规定读取和写入的必要条件,我们定义了happens before (在…之前发生),一个在 Go 程序中执行内存操作的部分顺序。如果事件 e1 发生在事件 e2 之前,那么我们说 e2 发生在 e1 之后。同样,如果 e1 不在 e2 之前发生也不在 e2 之后发生,那么我们说 e1 和 e2 同时发生。

在一个单独的 goroutine 中,happens-before 顺序就是在程序中的顺序。

一个对变量 v 的 读操作 r 可以被允许观察到一个对 v 的写操作 w,如果下列条件同时满足:

r 不在 w 之前发生在 w 之后,r 之前,没有其他对 v 的写入操作 w' 发生。

为了确保一个对变量 v 的读操作 r 观察到一个对 v 的 写操作 w,必须确保 w 是的 r 允许的写操作。就是说下列条件必须同时满足:

w 在 r 之前发生任何其他对共享的变量 v 的写操作发生在 w 之前或 r 之后。

这两个条件比前面两个条件要严格,它要求不能有另外的写操作与 w 或 r 同时发生。

在一个单独的 goroutine 中,没有并发存在,所以这两种定义是等价的:一个读操作 r 观察到的是最近对 v 的写入操作 w 。当多个 goroutine 访问一个共享的变量 v 时,它们必须使用同步的事件来建立 happens-before 条件来确保读操作观察到预期的写操作。

在内存模型中,使用零值初始化一个变量的 v 的行为和写操作的行为一样。

读取和写入超过单个机器字【32 位或 64 位】大小的值的行为和多个无序地操作单个机器字的行为一样。

同步

初始化

程序初始化操作在一个单独的 goroutine 中运行,但是这个 goroutine 可能创建其他并发执行的 goroutines。

如果包 p 导入了包 q,那么 q 的 init 函数执行完成发生在 p 的任何 init 函数执行之前。

函数 main.main【也就是 main 函数】 的执行发生在所有的 init 函数完成之后。

Goroutine 创建

启动一个新的 goroutine 的 go 语句的执行在这个 goroutine 开始执行前发生。

比如,在这个程序中:

var a string

func f() {
	print(a) // 后
}

func hello() {
	a = "hello, world"
	go f() // 先
}

本文标题:Go语言的内存模型是什么-创新互联
URL网址:http://scyanting.com/article/pdphg.html