操作系统学习-线程的同步与互斥
线程共享同一进程的代码段(可以共享)、全局数据段等资源;但有自己的代码段、栈、寄存器等。
一、概念
互斥:
对于多个线程在运行过程中,对共享资源(临界区)不能同时访问,所以引入了互斥的概念。
一个在使用临界资源时,另一个必须等待(阻塞)。
同步:
同步就好⽐:「操作 A 应在操作 B 之前执⾏」,「操作 C 必须在操作 A 和操作 B 都完成之后才能执⾏」等;
二、实现互斥/同步方法:
1.锁:加锁、解锁(只能实现互斥)
(1)忙等待锁(自旋锁)
cpu提供的原子操作指令--Test-and-set
操作系统实现:
在访问临界资源前,调用lock,出临界区时调用unlock。
(2)无等待锁
2.信号量:P V操作
信号量表示资源的数量,对应一个整形变量。P 操作是⽤在进⼊临界区之前,V 操作是⽤在离开临界区之后,这两个操作是必须成对出现的。
在操作系统中的实现:
(1)实现互斥
设信号量s初值为1,只要把进⼊临界区的操作置于 P(s) 和 V(s) 之间,即可实现进程/线程互斥:
(2)实现同步
设信号量s初值为0。
生产者消费者案例:
分析:1. 生产者和消费者对缓冲区的访问是互斥的,所以需要互斥量mutex=1
2.消费者只有在生产者生产完成,才能读取数据,需要同步量full = 0
3.生产者在缓冲区有空位时才可以写数据,需要信号量empty=n,表示资源
执行过程:
producer() consumer()
{ {
P(empty);//资源数减1 P(full);
P(mutex);//互斥访问缓冲区 P(mutex);
放入数据 读数据
V(mutex);//退出缓存区 V(mutex);//退出缓存区
V(full );//缓冲区内容量加1 V(empty)
}
注意:消费者执行 P(empty);生产者执行P(full)要在P(mutex)之前