Java多线程Sample 1

源码地址在github的ThreadsSafeProblem仓库demo1包。

一、问

内存中有一个整型变量value=0，两个线程都获取它后，将变量自加，会输出什么结果？

二、代码

UnsafeSequence.java

package demo1;public class UnsafeSequence {    private int value;    public int getNextVal(){        return value++;    }}

MyRunnable.java

package demo1;public class MyRunnable implements Runnable {    UnsafeSequence unsafeSequence;    //向线程注入公用对象    public MyRunnable(UnsafeSequence unsafeSequence) {        this.unsafeSequence = unsafeSequence;    }    @Override    public void run() {        System.out.println(Thread.currentThread().getName()+":"+unsafeSequence.getNextVal());    }}

Main.java

package demo1;public class Main {    public static void main(String[] args) {        //定义公用对象        UnsafeSequence unsafeSequence = new UnsafeSequence();        //定义两个线程        MyRunnable m1 = new MyRunnable(unsafeSequence);        MyRunnable m2 = new MyRunnable(unsafeSequence);        Thread t1 = new Thread(m1);        Thread t2 = new Thread(m2);        //启动线程        t1.start();        t2.start();    }}

三、选项

看完代码后，你觉得会输出什么呢？

• A. t1:0 和 t2:1
• B. t1:0 和 t2:0
• C. t1:1 和 t2:0
• D. t2:0 和 t1:1
• E. t2:0 和 t1:0
• F. t2:1 和 t1:0

答案：ABCDEF

四、分析原因

UnsafeSequence类中的value++操作，执行的过程中，大概可以分为取数、操作、写回3个操作，由于两个线程的这三个操作顺序的不确定性，所以上面程序输出的结果也有所不同。

如图这种状况，输出结果为t1:0 t2:0，至于其它情况可以多允许几次，估计就能看到不同的结果。

五、通过字节码分析

使用javap -v UnsafeSequence.class反编译查看字节码：

{  public demo1.UnsafeSequence();    flags: ACC_PUBLIC    Code:      stack=1, locals=1, args_size=1         0: aload_0         1: invokespecial #10                 // Method java/lang/Object."<init>":()V         4: return      LineNumberTable:        line 3: 0      LocalVariableTable:        Start  Length  Slot  Name   Signature               0       5     0  this   Ldemo1/UnsafeSequence;  public int getNextVal();    flags: ACC_PUBLIC    Code:      stack=4, locals=1, args_size=1         0: aload_0         1: dup         2: getfield      #18                 // Field value:I         5: dup_x1         6: iconst_1         7: iadd         8: putfield      #18                 // Field value:I        11: ireturn      LineNumberTable:        line 7: 0      LocalVariableTable:        Start  Length  Slot  Name   Signature               0      12     0  this   Ldemo1/UnsafeSequence;}

可以很清楚的看到，getNextVal方法做的0-11的操作，如果t1的putfield执行在t2的aload_0后，则t1/t2输出的结果都为0，否则一个为0一个为1。