这里再赘述一次最关键性的根源
对于并发百度百科上这样描述的:
并发是指两个或多个事件在同一时间间隔内发生。在多道程序环境下,并发性是指在一段时间宏观上有多个程序在同时运行,但在单处理机系统中,每一时刻却仅能只有一道程序在执行,故微观上这些程序只能是分时交替执行。
所以可能不是并发要解决什么问题,而是并发产生了一些列问题,并发才是万恶之源
原子性、可见性、有序性全然是并发而导致的吗?
并发导致原子性这是我们上篇叙说的,那可见性和有序性呢。
CPU 增加了缓存,以均衡与内存的速度差异;// 导致 可见性问题
编译程序优化指令执行次序,使得缓存能够得到更加合理地利用。// 导致 有序性问题
请大家温习一下三种重排序(编译器重排序、指令级重排序、内存级重排序)
上面的描述中仿佛可见性和有序性和并发没有关系,但是没有并发就不会有这两个问题。所以给出结论并发(操作系统多道程序环境下)会造成原子性、可见性、有序性。
编程语言在如何解决这个问题呢?
一种是利用共享内存,就是大家常说的互斥量Metex,另一种就管道Channel,像go语言就是通过这种方式