程序设计:C++11原子 写优先的读写锁(源码详解二:操作跟踪)

本文承接程序设计:C++11原子 写优先的读写锁(源码详解)-CSDN博客

上文已经列出了完整代码,完整代码里面增加了操作跟踪,这里就讲解一下这部分是如何实现的。

操作跟踪有两个层面:进程层面和线程层面。

由于这个类设计为一个实体资源,不可移动,不可复制,多线程操作同一个对象实例,因此要跟踪就要在内部区别每个线程,所以用了线程存储对象。进程级的跟踪当然比较简单,用变量记录操作次数即可。

线程存储对象thread_local也是C++11新增的线程库的功能,只需要这么一个存储指示就可以把变量分线程存储。实际实现类似于一个线程相关的静态变量。

进程级跟踪:

cpp 复制代码
		//进程操作计数,防止操作顺序错误
		mutable atomic<int> count_WLock{ 0 };
		mutable atomic<int> count_RLock{ 0 };

线程级跟踪:

cpp 复制代码
		//线程操作记录,防止线程操作错误并可用于中途让出再重新锁定
		struct thread_data
		{
			bool _isLocked{ false };//是否已经锁定,若已经锁定则不重复锁定
			bool _isWLock{ false };//是否是写锁定,当isLocked时有效

            。。。。。。
    	};
	public:
		thread_data* getThreadData()const
		{
			thread_local map<CZS_RWMutex2 const*, thread_data > d;//通过对象地址区分不同的对象
			return &d[this];
		}

getThreadData()获取线程存储对象。因为这个变量相当于一个线程的静态变量,而我们可能会有多个互斥对象要操作,从一个静态变量入口如何区分不同对象?这就需要做成一个容器。

每个操作之后都会同时修改进程操作计数和线程操作计数:

cpp 复制代码
		void after_WLock()const
		{
			++count_WLock;
			getThreadData()->thread_data_WLock();
		}
		void after_RLock()const
		{
			++count_RLock;
			getThreadData()->thread_data_RLock();
		}
		void after_WUnLock()const
		{
			--count_WLock;
			getThreadData()->thread_data_UnLock();
		}
		void after_RUnLock()const
		{
			--count_RLock;
			getThreadData()->thread_data_UnLock();
		}

这样就可以在怀疑锁定操作出问题的时候输出状态来检查了。

编程有时候就像是个游戏。

(这里是结束)

相关推荐
流浪0013 天前
Linux系统篇44——线程(九) 互斥锁的接口与原理,从 xchgb 的原子交换说起
linux·操作系统·线程·互斥锁·互斥锁原理
liferecords23 天前
第 5 讲 · 内存模型:复现一个“x86 能跑、ARM 挂掉“的 bug 并修好它
arm64·鲲鹏·内存模型·内存屏障·原子操作
Tairitsu_H1 个月前
[C++] C++11 Lambda与包装器深度解析
开发语言·c++·c++11·lambda·包装器
raindayinrain1 个月前
c++并发--原子操作,内存顺序,屏障
c++·原子操作·操作顺序
Tairitsu_H1 个月前
[C++] C++11类和STL的新特性
开发语言·c++·stl·c++11
Tairitsu_H1 个月前
[C++] C++11右值引用与移动语义揭秘
开发语言·c++·c++11·右值引用·移动语义
Tairitsu_H1 个月前
[C++] C++11新增构造:列表初始化和std::initializer_list
开发语言·c++·c++11·构造
j7~1 个月前
【C++】智能指针的使用及其原理--详解
c++·c++11·内存泄漏·智能指针·raii·boost智能指针
无小道1 个月前
C/C++——异步编程小记
开发语言·c++·c++11
raindayinrain1 个月前
深入理解Linux内核--每cpu变量,内核抢占,屏障,原子变量,自旋锁,互斥锁,信号量,读拷贝更新,性能优化
互斥锁·原子变量·自旋锁·屏障·每cpu变量·内核抢占·中断和软中断