抢占正在执行同步方法的线程

Question

给出以下代码

    class Test{
       double x;
       public void synchronized a()
       { 
          x = 0;
          //do some more stuff
       }
       public void b() 
       { 
          x = -1; 
       } 
    }

a() 中的线程在修改 x 的过程中是否可以被对同一对象调用 b() 的线程抢占？

同步方法不是像单个原子操作一样执行吗？

我相信另一种方式是可能的（b() 中的线程可以被在同一对象上调用 a() 的线程抢占，因为 b() 不受测试对象锁的保护）。

有人可以解释一下吗？

Answer 1

synchronized 仅阻止其他线程获取同一监视器。它不可能使操作原子化。特别是：

• 该方法的副作用可以被未尝试在同一监视器上同步的其他线程观察到。
• 如果发生异常，则不会进行回滚。
• 其他线程可以访问和修改该方法使用的相同数据。同步方法，如果它们在同一监视器上不同步，则

b() 不同步，因此完全有可能一个线程正在执行 a() 而另一个线程正在执行 a()同时执行b()。

Answer 2

由于 b() 不同步，而 a() 同步，因此有可能一个线程位于 a() 中，而另一个线程位于 a() 中。位于 b() 中。因此，由于对x的并行非同步访问，x的值很可能会出现乱码。

此外，如果您的代码如下所示：

class Test{
       double x;
       public void synchronized a()
       { 
          x = 0;
          //do some more stuff
       }
       public void b() 
       { 
          x = -1; 
          a(); //added call to a()
       } 
    }

并且两个线程都在同一个实例上运行，那么线程 1 [ 当前位于 a() 中的可能性就出现了被线程 2 抢占[当前在 b() 中]。

然而，线程1被抢占后，当线程2尝试进入a()方法时，JVM将不允许它；因为另一个线程[尽管没有运行]已经拥有了锁。因此，现在线程 2 将等待，直到线程 1 完成 a() 的执行并返回。然后线程 2 [很可能]将被恢复并允许执行 a()。