Java同步和数据一致性

Question

考虑以下简单示例：

public class Example extends Thread {
    private int internalNum;

    public void getNum() {
        if (internalNum > 1)
            System.out.println(internalNum);
        else 
            System.out.println(1000);
    }

    public synchronized modifyNum() {
        internalNum += 1;
    }

    public void run() {
        // Some code
    }
}

假设代码执行分为两个线程。假设会发生以下事件序列：

• 第一个线程访问getNum方法并缓存internalNum，此时为0。
• 同时第二个线程访问modifyNum方法获取锁，将internalNum更改为1并退出释放锁。
• 现在，第一个线程继续执行并打印internalNum。

问题是控制台上会打印什么？

我的猜测是，这个假设的示例将导致在控制台上打印 1000，因为读写刷新仅在进入或离开同步块时强制在特定线程上。因此，第一个线程将愉快地使用它的缓存值，而不知道它已被更改。

我知道使internalNum volatile 可以解决可能的问题，但是我只是想知道天气是否真的有必要。

Answer 1

假设代码执行分为两个线程。 它不退出。然而，一个资源（方法、字段）可以被两个线程以并发方式访问。

我认为你混合了一些东西。您的课程扩展了Thread，但您的问题是关于通过并发线程访问同一实例的资源。

这是适合您问题的代码。

线程间共享资源：

public class SharedResource{
    private int internalNum;

    public void getNum() {
        if (internalNum > 1)
            System.out.println(internalNum);
        else 
            System.out.println(1000);
    }

    public synchronized modifyNum() {
        internalNum += 1;
    }

    public void run() {
        // Some code
    }   
}

线程和运行代码：

public class ThreadForExample extends Thread {

    private SharedResource resource;

    public ThreadForExample(SharedResource resource){
       this.resource=resource;
    }

    public static void main(String[] args){
       SharedResource resource = new SharedResource();
       ThreadForExample t1 = new ThreadForExample(resource);
       ThreadForExample t2 = new ThreadForExample(resource);
       t1.start();
       t2.start();
    }
}

你的问题：

假设发生以下事件序列：

第一个线程访问 getNum 方法并缓存 internalNum 目前为0。同时第二个线程访问 modifyNum 方法获取锁，将 internalNum 更改为 1 和 退出释放锁。现在，第一个线程继续执行并 打印 internalNum

在您的场景中，您给人的印象是modifyNum() 方法执行会阻止其他线程访问非同步方法，但事实并非如此。
getNum() 不同步。因此，线程不需要获取对象上的锁来执行它。在这种情况下，输出仅取决于哪个线程首先执行了指令：

internalNum += 1;

或

 System.out.println(internalNum);