web项目--锁机制
web 项目–锁机制
基础知识
RAII
- RAII 全称是“Resource Acquisition is Initialization”,直译过来是“资源获取即初始化”.
- 在构造函数中申请分配资源,在析构函数中释放资源。因为 C++的语言机制保证了,当一个对象创建的时候,自动调用构造函数,当对象超出作用域的时候会自动调用析构函数。所以,在 RAII 的指导下,我们应该使用类来管理资源,将资源和对象的生命周期绑定
- RAII 的核心思想是将资源或者状态与对象的生命周期绑定,通过 C++的语言机制,实现资源和状态的安全管理,智能指针是 RAII 最好的例子
信号量
- 用于多线程同步
只支持两种操作 :
P(申请信号量操作)
申请时如果信号量 的值大于 1, 则 - 1
如果信号量的值为 0, 则挂起
V(返还信号量操作)
返还时如果有等待信号量的线程, 则唤醒
如果没有则信号量 +1
信号量的取值可以是任何自然数,最常用的,最简单的信号量是二进制信号量,只有 0 和 1 两个值.
- sem_init 函数用于初始化一个未命名的信号量
- sem_destory 函数用于销毁信号量
- sem_wait 函数将以原子操作方式将信号量减一,信号量为 0 时,sem_wait 阻塞
- sem_post 函数以原子操作方式将信号量加一,信号量大于 0 时,唤醒调用 sem_post 的线程
互斥量
用于多线程互斥
只有 0 和 1 两种状态
加锁和解锁操作必须是同一进程
互斥锁,也成互斥量,可以保护关键代码段,以确保独占式访问.当进入关键代码段,获得互斥锁将其加锁;离开关键代码段,唤醒等待该互斥锁的线程.
- pthread_mutex_init 函数用于初始化互斥锁
- pthread_mutex_destory 函数用于销毁互斥锁
- pthread_mutex_lock 函数以原子操作方式给互斥锁加锁
- pthread_mutex_unlock 函数以原子操作方式给互斥锁解锁
提问
- 信号量和互斥量(互斥锁有什么区别)?
信号量是为了同步, 互斥量是为了互斥;
互斥量只能保证同一时刻只能有一个进程访问资源, 具有唯一性和排他性, 但无法限制访问者的先后顺序
信号量在互斥的基础上,通过其他机制实现访问者对资源的有序访问, 如 : 挂起队列
互斥量只有 0 和 1 两种状态, 信号量可以是任何自然数
互斥的加锁和解锁只能由同一进程操作, 而信号量可以由不同的进程获得
条件变量
- 线程同步时可能会出现 :
一个线程需要等另一个线程完成一个条件才可继续往下执行, 当前运行时条件还不成立, 所以应该先阻塞该进程, 当另一个线程完成了该条件, 再将之前阻塞的线程唤醒;
完成这样的操作, 所用到的通信方式即使用条件变量
- 条件变量提供了一种线程间的通知机制,当某个共享数据达到某个值时,唤醒等待这个共享数据的线程.
- pthread_cond_init 函数用于初始化条件变量
- pthread_cond_destory 函数销毁条件变量
- pthread_cond_broadcast 函数以广播的方式唤醒所有等待目标条件变量的线程
- pthread_cond_wait 函数用于等待目标条件变量.该函数调用时需要传入 mutex 参数(加锁的互斥锁) ,函数执行时,先把调用线程放入条件变量的请求队列,然后将互斥锁 mutex 解锁,当函数成功返回为 0 时,互斥锁会再次被锁上. 也就是说函数内部会有一次解锁和加锁操作.
条件变量总是搭配互斥锁使用
经典的用于解决生产者消费者问题
锁机制的功能
- 实现多线程同步,通过锁机制,确保任一时刻只能有一个线程能进入关键代码段.
封装的功能
- 类中主要是 Linux 下三种锁进行封装,将锁的创建于销毁函数封装在类的构造与析构函数中,实现 RAII 机制
1 | 1class sem{ |
- 将重复使用的代码封装为函数,减少代码的重复,使其更简洁
1 | 1 //条件变量的使用机制需要配合锁来使用 |