Why is using atomic variable access is more efficient than accessing these variable through synchronised code?
我是爪哇人,正在努力学习原子访问的概念。我从Java教程Oracle看到下面的语句。我的问题是:
为什么使用原子变量访问比通过同步代码访问这些变量更有效?
为什么使用原子变量访问需要程序员更加小心以避免内存一致性错误。
我过得很不好受。
Using simple atomic variable access is more efficient than accessing
these variables through synchronized code, but requires more care by
the programmer to avoid memory consistency errors. Whether the extra
effort is worthwhile depends on the size and complexity of the
application.
答案(1):对于读访问,不管它是原子的还是非原子的、同步的还是非同步的。对于写访问,原子变量不需要锁来写,因为对变量的所有更新都是原子的(发生或没有完全发生),例如:假设您希望在多线程应用程序中执行i++并且多线程可以调用它,则需要同步化i++调用(因为它设置为3个注册表级调用,并且您知道它可以在注册表级调用的任何点进行上下文切换,甚至在两者之间),以避免脏读和不一致的写入。而原子变量只有一个注册表级调用(由于添加了额外的寄存器,并且我们的语言可以利用它)。由于同步开销(获取监视器锁并随后释放),原子变量访问比通过同步代码访问这些变量更有效。
答案(2):Java中的所有对象都需要程序员更小心地避免内存一致性错误,不管它是否是Atomic。虽然原子变量的同级可以是原始变量而不是对象,但它不属于对象类别,因此不需要处理内存一致性错误。在多线程应用程序中,每个对象都需要避免内存一致性错误的原因是,如果被另一个线程(即使在相同的代码中,但线程堆栈不同)修改,则每个线程堆栈在线程堆栈(运行时优化)上本地缓存对象的副本可能会导致与实际的堆副本不同步。要避免的一个解决方案是为该对象使用volatile,而另一个线程可以经常更改volatile。此外,本地副本尝试与堆副本同步非常快,但如果线程访问它的速度比同步更快,则会出现问题。
希望这能帮助您理解原子和内存访问概念。
将变量声明为volatile意味着修改其值会立即影响变量的实际内存存储。编译器无法优化对变量的任何引用。这保证了当一个线程修改变量时,所有其他线程都会立即看到新值。(非易失性变量不一定如此。)
声明一个原子变量可以保证对该变量进行的操作以原子方式发生,即,操作的所有子步骤都在执行它们的线程内完成,并且不会被其他线程中断。例如,增量和测试操作要求变量递增,然后与另一个值进行比较;原子操作保证这两个步骤都将完成,就像它们是一个不可分割/不可中断的操作一样。
同步对变量的所有访问一次只允许一个线程访问该变量,并强制所有其他线程等待该访问线程释放对该变量的访问。
同步访问类似于原子访问,但原子操作通常在较低的编程级别上实现。此外,完全可以只同步对变量的某些访问,并允许其他访问不同步(例如,同步对变量的所有写入,但不同步对变量的任何读取)。
原子性、同步性和易变性是独立的属性,但通常结合使用来强制访问变量的适当线程合作。