并发基础概念

为什么使用多线程？

一般来说，主要出于两个目的，第一是为了获得更好的性能，第二是业务需要；

一、并发基础概念

1、进程与线程

进程是程序运行时的实体，是系统进行资源分配和调度的基本单位，在当代面向线程设计的计算机结构中，进程是线程的容器。

线程相当于轻量级进程，是程序执行的最小单位，使用多线程而不使用多进程去进行程序的并发，主要是因为线程间的切换和调度成本远小于进程。

2、同步与异步

同步和异步通常用与形容方法调用，同步方法调用一旦开始就只有等其执行完毕返回后才执行后面的代码；而异步方法一旦开始就立即返回，执行后续代码。

3、并行与并发

并行是同时执行，并发是交替执行

4、临界区

临界区用来表示一种公共资源或者是共享数据，可以被多个线程占用，但是每一次只能有一个线程使用它，一旦临界区资源被占用，其他线程想要使用这个资源就必须等待。

4、死锁、饥饿和活锁

死锁、饥饿和活锁都属于多线程的执行问题，发生这三种情况，线程可能就很难再执行下去；

• 死锁指多个线程互相需要其他线程所拥有的资源并且是循环依赖，而又不能自己释放所拥有的资源，造成的互相都不能执行；

• 饥饿是指某一个或者多个线程因为种种原因无法获得所需要的资源，导致一直无法执行；

• 活锁是指线程间相互释放资源给对方，导致没有一个线程可以同时拥有所有资源执行；

5、并发级别

（1）阻塞

阻塞即相当于排队时等待

（2）无饥饿

多个线程的执行不会产生某个线程一直无法获取执行所需的资源

（3）无障碍

所有的线程都可以加入临界区修改共享数据，如果检测到并发问题就会对操作进行回滚

（4）无锁

在无锁的情况下所有的线程都能尝试对临界区进行访问，但无锁的并发保证有一个线程能够在有限步内完成操作离开临界区

（5）无等待

无等待要求所有线程都必须在有限步内完成

6、线程的三大特性

（1）原子性

原子性指程序中的一个操作是不可中断的，在多个线程一起执行的时候，一个操作如果开始，就不会被其他线程干扰。如一个int型的静态全局变量x，两个线程A和B对它进行赋值操作，要么A赋值操作执行完了B再执行，要么B赋值操作执行完了A再执行，它们之间没有干扰。

（2）可见性

可见性指当一个线程修改了某一个共享变量的值，其他线程能够立刻知道这个修改

（3）有序性

应保证线程的执行与预期一致，因为多线程机制中某些关键字和系统本身的重排机制可能会导致程序与预期执行顺序不一致

常见指令重排原则：

• 线程的start()方法先于它的每一个动作；
• 一个线程内保证语义的串行化；
• 线程的中断先于被中断的代码；
• 线程的所有操作先于线程的终结；
• 锁规则：解锁必然先于加锁；
• volatile规则：volatile变量的写，先发生于读；

7、多线程的代价和局限性

CPU通过时间片算法来循环执行任务，每当任务执行一个时间片后会切换到下一个任务，任务从保存到再加载的过程被称为一次上下文切换。
线程的创建以及上下文切换都会造成一定的开销，影响程序性能。

在并发编程中，将代码执行速度加快的原则是将代码中串行执行的部分变成并发执行，但是如果因为由于资源限制（例如网速、CPU、磁盘），仍然在串行执行，这时候程序不仅不会加快执行，反而会更慢。