【问题标题】:java threads don't see shared boolean changesjava线程看不到共享布尔更改
【发布时间】:2013-06-29 22:19:18
【问题描述】:

这里是代码

class Aux implements Runnable {

    private Boolean isOn = false;
    private String statusMessage;
    private final Object lock;

    public Aux(String message, Object lock) {
        this.lock = lock;
        this.statusMessage = message;
    }

    @Override
    public void run() {
        for (;;) {
            synchronized (lock) {

                if (isOn && "left".equals(this.statusMessage)) {
                    isOn = false;
                    System.out.println(statusMessage);
                } else if (!isOn && "right".equals(this.statusMessage)) {
                    isOn = true;
                    System.out.println(statusMessage);
                }

                if ("left".equals(this.statusMessage)) {
                    System.out.println("left " + isOn);
                }

            }
        }
    }
}

public class Question {
    public static void main(String [] args) {
        Object lock = new Object();

        new Thread(new Aux("left", lock)).start();
        new Thread(new Aux("right", lock)).start();
    }
}

我希望在这段代码中看到:

左,右,左,右等等,

但是当带有“左”消息的线程将 isOn 更改为 false 时,带有“右”消息的线程看不到它并且我得到(“右真”和“左假”控制台消息),左线程看不到isOn 为真,但右线程无法更改它,因为它总是看到旧的 isOn 值(真)。

当我将 volatile 修饰符添加到 isOn 时,没有任何变化,但是如果我将 isOn 更改为带有布尔字段的某个类并更改此字段,那么线程会看到更改并且它工作正常

提前致谢。

【问题讨论】:

    标签: java multithreading concurrency volatility


    【解决方案1】:

    isOn 是线程局部变量,所以当一个线程修改它时,另一个线程将看不到更改。当您使用带有布尔字段的类时,您可能会为每个线程提供该类的相同实例,这意味着线程将看到其他线程所做的更改。但是,您创建了两个 Aux 实例,而不是只使用一个。

    如果您希望它在两个不同的实例上工作,请尝试将static 修饰符(连同volatile 修饰符)添加到Boolean 字段;否则,不要创建第二个Aux

    【讨论】:

    • @Brian Roach “只使用带有布尔字段的类”我指的是他问题的倒数第二段的第二个子句 - 他正在使用像 class MyBoolean { public boolean isOn; } 这样的类并给出两个线程使用相同的 MyBoolean 实例
    • oic - 对,继续 :)(涉及啤酒……需要离开 SO)
    • 使用 synchronized(otherThread){otherThread.booleVar=true;} 有效吗?
    • @huseyintugrulbuyukisik 为什么要这样做而不是使布尔字段静态或仅使用 Aux 的相同实例?
    • @andymur 线程不共享原始类型,因为 Java 是按值传递的 - 当您将 int 传递给两个线程时,每个线程都会获得自己的 int 副本。原始包装器是不可变的,例如当您将Integer 传递给两个线程时,每个线程都会获得相同Integer 引用的线程本地副本,但是当一个线程覆盖Integer 时,它只会覆盖其线程本地副本,另一个线程不会看到。
    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2018-08-28
    • 2011-07-08
    • 1970-01-01
    相关资源
    最近更新 更多