C++17并发映射(ConcurrentMap)实现需求问询
C++17并发映射(ConcurrentMap)实现需求问询
大家好,我正在尝试用C++实现一个线程安全的并发映射容器ConcurrentMap,梳理了以下具体需求,想请教各位开发者的实现思路:
键类型强制限制:类定义开头必须添加
static_assert,确保该容器仅支持整数类型作为键,示例断言代码如下:static_assert(std::is_integral_v<K>, "ConcurrentMap only allows integer keys");构造函数参数要求:
ConcurrentMap<K, V>的构造函数需要接收一个整数参数,用来指定要把整个键空间拆分成多少个子字典,以此实现锁粒度的细化,提升并发性能。operator[] 对齐标准库行为:这个运算符的逻辑要和
std::map的operator[]完全一致:- 若键
key已存在于容器中,返回一个Access类对象,该对象持有对应值的引用; - 若键不存在,则自动插入
(key, V())这个键值对,再返回持有新值引用的Access对象。
- 若键
Access 结构体的线程安全能力:
Access结构体需要和Synchronized模板的行为一致——一方面提供对映射值的直接引用,另一方面要通过同步机制(比如锁)保证对该值的访问是线程安全的,避免多线程下的竞态条件。子字典合并方法:需要实现
BuildOrdinaryMap方法,该方法能将所有子字典的内容合并成一个普通的std::map<K, V>,输出一个线程安全的全局视图。
备注:内容来源于stack exchange,提问作者Daniil Yefimov
相关产品推荐
相关产品推荐

