Есть два потока: thread1 и thread2. Первый видит код:
synchronized(globalVar) {
thread2.start();
s = 1;
}
Второй поток ждёт лок по globalVar:
synchronized(globalVar) {
}
someVar = s;
Считается (стр 14), что в данном случае пустой блок синхронизации гарантирует, что второй поток увидит значение s, присвоенное первым потоком.
Будет ли это верно для любого количества потоков и вообще, не лучше ли использовать ReentrantLock ?
Task
(Future
) +async/await
.await
в .NET качественно другая штука. Он не саспендит текущий поток в ожидании результата другого задания, а превращает остаток метода в continuation и прикрепляет к заданию, результата которого надо дождаться. В результате с низкоуровневой точки зрения async-метод как бы переключается в другой поток.