原子性问题的源头:线程切换 (因为线程间 对于 同一个变量的修改是不可见的,所以会影响数的准确性)
操作系统的线程切换 依赖于 CPU中断,所以禁止 CPU 中断就能够禁止线程切换。该办法适用于单核时代,单核CPU的场景下,同一时刻只有一个线程在执行,禁止了CPU中断,意味着操作系统不会重新调度线程,也就禁止了线程切换;但在多核场景下,禁止线程切换,只能保证某个CPU上的线程可以连续执行,并不能保证一个时刻只有一下线程在执行。例如:在CPU1和CPU2上分别有线程1和线程2,禁止了线程切换,保证的只是线程1 和 线程2 同时并且连续的在各自的CPU上执行。
因而确保 同一时刻只有一个线程执行 这个条件很重要。这个条件称之为 “互斥”;保证了互斥就可以保证,无论在多核还是单核CPU中都可以保证了原子性。
互斥保证原子性,互斥的解决方案:锁 (互斥锁)
我们将需要互斥执行的一段代码称为临界区。
线程在进入临界区前,需要先尝试加锁lock();
加锁成功后则进入临界区,此时该线程持有锁;
加锁不成功,则需要等待,等待持有锁的线程释放后在尝试加锁;
持有锁的线程执行完临界区的代码,释放锁unlock();