Java程序员修炼之道—并发编程

Java线程模型：

共享的、默认可见的可变状态

抢占式线程调度

所有线程可以很容易地共享同一进程中的对象。

能够引用这些对象的任何线程都可以修改这些对象。

线程调度程序差不多任何时候都能在核心上调入或调出线程。

必须能调出运行时的方法，否则无限循环的方法会一直占用CPU。

    然而这种不可预料的线程调度可能会导致方法“半途而废”，并出现不一致的对象。某一线程对数据做出修改时，    

    会让其他线程无法看到本应可见的修改。

为了保护脆弱的数据，对象可以被锁住。

设计理念：

设计原则：安全性-并发类型安全性、活跃度、性能、可用性、重用性

保证线程安全性的常见方法：

尽可能限制子系统之间的通信，隐藏数据对安全性非常有帮助。

尽可能保证子系统内部结构的确定性。比如说，即便子系统会以并发的、非确定性大的方式进行交互，子系统内部的设计也应该参照线程和对象的静态知识。

采用客户端应用必须遵守的策略方针。这个技巧强大，却依赖用户应用程序的合作程度，如果某个糟糕的应用不遵守规则，很难发现问题所在。

在文档中记录所有要求的行为。

系统开销之源

并发系统中的系统开销是与生俱来：

锁与监测、环境切换的次数、线程的个数、调度、内存的局部性、算法设计

同步与锁

synchronized可以用在代码块、方法，表明执行代码块或方法之前必须取得合适的锁。对于方法，意味着要去的对象实例锁(对于静态方法这是类锁)。

对于代码块，应该指明要取得哪个对象的锁。

在任何一个对象的同步块或方法中，每次只能有一个线程进入；如果其他线程试图进入，JVM都会挂起它们。

无论其他线程试图进入的是该对象的同一同步块还是不同的同步块，JVM都会如此处理。这种结构在并发理论中

被称为临界区。

不可变对象及构建器： 必须在构造方法中初始化final域、 构造器类必须是静态内部类

并发工具包：java.util.current

原子类：java.util.concurrent.atomic

java.util.concurrent.automic中有几个 名字以Automic开头的类。它们的语义基本上和volatile一样，只是封装在一个API里

，这个API包含为操作提供的适当的原子方法。

线程锁：java.util.current.locks

锁只有一种类型。。

对被锁住对象的所有同步操作都是一样的作用。

在同步代码块或方法开始取得线程锁。

在同步块或方法结束时释放线程锁。

线程或者得到锁，或者阻塞——没有其他可能。

添加不同类型的锁，比如读取锁和写入锁。

对锁的阻塞没有限制，即允许在一个方法中上锁，在另一个方法中解锁。

如果线程得不到锁，比如锁由另一个线程持有，就允许该线程后退或继续执行，或者做点别的事情——运用tryLock()方法。

允许线程尝试取锁，并可以在超过等待时间后放弃。

关键是java.util.concurrent.locks中的Lock接口，及两个实现类

ReentrantLock——本质与同步块上的那种锁是一样的，但它要稍微灵活点。

ReentReadWrite——在需要读取很多线程而写入很少线程时，性能更好。

CountDownLatch是一种简单的同步模式，这种模式允许线程在同步屏障之前做些少量的准备工作。

为了达到这种效果，在构建新的CountDownLatch实例时要给它提供一个int值(计数器)。此外，还有两个用来控制锁存器的方法：

countDown()和await()。前者对计数器减1，后者让调用线程的计数器到0之前一直等到。如果计数器已经为0或更小，

则它什么也不做。

java.util.concurrent.ConcurrentHashMap类是标准HashMap的并发版本。它改进了Collections类中提供的synchronizedMap()功能。

CopyOnWriteArrayList

Queue Java中有些多线程编程模式很大程度上都依赖于Queue实现的线程安全性。Queue接口被放在了java.util包中，因为即便在单线程编程中它也是一个很重要的模式，但我们的重点是多线程编程，并且假定你已经熟悉队列的基本用法。

BlockingQueue：在向队列中put()时，如果队列已满，它会让线程等待队列腾出空间。

在从队列中take()时，如果队列为空，会阻塞线程。

因为如果一个线程(线程池)的能力超过了其他线程，比较快的线程就会被强制等待，可以对整个系统起到调节作用。