jmm学习笔记

进程与线程的区别

1. 进程是资源分配的最小单位，线程是程序执行的最小单位（资源调度的最小单位）
2. 进程有自己的独立地址空间，每启动一个进程，系统就会为它分配地址空间，建立数据表来维护代码段、堆栈段和数据段，这种操作非常昂贵。而线程是共享进程中的数据的，使用相同的地址空间，因此CPU切换一个线程的花费远比进程要小很多，同时创建一个线程的开销也比进程要小很多。
3. 线程之间的通信更方便，同一进程下的线程共享全局变量、静态变量等数据，而进程之间的通信需要以通信的方式（IPC)进行。不过如何处理好同步与互斥是编写多线程程序的难点。
4. 但是多进程程序更健壮，多线程程序只要有一个线程死掉，整个进程也死掉了，而一个进程死掉并不会对另外一个进程造成影响，因为进程有自己独立的地址空间。

进程间的通信方式

1. 管道(pipe)及有名管道(named pipe)
2. 信号量
3. 信号
4. 共享内存
5. 消息队列
6. 套接字socket

JMM

缓存一致性协议

缓存一致性协议是给缓存行定义了个状态，用来描述缓存行是否被多处理器共享，是否被修改。一下是四种状态

1. 独占
2. 共享
3. 修改
4. 失效

JMM的三大特性

1. 原子性：read,load,use,assign,store,write,lock,unlock 8个指令来汇编实现的。
2. 可见性：一个线程的操作对其他线程来说是可见的。
3. 有序性：在一个线程内部来说是有序的，对其他线程来说是无序的。

JMM内存分析

大致流程：

1. jmm通过read指令把主内存当中的变量加载到线程的工作内存当中
2. 然后通过load指令进行一个赋值的操作
3. 然后通过use指令把把变量给线程，这样线程就可以对变量进行操作了
4. 如果一个线程对变量进行了操作之后Jmm会通过assign指令把操作之后的变量放入线程的工作内存当中
5. 然后再通过store指令放入主内存当中
6. 最后通过write指令对变量进行修改

指令重排

as-if-serial

不管怎么重排序(编译器和处理器为了提高并发度)，(单线程) 程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。

happens-before

1. 程序员对内存的使用，为程序员提供足够强的内存可见性保证。
2. 编译器和处理器对内存模型的实现，对编译器和处理器尽可能的放松
3. 会改变执行结果的重排序，jmm会要求编译器和处理器禁止这种重排序
4. 不会改变执行结果的重排序，jmm运行这种重排序

内存屏障