C++有什么锁,unique_lock和lock_guard如何实现的
互斥锁
条件锁
std::condition_variable需要结合互斥锁使用。
//消费者std::unique_lock<std::mutex> lock(mtx);cond_.wait(lock,[]()->bool{return !task_array.empty();})//生产者std::unique_lock<std::mutex> lock(mtx);task_array.push_back(something);cond_.notify_all();
自旋锁
可通过std::atomic_flag(无锁实现)实现C++的自旋锁机制
atomic原理:原子操作是由底层硬件支持的一种特性 通过简单的自加操作,看其汇编代码,可看到汇编代码中存在一个带
lock前缀的命令。该命令保证了程序在load-add-store三个步骤的不可分割。
lock的原理是什么?cpu执行任务时,内存先将数据压入L1和L2 cache中,然后cpu从cache读取数据进行操作。 在早期处理器中,
lock命令是锁总线的。现代处理器中,lock通过锁cache来实现多进程或多线程之间的原子性。
如何解决自旋锁长期占用CPU问题
可以结合互斥锁,设置一个尝试次数阈值,在达到该阈值后,转用互斥锁(此互斥锁须设置一个超时时间,wait_for,超时时间随着尝试失败的轮数不断增加)。
class spin_lock{public:spin_lock(){while (flag_.test_and_set(std::memory_order_acquire));}~spin_lock(){flag_.clear(std::memory_order_release);}spin_lock(const spin_lock&) = delete;spin_lock& operator=(const spin_lock&) = delete;private:static std::atomic_flag flag_;};std::atomic_flag spin_lock::flag_ = ATOMIC_FLAG_INIT;
递归锁
getpid()得到的是进程的pid,在内核中,每个线程都有自己的PID,要得到线程的PID,必须用syscall(SYS_gettid); pthread_self函数获取的是线程ID,线程ID在某进程中是唯一的,在不同的进程中创建的线程可能出现ID值相同的情况。
递归锁,即可重入锁。线程可重复加锁而不会造成死锁。
- 线程占用recursive_mutex时,其所有权在线程调用unlock匹配次数结束时结束
其他线程对已被占用的递归锁尝试加锁时,会阻塞或收到false(调用
try_lock时)#pragma once#include <mutex>#include <thread>class recur_lock{recur_lock():cnt_of_lock(0){}void lock(){if(cnt_of_lock==0){mtx_.lock();owner_ = std::this_thread::get_id();}else if(owner_==std::this_thread::get_id()){++cnt_of_lock;}}void unlock(){if(cnt_of_lock>0){--cnt_of_lock;}if(cnt_of_lock==0){mtx_.unlock();}}private:::size_t cnt_of_lock;std::mutex mtx_;std::thread::id owner_;};
内联函数相关,内联函数的优缺点
函数调用必须将程序的执行顺序转移到函数所存放的内存的某个位置,函数调用完成后,又需要返回执行该函数的下一条命令。这就要求函数调用必须要在执行前保存现场,并在执行后将现场恢复,这必将在时间和空间上有一定的损耗。
-
宏
宏在调用的地方,仅仅是将代码替换展开。不会出现函数调用压栈出栈的时间和空间的损耗。
缺点:
内联函数会被放入符号表中,编译阶段会进行替换(像宏展开一样),效率高
- 减少因函数调用引起的开销,主要时参数压栈,帧栈创建和回收,寄存器的保存与恢复
- 编译器可将内联部分可和调用内联的上下文一起优化,进行更深层次的优化。
- 内联函数可作为成员函数,访问私有成员和protected成员。
在类内定义的函数默认为内联函数,但在类外定义的成员函数,声明和定义需要在同一文件 因为内联函数就地展开,故需要将声明和定义放于同一个文件中。因为编译器进行就地置换时,必须知道该内联函数的函数体代码,而不能通过参考其他编译单元来获得这一信息
缺点
- 频繁调用内联函数会造成“代码膨胀”问题
- 内联函数中若存在循环体,执行函数体的开销会大于调用成本
由于内联函数是就地置换,编译器不会对函数体过多优化。所以可能存在调用成本低于函数体执行成本的问题。
| 宏 | 内联函数 | |
|---|---|---|
| 处理阶段 | 预处理器 | 编译器 |
| 调用阶段 | 代码替换 | 类型安全检查,自动类型转换后,将函数体展开。并联系上下文进行优化。 |
| 访问private,protected | NO | YES! |
