Оба С# и Java определяют, что
* volatile reads приобретают семантику
* volatile write имеет семантику выпуска
Мои вопросы:
- Это единственный правильный способ определения изменчивости.
- Если нет, все будет ужасно иначе, если семантика будет отменена, то есть
- volatile reads имеет семантику выпуска
- volatile пишет наличие семантики