JAVA多线程（二）构建线程安全的类

构建线程安全的类

volatile

只保证数据可见性，不保证数据同步。也就是说，JVM只保证使用了volatile的数据变更后对所有线程暴露最新值，并不会对线程内部缓存数据的操作多限制。多线程同时变更某个共享的volatile数据并不会产生正确结果。

在满足以下条件时，可使用volatile：

1.写入变量时并不依赖变量当前值；或者能确保只有单一的线程修改变量的值。

2.变量不需要与其他变量共同参与不变约束。

3.访问变量时，没有其他原因需要加锁。

long和double

64位数据，分为上下32位两部分，其操作不是原子操作。

发布

一个对象能够被当前范围之外的代码所使用。

不要在构造函数中发布对象和启动线程。

逸出

一个对象在尚未准备好时就被发布了。此时类对象可能已经分配了空间（不为null），但是内部数据还未完成初始化。

安全发布模式

通过静态初始化器初始化对象引用；

将它的引用存储到volatile或者atomicReference；

将它的引用存储到正确创建的final域中，或者存储到由锁保护的域中。

安全共享对象

线程限制:一个线程限制的对象，被线程独占，且只能被占有它的线程修改（比如ThreadLocal类型数据）。

共享只读:一个共享的只读对象。

共享线程安全:一个线程安全的对象在内部进行同步，所以其他线程无需额外同步就可以访问。

被守护的（guarded）:被锁保护的已发布对象。

线程安全的组合对象

制订同步策略（如何在不违反不可变约束的情况下，协调其他线程对对象的访问。）并文档化。

实例限制

对象被封装在另一个对象中（如hashset中的对象），把对被封装对象的访问限制转换为对封装对象（hashset实例）的封装数据访问路径的限制。

java监视器模式（java内部锁）

通过锁来实现。

委托线程安全

如果一个类由多个彼此独立的线程安全的状态变量组成，而且类的操作不包含任何无效状态的转换（比如check-then-act），可以讲线程安全委托给这些状态变量。

扩展线程安全的类

以组合对象的内部锁代替对待扩展对象的锁模拟。

避免活跃度风险

死锁

锁顺序死锁（lock-ordering deadlock）

如果所有线程以通用的固定顺序获得锁，就不会出现锁顺序死锁。

method（A,B）参数所代表的实例可能是同一实例但是顺序不同。比如转账，从我-他和从他-我时，锁顺序是不同的。

资源死锁（resource deadlock）

线程互相等待和持有对方所需的资源

协作对象间死锁

在持有锁的时候调用外部方法是在挑战活跃度问题。外部方法可能会获得其他锁（产生死锁风险），或者遭遇严重超时阻塞。当你持有锁的时候会延迟其他视图获得该锁的线程。

开放调用

不会产生锁问题。

避免和诊断死锁

尝试定时的锁

如果锁是在嵌套方法中获取的，你无法仅仅释放外层的锁。

通过线程转储（thread dump）分析死锁

unix:kill-3或者ctrl-\，windows:ctrl-break。jdk版本5下显示的lock不会转储，jdk版本6下会有粗略的信息

其他活跃度危险（、丢失信号、活锁）

饥饿（starvation）

无尽等待资源。

弱响应性

与其他线程竞争资源造成响应性不良。

活锁（livelock）

未发生死锁但是由于不断重复错误场景而造成无法响应，通过随机等待和撤回来避免。

性能和可伸缩性

避免不成熟的优化:首先使程序正确，然后再加快。

阿姆达尔定律（amdahl定律）

S=1/(1-A+A/N)

A为并行计算部分所占比例，N为并行处理节点数。

1-a=0（只有并行）最大加速比为N；

当a=0时（只有串行）最小加速比S=1；

当N趋近于无穷大时，计算加速比s->1/(1-A)，也就是加速比上限。

线程引入的开销

切换上下文:竞争CPU和数据缓存

内存同步:存储关卡（memory barrier）指令-刷新缓存，使缓存无效，刷新硬件的写缓冲，并延迟执行的传递（存储关卡中，大多数操作不能被重排序）。

阻塞：被阻塞的线程可能自旋等待或者挂起，自旋更适合短期等待，挂起适合长期等待。

大多数通用处理器中，上下文切换开销相当于5k-10k个时钟周期，或者几微秒。

减少锁竞争（锁被请求频率*锁的持有时间）

减少持有锁的时间。

减少请求锁的频率或者协调机制取代独占锁，从而提高并发性。

缩小锁的范围:把与锁无关代码移出synchronized块，尤其是阻塞操作，如I/O操作。

减小锁的粒度:通过分拆锁（lock splitting）、分离锁（lock striping）实现。但是需要对容器进行加锁的独占的访问时，会更困难，比如ConcurrentHashMap的值需要扩展、重排时。

避免热点域

独占锁的替代：并发容器，读写锁， 不可变对象，原子变量。

检测CPU利用率

不充足的负载

IO限制：可以通过iostat或者perfmon判断一个程序是否受限于磁盘，或者通过网络监测是否受限于带宽。

外部限制：比如数据库、webservice等。

锁竞争。

对象池：需要考虑频繁创建对象带来的gc压力与池技术带来的锁切换之间的性能对比。