Как известно, освобождение монитора и последующий захват этого же монитора другим потоком соотносятся как happens-before, т.е. T1[unlock:monitor1]<<T2[lock:monitor1]
.
Вопрос:
Допустим, что поток T2
сейчас ожидает в wait()
по некоторому монитору, а поток T1
вызвал синхронизированный по этому монитору метод, из которого вызвал notifyAll()
и отпустил монитор. Будет ли считаться, что отпускание монитора потоком T1
(т.е. просто выход из метода) happens-before поток T2
вышел из wait()
снова забрав блокировку.
Очень прошу, ответьте на мой вопрос. Он каверзный и мне не хватает сил найти источники, где достоверно точно сказано, что выход из wait()
включает в себя полноценный захват блокировки, и что happens-before правило для междупоточных relock'ов здесь будет сохраняться.
ВНИМАНИЕ: оставшаяся часть вопроса требует вникания. Вы можете дать ответ не читая остальное. Вопрос самодостаточно сформулирован и без примеров кода.
Иллюстрация вопроса:
package attempt;
import java.util.concurrent.*;
class Writer implements Runnable {
public void run() {
Main.x = 1;
Main.methodWait(); // (1)
}
}
class Reader implements Runnable {
public void run() {
Main.methodNotify(); // (2)
System.out.println(Main.x);
}
}
public class Main {
public static int x = 0;
public static boolean flag = false;
public static synchronized void methodWait() {
try {
while (!flag)
Main.class.wait();
} catch (InterruptedException e) {
System.err.println("Impossible");
}
}
public static synchronized void methodNotify() {
flag = true;
Main.class.notifyAll();
}
public static void main(String[] args) throws Exception{
ExecutorService exec = Executors.newCachedThreadPool();
exec.execute(new Writer());
Thread.sleep(500);
exec.execute(new Reader());
exec.shutdown();
}
}
Для этого кода вопрос звучит так:
Правда ли, что строки (1)
и (2)
полностью обеспечивают собой happens-before? Если правда, то почему?
(Считаем, что sleep()
в main()
обеспечил, что writer физически раньше выполнился до ожидания в methodWait()
чем reader вообще запустился в потоке)