Java线程结果不一致

Question

我有一个实现可运行的线程类和一个int计数器作为实例变量。两种同步方法add和sub。当我以某种方式运行测试类时，它几次会输出错误的结果。据我了解，当方法同步时，整个对象将被锁定以供其他线程访问，这种逻辑每次我们都应该获得相同的结果正确吗？事实并非如此。我想念什么吗？

我的机器是Windows 7、64位。

 public class ThreadClass implements Runnable {

        int counter = 0;

        @Override
        public void run() {
            add();
            sub();
        }

        public synchronized void add() {
            System.out.println("ADD counter" + (counter = counter + 1));
        }

        public synchronized void sub() {
            System.out.println("SUB counter" + (counter = counter - 1));
        }
    }

测试类

public class ThreadTest {

    public static void main(String args[]) {
        ThreadClass tc = new ThreadClass();
        Thread tc0 = new Thread(tc);
        tc0.start();
        tc0.setPriority(Thread.MAX_PRIORITY);
        Thread tc1 = new Thread(tc);
        tc1.start();
        tc1.setPriority(Thread.NORM_PRIORITY);
        Thread tc2 = new Thread(tc);
        tc2.start();
        tc2.setPriority(Thread.MIN_PRIORITY);
    }
}

结果

ADD counter1
ADD counter2
SUB counter1
SUB counter0
ADD counter1
SUB counter0

注意： 您可能需要进行几次运行才能产生这种不一致。

Answer 1

同步确实意味着所有线程将在等待进入同步块之前阻塞等待获取锁。对象上只有一个线程可以锁定，因此add()or sub()方法中只能有一个线程。

但是，这并不意味着有关线程的顺序。您正在启动三个线程-唯一的保证是，通过立即运行addor
sub方法，它们不会互相sto脚。线程1可以调用add()，然后线程3可以调用add()，然后线程2可以调用add()，然后它们都可以调用sub()。或者他们都可以打电话add()，然后sub()每个人都打电话。或任何混合-
唯一的要求是每个线程都在调用add()之前调用，sub()并且永远不会调用任何两个线程，add()或者sub()在该方法中同时调用另一个线程。

撇开它：在某些情况下，它可能是不好的形式this，因为它是公共的，因此通常无法同步。通常更喜欢使用内部私有Object锁来锁定，这样其他任何调用者都无法获得您的锁定并违反您设计的任何锁定策略。