线程安全（信号量）

雨点打透心脏的1/2处 2023-01-16 11:26 189阅读 0赞

# 信号量： #

本质：计数器+pcb等待队列

功能：实现进程或线程间的同步与互斥

p操作：计数-1,；判断计数<0则阻塞，将其加入pcb等待队列

v操作：计数+1；唤醒pcb等待队列上的线程或进程

*  同步的实现：通过计数器对资源进行计数

线程在获取资源之前进行p操作 其他线程产生一个资源后进行v操作

*  互斥的实现：初始化计数器为1，表示资源只有一个 1表示可访问，非1不可

线程在获取资源之前进行p操作 ，访问资源完毕之后进行v操作

定义信号量：sem\_t sem;

初始化信号量： int sem\_init(sem\_t \*sem, iint pshared, unsigned int value );

*  sem:信号量变量
 *  pshared 0-线程间 !0-进程间
 *  value：初值
 *  返回值：成功0 失败-1；

p操作：sem\_wait(sem\_t \* sem); sem\_trywait(sem\_t \* sem); sem\_timewait(sem\_t \* sem);

v操作：sem\_post(sem\_t \* sem);

销毁信号量 :sem\_destory(sem\_t \* sem);

信号量与条件判断的区别与关系：

1.  都用于实现同步
2.  条件变量使用中条件是否满足需要自己判断，信号量不需要
3.  条件变量需要搭配互斥锁，信号量不需要

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2MTMxNjEx_size_16_color_FFFFFF_t_70][]

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2MTMxNjEx_size_16_color_FFFFFF_t_70 1][]

读者写者模型： 读共享，写互斥

实现：读写锁（自旋锁：一直占据CPU不释放，循环对加锁条件进行判断，一旦条件满足立即加锁，适用于实时性高场景，不适用于长时间等待场景（互斥锁适用于长时间等待））

加读锁：读锁可以重复加（但前提是没有被加写锁）

加写锁：写锁互斥加（前提是读锁和写锁都没有加）

调研：锁的种类 乐观锁CAS锁 悲观锁 可重入锁 不可重入锁

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2MTMxNjEx_size_16_color_FFFFFF_t_70]: /images/20221022/22eb1d5999294fbe830dbee4511d12d9.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2MTMxNjEx_size_16_color_FFFFFF_t_70 1]: /images/20221022/2ee18b9a05e64df3ba7eb8356b470fd8.png