vimbaquestioner,
Для JMM времени не существует. Вот это неправильное рассуждение
questionerИзменения сделанные над volatile переменной видны сразу всем потокам
JMM вам такого не обещает, она всего лишь говорит, что если поток T2 видит изменение в волатольной переменной X сделанное потоком T1, то T2 также увидит и все остальные изменения сделанные T1 предшествующие записи в X. Но вот про время которое должно пройти, прежде чем T2 увидит запись в X вообщее ничего не говорится. Соответсвенно пункт 2 ошибочен по тем же причинам,
А пункт 1 не полон для случая когда внутри синхронизированного блока вы пишете в volatile переменные:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
public class Future {
private volatile boolean completed;
private Object value;
public synchronized void complete(Object value) {
if (completed) {
return;
}
this.value = value;
this.completed = true;
}
public Optional<Object> getIfCompleted() {
if (completed) {
return Optional.of(value);
}
return Optional.empty();
}
}
getIfCompleted монитор не захватает, однако в нем гарантированно будет видно value в ветке где completed = true.
а вы где увидели, что я про время говорю?
vimba getIfCompleted монитор не захватает, однако в нем гарантированно будет видно value в ветке где completed = true
ну много разных happens-before бывает. Что конкретно хотите этим показать?
я разве где-то писал, что этого не может быть? я всего лишь написал, что есть гарантия, что если мы вышли из блока syncronized, то потом при входе в секцию по тому же монитору мы гарантированно увидим изменения в блоке из которого вышли.
Комментарий из разряда "поумничать ради поумничать"
