线程竞争与同步

2021-06-10 03:02

阅读：667

标签：color image 异步同步必须数据加锁相互用处

背景介绍：

　　在多线程的环境里，如果共享资源没有上锁，将会出现共享数据混乱的情况。

　　在单核CPU系统里，系统以时间片调度的方式让多个程序轮流使用处理器，造成了【并发】的假象。

技术图片

　　在进程/线程并发执行的过程中，进程/线程之间存在协作的关系，比如互斥、同步。

什么叫进程互斥？

　　两个或两个以上的进程，不能同时进入关于同一组共享变量的临界区域，否则可能发生与实践有关的错误，这种现象叫进程互斥。

操作系统如何实现进程/线程互斥：

锁：任何想进临界区的线程都必先加锁，完成访问后再解锁，释放临界资源。
- 忙等待锁（自旋锁）：当线程获取不到锁时会一直循环，不做任何事情，直到锁可用。
- 无忙等待锁：获取不到锁是，不自旋，把当前线程放到锁等待队列，执行调度程序，把CPU让给其他线程执行。
信号量：表示资源的数量，对应的变量是一个sem变量。由两个原子操作PV的系统调用函数控制信号量（PV必须成对出现）：
- P操作：进入临界区之前，将sem-1，如果sem
- V操作：离开临界区之后，将sem+1，如果sem>=0,唤醒一个等待中的进程/线程。