1 并发编程安全性问题引入
单线程情况下,不存在打断的情况,是不谈原子性,有序性和可见性。多线程应用中,这个特性引起的程序执行结果的不确定性(non-determinisim)。
在不同的场景下,不需要并发编程三个特性同时打破才能才会引起不安全问题,可能有些场景不关心有序性和可见性。
因此三个条件引起不确定性的关系是或的关系。
2 java针对并发编程安全性问题提供的工具
原子引用类依然没有解决线程可见性。原子引用类是解决单个变量的原子性问题,本身就不存在有序性的问题。
并发编程中原子性强调一个线程在执行一组操作时不被其它线程打断,如果某个操作失败,并不能对已完成的操作撤销,通过加锁和原子引用类(CAS)实现。数据库事务中原子性,强调一组操作要么全部执行,中间有任何一个操作失败,正组操作都不执行,通过事务回滚实现,可以撤销已经执行的操作。