Java并发模型基础(笔记)——并发模型的两个关键问题

在并发编程中，需要处理两个关键问题：

线程之间如何通信

以及

线程之间如何同步

。

通信

是指线程之间以何种机制来

交换信息

。在命令式编程中，线程之间的通信机制有两种：

共享内存

和

消息传递

。

在共享内存的并发模型里，线程之间共享程序的公共状态，通过写-读内存中的公共状态进行隐式通信。在消息传递的并发模型里，线程之间没用公共状态，线程之间必须通过发送消息来显示进行通信。

同步是指程序中用于

控制不同线程间操作发生相对顺序的机制

。在共享内存并发模型里，同步是显式进行的。程序员必须显示指定某个方法或某段代码需要在线程之间互斥执行。在消息传递的并发模型里，由于消息的发送必须在消息的接收之前，因此同步是隐式进行的。

Java的并发采用的是共享内存模型，Java线程之间的通信总是显性进行