并发编程三要素:原子性,有序性,可见性

2019-10-16 本文已影响0人刘彦青

并发编程三要素

原子性:一个不可再被分割的颗粒。原子性指的是一个或多个操作要么全部执行成功要么全部执行失败。
有序性: 程序执行的顺序按照代码的先后顺序执行。（处理器可能会对指令进行重排序）
可见性: 一个县城对共享变量的修改,另一个线程能够立刻看到。

一、原子性

线程切换会带来原子性的问题

<pre spellcheck="false" class="md-fences md-end-block ty-contain-cm modeLoaded" lang="java" cid="n12" mdtype="fences" style="box-sizing: border-box; overflow: visible; font-family: var(--monospace); font-size: 0.9em; display: block; break-inside: avoid; text-align: left; white-space: normal; background-image: inherit; background-position: inherit; background-size: inherit; background-repeat: inherit; background-attachment: inherit; background-origin: inherit; background-clip: inherit; background-color: rgb(248, 248, 248); position: relative !important; border: 1px solid rgb(231, 234, 237); border-radius: 3px; padding: 8px 4px 6px; margin-bottom: 15px; margin-top: 15px; width: inherit; color: rgb(51, 51, 51); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">int i = 1; // 原子操作
i++; // 非原子操作，从主内存读取 i 到线程工作内存，进行 +1，再把 i 写到主内存。</pre>

虽然读取和写入都是原子操作，但合起来就不属于原子操作，我们又叫这种为“复合操作”。

我们可以用synchronized 或 Lock 来把这个复合操作“变成”原子操作。

例子：

<pre spellcheck="false" class="md-fences md-end-block ty-contain-cm modeLoaded" lang="java" cid="n16" mdtype="fences" style="box-sizing: border-box; overflow: visible; font-family: var(--monospace); font-size: 0.9em; display: block; break-inside: avoid; text-align: left; white-space: normal; background-image: inherit; background-position: inherit; background-size: inherit; background-repeat: inherit; background-attachment: inherit; background-origin: inherit; background-clip: inherit; background-color: rgb(248, 248, 248); position: relative !important; border: 1px solid rgb(231, 234, 237); border-radius: 3px; padding: 8px 4px 6px; margin-bottom: 15px; margin-top: 15px; width: inherit; color: rgb(51, 51, 51); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">//使用synchronized
private synchronized void increase(){
i++;
}
//使用Lock
private int i = 0;
Lock mLock = new ReentrantLock();

private void increase() {
mLock.lock();
try {
i++;
} finally{
mLock.unlock();
}
}</pre>

这样我们就可以把这个一个方法看做一个整体，一个不可分割的整体。

除此之前，我们还可以用java.util.concurrent.atomic里的原子变量类，可以确保所有对计数器状态访问的操作都是原子的。

例子：

<pre spellcheck="false" class="md-fences md-end-block ty-contain-cm modeLoaded" lang="java" cid="n21" mdtype="fences" style="box-sizing: border-box; overflow: visible; font-family: var(--monospace); font-size: 0.9em; display: block; break-inside: avoid; text-align: left; white-space: normal; background-image: inherit; background-position: inherit; background-size: inherit; background-repeat: inherit; background-attachment: inherit; background-origin: inherit; background-clip: inherit; background-color: rgb(248, 248, 248); position: relative !important; border: 1px solid rgb(231, 234, 237); border-radius: 3px; padding: 8px 4px 6px; margin-bottom: 15px; margin-top: 15px; width: inherit; color: rgb(51, 51, 51); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;"> AtomicInteger mAtomicInteger = new AtomicInteger(0);
private void increase(){
mAtomicInteger.incrementAndGet();
}</pre>

二、可见性

缓存导致可见性问题

image

<pre spellcheck="false" class="md-fences md-end-block ty-contain-cm modeLoaded" lang="java" cid="n27" mdtype="fences" style="box-sizing: border-box; overflow: visible; font-family: var(--monospace); font-size: 0.9em; display: block; break-inside: avoid; text-align: left; white-space: normal; background-image: inherit; background-position: inherit; background-size: inherit; background-repeat: inherit; background-attachment: inherit; background-origin: inherit; background-clip: inherit; background-color: rgb(248, 248, 248); position: relative !important; border: 1px solid rgb(231, 234, 237); border-radius: 3px; padding: 8px 4px 6px; margin-bottom: 15px; margin-top: 15px; width: inherit; color: rgb(51, 51, 51); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">int v = 0;
// 线程 A 执行
v++;
// 线程 B 执行
System.out.print("v=" + v);</pre>

即使是在执行完线程里的 i++ 后再执行线程 B，线程 B 的输入结果也会有 2 个种情况，一个是 0 和1。

因为 i++ 在线程 A（CPU-1）中做完了运算，并没有立刻更新到主内存当中，而线程B（CPU-2）就去主内存当中读取并打印，此时打印的就是 0。

禁用缓存能保证可见性，volatile关键字可以禁用缓存

synchronized和Lock能够保证可见性。

三、有序性

导致有序性的原因是编译优化

我们都知道处理器为了拥有更好的运算效率，会自动优化、排序执行我们写的代码，但会确保执行结果不变。

例子：

这一段代码的执行顺序很有可能不是按上面的 1、2、3、4 来依次执行，因为 1 和 2 没有数据依赖，3 和 4 没有数据依赖， 2、1、4、3 这样来执行可以吗？完全没问题，处理器会自动帮我们排序。

在单线程看来并没有什么问题，但在多线程则很容易出现问题。

再来个例子：

<pre spellcheck="false" class="md-fences md-end-block ty-contain-cm modeLoaded" lang="java" cid="n45" mdtype="fences" style="box-sizing: border-box; overflow: visible; font-family: var(--monospace); font-size: 0.9em; display: block; break-inside: avoid; text-align: left; white-space: normal; background-image: inherit; background-position: inherit; background-size: inherit; background-repeat: inherit; background-attachment: inherit; background-origin: inherit; background-clip: inherit; background-color: rgb(248, 248, 248); position: relative !important; border: 1px solid rgb(231, 234, 237); border-radius: 3px; padding: 8px 4px 6px; margin-bottom: 15px; margin-top: 15px; width: inherit; color: rgb(51, 51, 51); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">// 线程 1
init();
inited = true;

// 线程 2
while(inited){
work();
}</pre>

init(); 与 inited = true; 并没有数据的依赖，在单线程看来，如果把两句的代码调换好像也不会出现问题。

但此时处于一个多线程的环境，而处理器真的把这两句代码重新排序，那问题就出现了，若线程 1 先执行 inited = true; 此时，init() 并没有执行，线程 2 就已经开始调用 work() 方法，此时很可能造成一些奔溃或其他 BUG 的出现。

synchronized和Lock能确保原子性，能让多线程执行代码的时候依次按顺序执行，自然就具有有序性。

而volatile关键字也可以解决这个问题，volatile 关键字可以保证有序性，让处理器不会把这行代码进行优化排序。

并发编程三要素:原子性,有序性,可见性

并发编程三要素

一、原子性

二、可见性

三、有序性

猜你喜欢

热点阅读