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


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

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

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

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

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

            进程级跟踪:

    1. //进程操作计数,防止操作顺序错误
    2. mutable atomic<int> count_WLock{ 0 };
    3. mutable atomic<int> count_RLock{ 0 };

            线程级跟踪:

    1. //线程操作记录,防止线程操作错误并可用于中途让出再重新锁定
    2. struct thread_data
    3. {
    4. bool _isLocked{ false };//是否已经锁定,若已经锁定则不重复锁定
    5. bool _isWLock{ false };//是否是写锁定,当isLocked时有效
    6. 。。。。。。
    7. };
    8. public:
    9. thread_data* getThreadData()const
    10. {
    11. thread_local mapconst*, thread_data > d;//通过对象地址区分不同的对象
    12. return &d[this];
    13. }

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

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

    1. void after_WLock()const
    2. {
    3. ++count_WLock;
    4. getThreadData()->thread_data_WLock();
    5. }
    6. void after_RLock()const
    7. {
    8. ++count_RLock;
    9. getThreadData()->thread_data_RLock();
    10. }
    11. void after_WUnLock()const
    12. {
    13. --count_WLock;
    14. getThreadData()->thread_data_UnLock();
    15. }
    16. void after_RUnLock()const
    17. {
    18. --count_RLock;
    19. getThreadData()->thread_data_UnLock();
    20. }

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

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

    (这里是结束)

  • 相关阅读:
    QT控件无法获取焦点问题
    mysql连接池的实现
    CMake笔记
    uniapp图片加水印
    【MyBatis】MyBatis基础内容介绍
    C语言水平测试题 过关斩将(3)辗转相除法,前n项求和,整数的正序分解,求最大公约数
    zemax---单透镜设计实例01
    Go:Gnome sort 侏儒排序(附完整源码)
    计算机中的进制转换
    【数据一致性】redis缓存与DB保持一致_Redis02
  • 原文地址:https://blog.csdn.net/2301_77171572/article/details/134476893