并发

一、并发核心概念

1、 并发与并行

并发:在单个处理器上采用单核执行多个任务即为并发。在这种情况下，操作系统的任务调度程序会很快从一个任务切换到另一个任务，因此看起来所有的任务都是同时运行的。

并行：同一时间内在不同计算机、处理器或者处理器核心上同时运行多个任务，就是所谓的并行。

另一个关于并发的定义是，在系统上同时运行多个任务(不同的任务)就是并发。而另一个关于并行的定义是:同时在某个数据集的不同部分上运行同一任务的不同实例就是并行。

关于并行的最后一个定义是，系统中同时运行了多个任务。关于并发的最后一个定义是，一种解释程序员将任务和它们对共享资源的访问同步的不同技术和机制的方法。

这两个概念非常相似，而且这种相似性随着多核处理器的发展也在不断增强。

2、同步

在并发中，我们可以将同步定义为一种协调两个或更多任务已获得与其结果的机制。同步的方式有两种：

• 控制同步：例如，当一个任务的开始依赖于另一个任务的结束时，第二个任务不能再第一个任务完成之前开始。
• 数据访问同步：当两个或更多任务访问共享变量时，在任意时间里，只有一个任务可以访问该变量。

与同步密切相关的一个概念是临界段。临界段是一段代码，由于它可以访问共享资源，因此再任何给定时间内，只能被一个任务执行。互斥是用来保证这一要求的机制，而且可以采用不同的方式来实现。

同步可以帮助你在完成并发任务的同步避免一些错误，但是它也为你的算法引入一些开销。你必须非常仔细地计算任务的数量，这些任务可以独立执行，而无需并行算法中的互通信。这就涉及并发算法的粒度。如果算法有着粗粒度(低互通性的大型任务)，同步方面的开销就会较低。然而也许你不会用到系统所有的核心。如果算法有着细粒度(高互通的小型任务)，同步方面的开销就会很高，而且该算法的吞吐量可能不会很好。

并发系统中有不同的同步机制。从理论角度看，最流行的机制如下：

• 信号量(semaphore):一种用于控制对一个或多个单位资源进行访问的机制。它有一个用于存放可以资源数量的变量，而且可以采用两种原子操作来管理变量。互斥（mutex，mutual exclusion的简写形式）是一种特殊的信号量，它只能去两个值(即资源空闲和资源忙)，而且只有将互斥设置为忙的那个进程才可以释放它。互斥可以通过保护临界段来帮助你避免出现竞争条件。
• 监视器：一种在共享资源上实现互斥的机制。它有一个互斥，一个条件变量、两种操作(等待条件和通报条件)。一旦你通报了该条件，在等待它的任务中只有一个会继续执行。

如果共享数据的所有用户都受到同步机制的保护，那么代码(或方法、对象)就是线程安全的。数据的非阻塞的CAS原语是不可变得的，这样就可以在并发应用程序中使用该代码而不会出现任何问题。

3、不可变对象

不可变对象是一种非常特殊的对象。在其初始化后，不能修改其可视状态(其属性值)。如果想修改一个不可变对象，那么你就必须创建一个新的对象。

不可变对象的主要优点在于它是线程安全的，你可以在并发应用程序中使用它而不会出现任何问题。

不可变对象的例子就是java中的String 类。当你给一个String对象赋新值时，会创建一个新的String对象。

4、原子操作和原子变量

与应用程序的其他任务相比，原子操作是一种法师在瞬间的操作。在并发应用程序中，可以通过一个临界段来实现原子操作，以便对整个操作采用同步机制。

原子变量时一种通过原子操作来设置和获取其值的变量。可以使用某种同步机制来实现一个原子变量，或者也可以使用CAS以五所方式来实现一个原子变量，二这种方式并不需要任何同步机制。

5、共享内存与消息传递

任务可以通过两种不同的方式来相互通信。第一种方法就是共享内存，通常用于在同一台计算机上运行多任务的情况。任务在读取和写入值的时候使用相同的内存区域。未来避免出现问题，对该共享内存的访问必须在一个有同步机制保护的临界段内完成。

另一个同步机制是消息传递，通常用于在不同计算机上运行多任务的情形。当一个任务需要与另一个任务通信是，他会发送一个遵循预定义协议的消息。如果发送方保持阻塞并等待响应，那么该通信就是同步的，如果发送方在发送消息后继续执行自己的流程，那么该通信就是异步的。

二、并发的问题

2.1 数据竞争

如果有两个或者多个任务在临界段之外对一个共享变量进行写入操作，也就是说没有使用任何同步机制，那么应用程序可能存在数据竞争(也叫做竞争条件)。
在这些情况下，应用程序的最终结果可能取决于任务的执行顺序。

假设有两个不同的任务执行了同一个modify方法。由于任务中的语句的执行顺序不同，最终结果也会不同。
modify方法不是原子的，concurrentDemo也不是线程安全的。

2.2 死锁

当两个（或多个）任务正在等待必须由另一线程释放的某个共享资源，而该线程又正在等待必须由
前述任务之一释放的另一共享资惊时，并发应用程序就出现了死锁。当系统中同时出现如下四种条件
时，就会导致这种情形。我们将其称为Coffman 条件。
互斥： 死锁中涉及的资师、必须是不可共享的。一次只有一个任务可以使用该资源。
占有并等待条件： 一个任务在占有某一互斥的资源时又请求另一互斥的资源。当它在等待时，
不会释放任何资源。
不可剥夺：资源只能被那些持有它们的任务释放。
循环等待：任务1正等待任务2 所占有的资源， 而任务2 又正在等待任务3 所占有的资源，以
此类推，最终任务n又在等待由任务1所占有的资源，这样就出现了循环等待。
有一些机制可以用来避免死锁。
忽略它们：这是最常用的机制。你可以假设自己的系统绝不会出现死锁，而如果发生死锁，结
果就是你可以停止应用程序并且重新执行它。
检测：系统中有一项专门分析系统状态的任务，可以检测是否发生了死锁。如果它检测到了死
锁，可以采取一些措施来修复该问题，例如，结束某个任务或者强制释放某一资源。
预防：如果你想防止系统出现死锁，就必须预防Coffman 条件中的一条或多条出现。
package com.lagou.concurrent.demo; public class ConcurrentDemo { private float myFloat; public void modify(float difference) { float value = this.myFloat; this.myFloat = value + difference; }public static void main(String[] args) { } } 123456789101112131415
规避：如果你可以在某一任务执行之前得到该任务所使用资源的相关信息，那么死锁是可以规
避的。当一个任务要开始执行时，你可以对系统中空闲的资源和任务所需的资源进行分析，这
样就可以判断任务是否能够开始执行。

2.3 活锁

如果系统中有两个任务，它们总是因对方的行为而改变自己的状态， 那么就出现了活锁。最终结果
是它们陷入了状态变更的循环而无法继续向下执行。
例如，有两个任务：任务1和任务2 ，它们都需要用到两个资源：资源1和资源2 。假设任务1对资源
1加了一个锁，而任务2 对资源2 加了一个锁。当它们无法访问所需的资源时，就会释放自己的资源并且
重新开始循环。这种情况可以无限地持续下去，所以这两个任务都不会结束自己的执行过程。

2.4 资源不足

当某个任务在系统中无法获取维持其继续执行所需的资源时，就会出现资源不足。当有多个任务在
等待某一资源且该资源被释放时，系统需要选择下一个可以使用该资源的任务。如果你的系统中没有设
计良好的算法，那么系统中有些线程很可能要为获取该资源而等待很长时间。
要解决这一问题就要确保公平原则。所有等待某一资源的任务必须在某一给定时间之内占有该资
源。可选方案之一就是实现一个算法，在选择下一个将占有某一资源的任务时，对任务已等待该资源的
时间因素加以考虑。然而，实现锁的公平需要增加额外的开销，这可能会降低程序的吞吐量。

2.5 优先权反转

当一个低优先权的任务持有了一个高优先级任务所需的资源时，就会发生优先权反转。这样的话，低优先权的任务就会在高优先权任务之前执行。