多协程并发和多核CPU、协程空间

先看看下面这个程序的执行结果，多执行几次。

package main

import (
	"fmt"
	"sync"
)

var num int64 = 0
var max = 10000
var wg sync.WaitGroup

func main() {
	wg.Add(2)
	go addNum()
	go addNum()
	wg.Wait()
	fmt.Printf("num=%d \n", num)
}

func addNum() {
	for i := 0; i < max; i++ {
		num++
	}
	wg.Done()
}

输出结果不是一个定值，并且还有小于“max”变量值的输出。

为什么会这样，下面一步步剖析。

首先理解一下 num++ 在cpu层面的执行，它不是原子操作：

它是这样的：

int x = num;
x = x + 1;
num= x;
（这里x代表寄存器，amount代表内存）
我们假设你只有1个cpu，也就是执行本身不是并发的，但是有两个协程

假设num= 0
协程1
int x = num;
此时x = 0, num=0
切换到协程2
注意，x是寄存器，每个协程独立，而num是共享的，只有一个，所以为了避免混淆，这里x写成x1表示另一个变量
int x1 = num;
此时x1=0 num=0