go 并发模型 之 内存模型 (二)

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

文章目录

• 前言
• 一、
• 二、使用步骤
  • 1.引入库
  • 2.读入数据
• 总结

---

前言

提示：这里可以添加本文要记录的大概内容：
例如：随着人工智能的不断发展，机器学习这门技术也越来越重要，很多人都开启了学习机器学习，本文就介绍了机器学习的基础内容。

---

请先阅读官方内存模型的介绍：https://golang.org/ref/mem

一、内存重排

我们先来看一段代码，请问下面的代码可能会输出什么？。

var a, b int

func A() {
	a = 1
	fmt.Println(b)
}

func B() {
	b = 1
	fmt.Println(a)
}

func main() {
	go A()
	go B()
	time.Sleep(time.Microsecond * 2)
}

 

比较容易想到的是

1-2-3-4    0 1

3-4-1-2    0 1

1-3-2-4   1 1

1-3-4-2   1 1

没有出现的是 10 和 00 

首先分析 1 0 如果要像 1 0 那么  1 4 2 3 或者 3 2 4 1  这样的流程进行 

 1 4 2 3   在代码 里 3 明明是在 4的前面 按照 代码重上往下跑是不会出现这种问题的呀 同理

3 2 4 1 也是 但是 在运行中他真的出现了。。 如果这个出现了 那么 0 0 也是会出现的

非常直观的，在多线程的情况下 会出现奇奇怪怪的问题。

用户写下的代码，先要编译成汇编代码，也就是各种指令，包括读写内存的指令。CPU 的设计者们，为了榨干 CPU 的性能，无所不用其极，各种手段都用上了，你可能听过不少，像流水线、分支预测等等。其中，为了提高读写内存的效率，会对读写指令进行重新排列，这就是所谓的 内存重排，英文为 MemoryReordering

这一部分说的是 CPU 重排，其实还有编译器重排。

1.内存屏障 

现代 CPU 为了“抚平” 内核、内存、硬盘之间的速度差异，搞出了各种策略，例如三级缓存等。为了让 (2) 不必等待 (1) 的执行“效果”可见之后才能执行，我们可以把 (1) 的效果保存到 store buffer

先执行 (1) 和 (3)