java并发编程的艺术（读书笔记1）

java并发编程的艺术（读书笔记1）

并发编程的两个问题：线程间的通信和同步。同步是指多个线程之间操作的相对顺序。

存在两种并发编程模型：

• 基于共享内存：隐式通信，显式同步，Java即属于此类。
• 基于消息传递：显式通信，隐式同步。（ 发送消息时就已经存在一个发送和接收的先后顺序）。

原子操作：一个或一系列无法分割的操作。

Cpu如何实现原子操作：

• 锁定总线
• 锁定缓存

Java中如何实现原子操作：

• 循环cas（一种无锁并发技术）
• 使用锁

Volatile关键字：对volaile变量的写操作会立即刷新到共享内存，保证所有线程都可以看到最新的值。

锁的内存语意：一个线程释放锁时，会将前面的共享变量全部刷新到主内存，后续某个线程获取锁时，会重新从主内存读取共享变量的最新值。锁的释放和获取实际上是通过主内存实现了线程间的通信。

Volatile写-volatile读具有和释放锁-获取锁相同的内存语意。

Java 内存模型规范对数据竞争的定义如下：
在一个线程中写一个变量，在另一个线程读同一个变量，而且写和读没有通过同步来排序。

当代码中包含数据竞争时，程序的执行往往产生违反直觉的结果。

JMM对正确同步的多线程程序的内存一致性做了如下保证。如果程序是正确同步的，程序的执行将具有顺序一致性（SequentiallyConsistent）——即程序的执行结果与该程序在顺序一致性内存模型中的执行结果相同。

顺序一致性内存模型是一个被计算机科学家理想化了的理论参考模型，它为程序员提供了极强的内存可见性保证。顺序一致性内存模型有两大特性。

• 一个线程中的所有操作必须按照程序的顺序来执行。
• （不管程序是否同步）所有线程都只能看到一个单一的操作执行顺序。在顺序一致性内存模型中，每个操作都必须原子执行且立刻对所有线程可见。

重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。

as-if-serial语义的意思是：不管怎么重排序（编译器和处理器为了提高并行度），（单线程）程序的执行结果不能被改变。

Jvm会通过禁止特定的重排序来保证正确同步的多线程的顺序一致性：

• 设定规则来禁止编译器的重排序
• 在最终生成的汇编指令中插入内存屏障来禁止处理器的重排序。

《JSR-133:JavaMemoryModelandThreadSpecification》定义了如下happens-before规则：

1. 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。
2. 监视器锁规则：对一个锁的解锁，happens-before于随后对这个锁的加锁。
3. volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。
4. 传递性：如果Ahappens-beforeB，且Bhappens-beforeC，那么Ahappens-beforeC。
5. start()规则：如果线程A执行操作ThreadB.start()（启动线程B），那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。
6. join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。

·as-if-serial语义保证单线程内程序的执行结果不被改变，happens-before关系保证正确同步的多线程程序的执行结果不被改变。

·as-if-serial语义给编写单线程程序的程序员创造了一个幻境：单线程程序是按程序的顺序来执行的。

happens-before关系给编写正确同步的多线程程序的程序员创造了一个幻境：正确同步的多线程线程程序是按happens-before指定的顺序来执行的。