并发编程中的三个问题有哪些 并发编程的三大问题(2)

并发编程中的三个问题有哪些

思考:最终number结果可能是多少？

结果可能是5000，也可能是小于5000的结果都有可能

对于 number++ 而言（number 为静态变量），实际会产生如下的 JVM 字节码指令：

9: getstatic #12 // Field number:I
12: iconst_1
13: iadd
14: putstatic #12 // Field number:I

可见number++是由多条语句组成，以上多条指令在一个线程的情况下是不会出问题的，但是在多线程情况下就可能会出现问题。比如一个线程在执行13: iadd时，另一个线程又执行9: getstatic。会导致两次number++，实际上只加了1。

总结:并发编程时，会出现原子性问题，当一个线程对共享变量操作到一半时，另外的线程也有可能来操作共享变量，干扰了前一个线程的操作。

3.有序性

有序性（Ordering）：是指程序中代码的执行顺序，Java在编译时和运行时会对代码进行优化，会导致程序最终的执行顺序不一定就是我们编写代码时的顺序

3.1. 有序性可见性案例演示

有序性使用jcstress是java并发压测工具

pom文件，添加依赖

<dependency>
    <groupId>org.openjdk.jcstress</groupId>
    <artifactId>jcstress-core</artifactId>
    <version>0.5</version>
</dependency>

代码

@JCStressTest
@Outcome(id = {"1", "4"}, expect = Expect.ACCEPTABLE, desc = "ok")
@Outcome(id = "0", expect = Expect.ACCEPTABLE_INTERESTING, desc = "danger")
@State
public class OrderingTest {
   int num = 0;
   boolean ready = false;
   // 线程1执行的代码
    @Actor
   public void actor1(I_Result r) {
       if (ready) {
           r.r1 = num + num;
       } else {
           r.r1 = 1;
       }
   }
   // 线程2执行的代码
    @Actor
   public void actor2(I_Result r) {
       num = 2;
       ready = true;
   }
}

I_Result 是一个对象，有一个属性 r1 用来保存结果思考:在多线程情况下可能出现几种结果？

• 情况1：线程1先执行actor1，这时ready = false，所以进入else分支结果为1。
• 情况2：线程2执行到actor2，执行了num = 2;和ready = true，线程1执行，这回进入 if 分支，结果为 4。
• 情况3：线程2先执行actor2，只执行num = 2；但没来得及执行 ready = true，线程1执行，还是进入else分支，结果为1。

注意:还有第四种情况

种结果0

• 情况4：线程2java编译后结果

ready = true;
num = 2;

线程2先执行actor2，执行了ready = true，但没来得及执行执行num = 2，线程1执行，还是进入if分支，结果为0