Java并发编程学习（一）

Java内存模型（一）

基础-两个关键问题

1. 线程间通信

线程间通信的机制有两种：1、共享内存 : 线程之间通过读写程序的公共状态进行隐式通信 2、消息传递：线程之间通过发送消息来显示进行通信，线程间没有公共状态

1. 线程间同步

同步是指程序中用于控制不同线程间操作发生相对顺序的机制。共享内存并发模型中，同步是显示进行，程序员必须显示指定方法或代码间是互斥执行；消息传递机制中，同步是隐式进行的

1. java开发采用的是共享内存模型，线程间通信是隐式执行的

堆内存与栈内存

• Java的内存分为堆内存与栈内存。堆内存主要存放new 创建的对象和数组；栈内存主要存放一些基本类型的变量和对象（或数组）的引用变量。
• 对象被创建成功后，存放在堆内存里，不能直接访问，只能通过对象的引用操作该对象
• 如果堆内存中的对象没有任何变量指向，那么程序将无法再访问该对象，垃圾回收机制会进行回收，释放其内存空间

Java内存模型的抽象结构

• 堆内存存放所有实例域、静态域和数组元素，堆内存在线程之间共享
• 局部变量、方法定义参数和异常处理器参数不会在线程之间共享
• java线程之间的通信由内存模型（JMM）控制，它决定了一个线程对共享变量的写入何时对另一个线程可见
• 线程之间的共享变量存储在主内存（Main Memory）中，每个线程都有一个本地变量（local memory）,用来存储读写共享变量的副本，涵盖了缓存、写缓冲区、寄存器及其他的硬件和编译器优化

JMM抽象示意图[1]

线程A和线程B通信需要：

1. 线程A把本地内存A中的共享变量副本刷新到主内存中去
2. 线程B去主内存中读取线程A更新的共享变量

[1] : http://ifeve.com/java-memory-model-1/