Java атомная функция против Эффективное Java выдержке

Question

Если переменная типа Int (целое число) является по своей сути атомное в Java согласно выдержке Effective Java в ниже, то почему мы видим противоречивое состояние целого значения в примере: https://docs.oracle.com/javase/tutorial/essential/concurrency/syncmeth.html

Спецификация языка гарантирует, что чтение или запись переменной атома, если переменная имеет тип long или double [JLS, 17.4.7]. Другими словами, , читающий переменную, отличную от длинной или двойной, гарантированно возвращает значение, которое было записано в эту переменную некоторым потоком, даже если несколько потоков изменяют переменную одновременно и без синхронизации.

Вышеуказанные пункты противоречат мне.

Answer 1

Ваша ошибка заключается в приравнивании отдельных операций, таких как считывание значения и запись значения в операцию, например, приращение, что требует нескольких операций.

В примере, на который вы ссылаетесь, содержатся примеры приращения и уменьшения переменной int. Эти операции выглядят как одна операция в коде, но они действительно две операции за кулисами. Чтобы увеличить или уменьшить, вы должны прочитать значение, изменить его, а затем записать значение.

Эти операции должны быть синхронизированы, чтобы быть потокобезопасными, поскольку они состоят из нескольких операций, которые в случае прерывания приводят к неправильным значениям из-за условий гонки.

Даже если отдельные операции чтения или записи сами по себе согласованы, для обеспечения согласованности необходимо синхронизировать набор нескольких операций.

Answer 2

Чтение/запись в int одиночный атомарной операцией:

int a = 10; // writing 
doSomething(a); // reading 

С другой отчетности рук, увеличивающие и уменьшающие состоят из нескольких операций:

a++; 

эквивалентно:

a = a + 1; // reading and writing 

a может быть изменен после readi ng второй a и перед тем, как записать итоговое значение в первое a.