java中同步块的部分执行

Question

我只是好奇，有没有可能一个线程T1部分执行了一个同步块，然后释放了对象上的锁，而另一个线程T2执行了同一个同步块？大概是这样的:

line1: synchronized(this){
line2:  if(INSTANCE == null)
line3:   INSTANCE = new Object(); //say a variable is initialized
line4:  return INSTANCE;
line5: }

线程T1是否可能获取当前对象的锁（＜code＞this＜/code＞）并执行第1行和第2行。然后线程T1被线程T2抢占，T1释放锁，T2获取＜code＞this＜/code＜的锁并执行相同的块（所有第1行到第5行）。然后线程T1再次获取锁并从第3行继续执行？

基本上，T1会将INSTANCE视为null，T2也是如此，每个都会创建一个新的Object。

如果这是不可能的，有人能解释为什么不可能吗？

补遗：

谢谢大家的回答。我的问题有点误导。我真正想问的是，有没有可能一旦一个线程正在执行一个同步的块，它就可以在整个块被执行之前释放锁(不是通过显式调用< code>wait()而是依赖于进程和CPU的某种方式)？在JLS或JVM中是否有一个契约保证一旦一个线程开始执行一个同步块，对象上的锁直到该块结束才会被释放？我的理解是同步保证没有两个线程可以同时执行这个块(或者其他同步的方法/块),但是锁会一直保持到到达块的末尾？这是显而易见的，但是在JLS中有规定吗？

Answer 1

我很确定在第一个线程执行完整个块之前，第二个线程不可能进入< code>synchronize块。一旦获得对象的锁，所有其他试图进入同步代码的线程都将被阻塞。

请点击此处查看更多信息:http://tutorials . jen kov . com/Java-concurrency/synchronized . html

Answer 2

即使线程被抢占，它也不会释放锁。锁仍被锁住。如果另一个线程出现，它将阻塞（停止运行）直到释放锁，即使原始线程在释放锁之前多次被抢占。基本上，几乎任何类型的锁都在堆中有一些存储，这些存储被写入以指示存在锁。它是永久的，直到线程或系统写入一个不同的值来指示锁是空闲的。

当然，编写允许访问实例或字段的代码而不需要锁是可能的，但这是一个编码错误。原始线程也有可能提前退出块（比如抛出异常）——这会释放锁，其他线程可以正常继续。

Answer 3

线程抢占不会导致被抢占的线程释放其锁。如果是这样，锁将一文不值。同步块的全部意义在于，它将禁止其他线程在同一对象上同步，直到线程释放锁（通过离开同步块）。