JUC并发编程（3） 共享模型之管程

共享带来的问题

在多个线程访问共享资源时，可能发生指令交错，造成并发问题。

概念

• 临界区 (Critical Section)：
  • 一段代码块如果在同一时刻被多个线程访问，就会出现并发问题。
• 竞争条件 (Race Condition)：
  • 多个线程同时操作共享数据，由于操作顺序不固定，可能导致数据不一致。

解决方案

• 阻塞式的解决方案

synchronized俗称的【对象锁】

基于Lock接口，非块结构（Non-Block Structured）来实现互斥同步：eg重入锁（ReentrantLock）

• 非阻塞式的解决方案

基于冲突检测的乐观并发策略 ,eg 原子变量

• 无同步方案

要保证线程安全，也并非一定要进行阻塞或非阻塞同步，同步与线程安全两者没有必然的联系。如果能让一个方法本来就不涉及共享数据，那它自然就不需要任何同步措施去保证其正确性，

不依赖全局变量、存储在堆上的数据和公用的系统资源，用到的状态量都由参数中传入，不调用非可重入的方法.如果一个方法的返回结果是可以预测的，只要输入了相同的数据，就都能返 回相同的结果，那它就满足可重入性的要求，当然也就是线程安全的