我们先假设一个需求,创建一个数组,里面存放 0 - 99 的整数。
上代码:
输出:
然而并不是我们想要的结果,很多重复数值。
释义:
12行这个闭包函数对 i 的传递并非深拷贝,而是传递了变量指针,也就意味着多个协程访问的时候操作的是同一块内存。
当某一个协程修改了i的值,导致多个协程append的时候i的值发生变化,简单的说就是一个更改,多个读取同时存在,很多个协程都读到某个数值,比如是14,多个协程执行后大家的结果都是一样,是15.
我们升级下代码:
输出:
我们可以看到第2行的输出94,如果没有多运行几次,少于100,也就是说发生了数据丢失,这是为何?
这就是竞态,因为多个协程同时访问临界区,程序并不是按照先后顺序去执行,多个协程抢占资源,这就导致一部分协程没有得到资源。
解决的办法很多,这里讲解下互斥锁和更换数据类型
办法1:换数据类型
切片不同于数组,在每次append的时候我们会伴随着内存copy以达到自动扩容目的,在A协程读出a的内存数据时,B协程完成了写入操作,此时A继续append并赋值就会导致,协程B的更新结果丢失。
假如我们将切片换成数组就不存在这个问题:
稳定输出:
2:互斥锁
输出元素的次序没有规律,但是个数很稳定:
也就是说没有丢失数据