Java原子类和JMM
JMM
Java线程之间的通信由Java内存模型控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见
重排序
as-if-serial语义
不管怎么重排序,程序的执行结果不能被改变,编译器,runtime和处理器都必须遵守as-if-serial语义
JMM的顺序一致性
数据竞争和顺序一致性
如果一个多线程程序能正确同步,这个程序将是一个没有数据竞争的程序,程序的执行讲具有顺序一致性,即程序的执行结果与该程序在顺序一致性内存模型中的执行结果相同
顺序一致性模型
有两大特性
- 一个线程中的所有操作都必须按照程序的顺序来执行
- 所有线程都只能看到一个单一的操作执行顺序,在顺序一致性内存模型中,每个操作都必须原子执行且立刻对所有线程可见
锁的内存语义
锁的释放-获取建立的happens-before关系
锁除了让临界区互斥执行外,还可以让释放锁的线程向获取同一个所得线程发送消息
final域的内存语义
final域的重排序规则
- 在构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序
- 初次读一个包含final域的对象的引用,与随后初次读这个final域,这两个操作之间不能重排序
JUC.atomic包中的原子操作类提供了一种用法简单,性能高效,线程安全地更新一个变量的方式
原子类的种类
- Atomic基本类型原子类:AtomicInteger、AtomicLong、AtomicBoolean
- AtomicArray数组类型原子类:AtomicIntegerArray、AtomicLongArray、AtomicReferenceArray
- AtomicReference 引用类型原子类:AtomicReference等
- AtomicIntegerFiledUpdate等升级类型原子类
- Adder累加器、Accumlator累加器
AtomicInteger的常用方法
- addAndGet:以原子方式将输入的数值与实例中的值相加并返回结果
- compareAndSet:如果输入的数值等于预期值,则以原子方式将该值设置为输入的值
- getAndIncrement:以原子方式将当前值加1
- lazySet:可能导致其他线程在之后的一小段时间内可以读到的值还是旧的值
- getAndSet:以原子方式设置为newValue的值,并返回旧值
原子更新数组
- AtomicIntegerArray:原子更新整型数组里的元素
- AtomicLongArray:原子更新长整型数组里的元素
- AtomicReferenceArray:原子更新引用类型数组里的元素
- AtomicIntegerArray:原子更新数组里的整型
原子更新引用类型
- AtomicReference:原子更新引用类型
- AtomicReferenceFieldUpdater:原子更新引用类型的字段
- AtomicMarkableReference:原子更新带有标记位的引用类型
原子更新字段类
- AtomicIntegerFieldUpdater:原子更新整型的字段的更新器
- AtomicLongFieldUpdater:原子更新长整型的字段的更新器
- AtomicStampFieldUpdater:原子更新带有版本号的引用类型