临界资源与临界区、互斥与同步、原子性概念介绍

---

目录

一、临界资源与临界区

二、互斥的概念

三、同步的概念

四、原子性的概念

---

一、临界资源与临界区

临界资源：凡是能被多个执行流同时访问的资源就是临界资源！（比如多个线程访问同一个全局变量，这里的全局变量就是临界资源）

临界区：我们写的代码中，并非所有的代码都会访问临界资源，其中访问临界资源的代码区域，就叫做临界区

 

二、互斥的概念

互斥 的目的是保护临界区，其实本质上就是保护临界资源。那么什么是互斥呢？？

线程逻辑冲突是因为同一份临界资源被多个线程访问，那么互斥就是任意时刻，只能有一个执行流访问临界区或者访问临界资源。就好比食堂大妈不能同时给多个同学打饭，在给一个同学打饭的时候，其他同学就无法打饭。

三、同步的概念

同步的目的是在互斥的基础上保证公平性和顺序性。如果因为某个线程优先级比其他线程的优先级更高，导致优先级较低的线程一直得不到资源，这就会引发 “线程饥饿” 问题。

==》同步就是在访问临界资源的环境很安全的情况下（一般是互斥、原子性的），让访问资源具有一定的顺序性！

四、原子性的概念

原子性指的是 一件事要么不做，要么就做完；一旦做了就不会被打断。

比如 ticket--，这是一个很常规的自减操作，实际上这么短短的一句，实际有三步，但是这个操作并不是原子性的，具体三步骤如下：

第一步，CPU会先把 tickets 的值加载CPU的寄存器上；

第二步，CPU判断 tickets>0 或者 tickets--；

第三步，将修改以后的 tickets 值或者判断结果返回给内存。

现在我们就可以说，为什么自减操作不是原子性的了。一个线程在执行完第一步以后，由于时间片到了，此时不会继续执行第二步，此时自减这个操作开始做了，但是没做完。