1

对于 volatile 的每个 JLS 示例，以下代码是否应该在 windows 7 x86 jdk 7（打开 -ea）上抛出 AssertionError ？

public class TestVolatile {
static volatile int i = 0;
static volatile int j = 0;

static void one() {
    i++;
    j++;
    assert (i>=j);
//:"one: i=" + i + " j=" + j;
}
static void two() {
    //System.out.println("i=" + i + " j=" + j);
    assert (i<=j);
    /*
    System.out.print("<i=" + i);
    for (int k = 0; k < 1000000; k++);
    System.out.println(", j=" + j+">");
    */
}
public static final int NUM_WORKERS =  4;

public static void main (String [] args) {
    final Worker [] workers = new Worker[NUM_WORKERS];
    final Thread [] workerThreads = new Thread[NUM_WORKERS];

    for (int i = 0; i < NUM_WORKERS; i++) {
        Worker w = new Worker(i);
        workers[i] = w;
        workerThreads[i] = new Thread(w,"workerThread_"+i);
    }

    for (int i = 0; i < NUM_WORKERS; i++) {
        workerThreads[i].start();
    }

}


}

final class Worker implements Runnable {
final int id;
volatile boolean notDone = true;


public Worker(int tid){
    id = tid;
}

@Override
public void run() {
    //System.out.println("worker start:" + id);
    try {
        while (notDone) {
            if (id  <  TestVolatile.NUM_WORKERS - 1) {
                TestVolatile.one();
            } else {
                TestVolatile.two();
            }
        }
    } catch (Exception e) {
        // TODO: handle exception
        e.printStackTrace();
    }
}
};
4

1 回答 1

4

您有超过 1 个线程正在运行one。i并且j是易变的，因此更改将是可见的，但是i++并且j++不是原子操作，并且很可能其中一个计数器在某个阶段不会正确递增：

例如，假设 i 为 5，以显示可能引发 AssertionError 的有效线程交错：

  • 线程 1：读取 i => 5
  • 线程 2：读取 i => 5
  • 线程 1: temp = i + 1 => 6
  • 线程 2: temp = i + 1 => 6
  • 线程 1：写 i = temp => 6
  • 线程 2：写 i = temp => 6
  • 线程 1：读取 j 并递增 => j = 6
  • 线程 2：读取 j 并递增 => j = 7

而且 i 和 j 不同步，您的断言one将失败。

但是，尽管存在数据竞争，但程序的运行仍然有可能不会引发断言错误：JLS 不保证您的程序将运行良好，但它也没有说它也不会。

编辑：其中一位编写 JLS 的“线程和锁”部分的人实际上在他的博客上发表了一篇关于一个非常相似的问题的帖子。评论甚至提到了您在问题中提到的 JLS 部分：JLS 示例中只有一个写作线程。

于 2013-01-13T19:46:54.290 回答