oneapi::tbb::null_rw_mutex 完全解析无操作读写互斥量的接口设计与源码实现【免费下载链接】moldmold: A Modern Linker 项目地址: https://gitcode.com/GitHub_Trending/mo/moldnull_rw_mutex是 oneAPI Threading Building BlocksoneTBB提供的一个特殊读写互斥量它在语法上完整建模ReaderWriterMutex需求但在语义上什么都不做。本文以本仓库随附的 oneTBB 规范文档 null_rw_mutex_cls.rst 为骨架结合头文件源码与一致性测试讲清它的接口、语义、特征常量与典型应用场景帮助你在需要模板必须接受互斥量、但实例根本不需要同步的场合正确选用它。背景oneTBB 互斥类家族中的空实现oneTBB 在 mutual_exclusion.rst 中定义了一套互斥原语家族包括mutex、rw_mutex、spin_mutex、spin_rw_mutex、speculative_spin_mutex、speculative_spin_rw_mutex、queuing_mutex、queuing_rw_mutex、null_mutex与null_rw_mutex共十类。其中null_mutex与null_rw_mutex是特意提供的空操作实现null_mutex建模Mutex需求见 null_mutex_cls.rst只提供排他写锁语义null_rw_mutex建模ReaderWriterMutex需求额外提供共享读锁语义。这类类型存在的意义在于oneTBB 大量并行算法与容器以互斥量类型作为模板参数而某些实例化场景根本不需要真正的线程同步。此时若硬塞一个真实锁会引入无谓的开销直接传null_rw_mutex则可以在不修改任何调用代码的前提下把同步开销降为零。类定义与头文件规范文档给出的接口声明位于头文件oneapi/tbb/null_rw_mutex.h// Defined in header oneapi/tbb/null_rw_mutex.h namespace oneapi { namespace tbb { class null_rw_mutex { public: constexpr null_rw_mutex() noexcept; ~null_rw_mutex(); null_rw_mutex(const null_rw_mutex) delete; null_rw_mutex operator(const null_rw_mutex) delete; class scoped_lock; void lock(); bool try_lock(); void unlock(); void lock_shared(); bool try_lock_shared(); void unlock_shared(); static constexpr bool is_rw_mutex true; static constexpr bool is_recursive_mutex true; static constexpr bool is_fair_mutex true; }; } // namespace tbb } // namespace oneapi在仓库的实际实现中oneapi::tbb::null_rw_mutex是tbb::detail::d1::null_rw_mutex经内联命名空间v1的别名using detail::d1::null_rw_mutex;同一份实现同时被 oneapi/tbb/null_rw_mutex.h 与兼容头 tbb/null_rw_mutex.h 暴露前者用于 oneAPI 命名空间风格后者用于传统tbb::命名空间风格。因此你在代码中既可以看到oneapi::tbb::null_rw_mutex也可以看到tbb::null_rw_mutex二者指向同一个类。语义在语法上建模在行为上空转规范文档用一句话点明了该类本质A null_rw_mutex is a class that models the ReaderWriterMutex requirement syntactically, but does nothing.—— 它在语法层面完整满足ReaderWriterMutex需求该需求定义见 rw_mutex.rst同时满足 ISO C 标准 [thread.sharedmutex.requirements] 中共享互斥类型shared mutex type的全部语法要求但所有操作都不执行任何实际动作。对照头文件源码 oneapi/tbb/null_rw_mutex.h 可以看得非常清楚lock()、unlock()、lock_shared()、unlock_shared()的函数体全部为空try_lock()与try_lock_shared()则恒返回true即模拟成功的操作。换言之这把锁永远处于可立即获得的状态调用方感知不到任何阻塞或竞争。它的典型用途正如文档所言It is useful for instantiating a template that expects a ReaderWriterMutex, but no mutual exclusion is actually needed for that instance.—— 当某个模板期望一个ReaderWriterMutex类型的互斥量参数、但该实例实际运行在单线程上下文或数据天然安全时用null_rw_mutex实例化即可零成本满足类型约束。成员类 scoped_locknull_rw_mutex内嵌的scoped_lock是 RAII 风格的锁管理类对应ReaderWriterMutex需求中要求的RWM::scoped_lock见 rw_mutex.rst。源码实现 oneapi/tbb/null_rw_mutex.h 展示了它的完整形态class scoped_lock { public: constexpr scoped_lock() noexcept default; scoped_lock(null_rw_mutex, bool true) {} ~scoped_lock() default; scoped_lock(const scoped_lock) delete; scoped_lock operator(const scoped_lock) delete; void acquire(null_rw_mutex, bool true) {} bool try_acquire(null_rw_mutex, bool true) { return true; } void release() {} bool upgrade_to_writer() { return true; } bool downgrade_to_reader() { return true; } bool is_writer() const { return true; } };注意其中的upgrade_to_writer()与downgrade_to_reader()都恒返回true这把锁上的读者升级为写者写者降级为读者永远被模拟为成功无需任何条件等待。成员函数逐一说明以下是对规范文档中全部成员函数的语义整理成员函数语义null_rw_mutex()构造一个未锁定unlocked的互斥量constexpr且noexcept~null_rw_mutex()销毁一个未锁定的互斥量void lock()获取写锁排他锁空操作bool try_lock()非阻塞尝试获取写锁恒返回truevoid unlock()释放当前线程持有的写锁空操作void lock_shared()获取读锁共享锁空操作bool try_lock_shared()非阻塞尝试获取读锁恒返回truevoid unlock_shared()释放当前线程持有的读锁空操作由于所有操作都是空操作构造函数与析构函数也均为default源码中为constexpr null_rw_mutex() noexcept default;与~null_rw_mutex() default;因此整个对象不持有任何状态可被构造在栈上、静态存储区或 constexpr 上下文中代价趋近于零。特征常量is_rw_mutex / is_recursive_mutex / is_fair_mutex与Mutex需求类似ReaderWriterMutex需求也要求定义一组特征常量见 rw_mutex.rst。null_rw_mutex的三个特征常量全部为truestatic constexpr bool is_rw_mutex true; // 是读写互斥量 static constexpr bool is_recursive_mutex true; // 可递归可重入 static constexpr bool is_fair_mutex true; // 公平这些特征常量供模板在编译期通过if constexpr或特性检测做分支决策。例如算法可以依据is_rw_mutex决定是否对锁调用lock_shared()依据is_fair_mutex决定是否相信先到先得的调度假设。对于null_rw_mutex而言声明可递归、公平都是自洽的——空操作既不会因重入而死锁也无所谓排队顺序。下表是ReaderWriterMutex需求文档中给出的各互斥类的保证对照可以直观看出null_rw_mutex与其他读写互斥量的定位差异类FairReentrantrw_mutexNoNospin_rw_mutexNoNospeculative_spin_rw_mutexNoNoqueuing_rw_mutexYesNonull_rw_mutexYesYes表格下方还附了一条说明性注记Implementation is allowed to have an opposite guarantees (positive) in case of negative statements from the table above.—— 即表中标 No 的项具体实现可以提供正向保证更强而非更弱这属于实现自由。与真实读写锁的对比null_rw_mutex常在模板参数位置替代真实的读写锁如spin_rw_mutex、queuing_rw_mutex或rw_mutex。真实的读写锁允许多个读者同时持锁、写者排他并通常伴随旋转等待、队列公平、缓存行伪共享避免等复杂工程而null_rw_mutex对这一切均不做处理。二者在语法接口上完全可互换行为差异只体现在是否真正同步上真实读写锁读者之间并行、写者互斥存在获取失败、阻塞、重试等真实状态null_rw_mutex每次获取都立即成功无阻塞、无状态、无竞争。这种语法等价、语义空转的设计使它成为 oneTBB 中按需关闭同步的标准手段与null_mutex非读写版本的空实现互为补充。源码佐证一致性测试如何验证空实现仓库的一致性测试 conformance_mutex.cpp 对oneapi::tbb::null_rw_mutex进行了多组验证测试名均为Null RW MutexGeneralTestoneapi::tbb::null_rw_mutex, ...验证其作为互斥量模板的通用行为TestNullMutexoneapi::tbb::null_rw_mutex验证空互斥量的基本操作TestNullRWMutexoneapi::tbb::null_rw_mutex验证读写双路径TestTryAcquireReaderoneapi::tbb::null_rw_mutex验证读者路径的非阻塞获取。其中TestNullMutex的实现见 conformance_mutex.h非常直观地刻画了空语义先对互斥量调用lock()紧接着断言try_lock()仍然返回true—— 这在真实锁上几乎必然失败已持锁再try_lock会返回false甚至触发未定义行为唯独对空实现成立因为try_lock恒返回true。TestNullRWMutex则在lock()后继续try_lock()与lock_shared()见 conformance_mutex.h同样依赖永不阻塞的语义。在 graph_utils.h 与 graph_utils.h 中null_rw_mutex还被用作tfunctor的模板实参来驱动流图测试展示了它作为无锁占位互斥量被模板实例化使用的真实形态test_hw_concurrency.cpp 则直接声明了一个全局tbb::null_rw_mutex nrwm;用于测试场景。使用建议何时选用模板要求互斥量参数、而你的实例不需要任何线程同步单线程执行、数据只读、或同步由外部机制保证时用null_rw_mutex替代真实锁。何时不要用只要存在两个及以上线程可能同时访问同一数据就绝不能使用它否则数据竞争将由真实风险变成现实缺陷。接口兼容它同时满足ReaderWriterMutex需求与 ISO C 共享互斥的语法要求因此既可喂给 oneTBB 自己的模板也可喂给期望标准shared_mutex语法的通用模板。代价评估对象无状态、操作全为空、构造析构均为default编译器通常能将其整体优化掉是零成本抽象的典型体现。如果需要不带读锁语义的占位互斥量可参考同一家族的null_mutex见 null_mutex_cls.rst有关读写互斥需求的完整约束可继续阅读 rw_mutex.rst互斥原语全家族一览见 mutual_exclusion.rst。【免费下载链接】moldmold: A Modern Linker 项目地址: https://gitcode.com/GitHub_Trending/mo/mold创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考