Fast Implementations of Maps with Integer Keys in C++

2024-02-19 05:48

本文主要是介绍Fast Implementations of Maps with Integer Keys in C++,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

原文

说明: 因为图片无法下载,我们就看看结论吧。

介绍

在相当多的应用程序中,我们必须处理稀疏数组或具有整型键的映射。当元素的数量相当少 (比如不超过1000个) 时,使用标准的std::mapstd::unordered_map就足够了。当键的数量增加时,这些映射的表现就不那么好了: 我们想要考虑更快的容器。在本文中,我将尝试研究使用整数键实现映射并度量其性能的各种方法。

该代码在 Microsoft Visual C++ 14 CTP和GNU C++ 4.9 中进行了测试。

现有的map容器有问题吗?

现有的std::mapstd::unordered_map将元素分散到整个堆中,这将导致对元素的访问非常低效 (由于缓存丢失),特别是当它们的数量接近100,000时。这显然取决于元素的大小。衡量效率的两个主要标准可以是:

  • 随机存取的速度
  • 浏览整个列表的速度

另一个标准可能是元素创建和删除的速度。如果我们真的想实现高效的随机访问,我们可以用一个值数组替换map,并使用它的索引作为键。只要满足以下两个条件,就可以正常工作:

  • 对于给定的键值范围,有足够的内存空间容纳整个数组。
  • 我们要么不需要扫描所有的元素,要么对扫描的速度感到满意,如果值之间有很大的差距,可能就不会很快。

另一种选择是使用平面映射 (flat map),它不在C++ STL中,但在Boost中可用。平面映射是一个“键-值”对的排序数组,按键排序。平面映射的优点是它提供了按键顺序扫描元素的最快方式。它也是所有map中最紧凑的。但它存在以下问题:

  • 随机存取不是那么快。
  • 当元素的数量超过100,000时,添加和删除会非常缓慢。

我将尝试考虑一些其他方法,并根据已知的映射容器度量它们的性能。

提议的map容器

Flat Index Map

这个容器试图处理平面映射 (flat map) 的一些缺陷,方法是使用一个额外的std::vector<bool>类型的变量,该变量告诉我们平面映射中是否存在具有给定索引的元素。这种方法提高了随机访问的速度,因为当检查元素是否存在时,算法首先查看这个 vector,如果元素不存在,则无需进一步查看。当映射中有许多缺口 (gap) 时,这可以节省大量的时间。你必须付出的代价是std::vector<bool>的大小,它应该能够包含map中使用的所有可能的索引。

Unordered Index Map

这种映射类似于[2,3,4]中讨论的无序稀疏集。这个映射是用两个数组 (array) 实现的。一种称为密集 (dense) (无间隙),它包含“索引-值”对。另一个叫稀疏 (sparse),存在的元素的索引被包含在第二个数组中。规则是:

dense[sparse[i]].first = i

这个map提供了非常快速的扫描设施,因为密集数组 (dense array) 的性质——没有间隙。随机访问也相当快: dense[sparse[i]] 为你提供所需的键值对。这里的缺点是,密集数组的值不是有序的,映射需要大量的内存空间,这大致与映射中使用的索引范围成比例。

Sparse Map

这是一个有序映射,有点类似于无序索引映射 (unordered index map): 它由一个稀疏数组 (sparse array) 和一个密集列表 (dense list) (有序对) 组成。稀疏数组包含指向密集列表的指针 (实现为迭代器)。每次算法试图添加新元素时,都会将其放入密集列表中正确的位置,并在稀疏数组中设置相关的指针: 稀疏数组有助于提高效率。与无序索引映射相比,其优点是它是有序的。

Two-Level Map

两级映射试图通过使用 map-of-maps 方法来解决平面映射 (flat map) 生成的速度问题。在这个实现中,我使用了两个 flat map: 它们是最紧凑的。第一级 map 是第二级 map 的映射 (The first-level map is a map of second-level maps.)。每个二级 map 可以索引范围 [0-4095] 。与 flat map 相比,该 map 提供了更快的映射生成算法。

基准

一般评论

在这些基准测试中,我使用了各种映射 (map),其中索引的范围是固定的 [0;9999999]。元素的数量在20到10,000,000之间。每个元素由一个无符号键和一个双浮点值组成。

索引的范围影响了一些映射所需的内存大小。std::mapstd::unordered_map和平面映射 (flat map) 所使用的内存依赖于索引的可能范围: 它只依赖于映射中实际存在的元素。在某种程度上,这对两级映射 (two-level map) 来说也是如此: 但它增长的速度取决于范围。其他映射的内存使用在很大程度上取决于可能的索引范围。

map 生成

结果如图1所示。你可能会看到,平面映射 (flat map) 和平面索引映射 (flat index map) 的生成速度特别慢。两层映射 (two-level map) 不是最快的,但它设法让它“处于控制之下”。当元素数小于10000时,稀疏映射 (sparse map) 速度较慢,但当元素数增加时,稀疏映射开始超越其他映射。

随机存取

结果如图2所示。这里的“赢家”是: 稀疏映射 (sparse map)、无序索引映射 (unordered index map) 和std::unordered_map。平面索引映射在有很多缺失的时候表现得很好,但是当大部分缺失被填补时就开始变慢。你可能根据印象认为平面索引映射相当快: 当只处理成功命中时,它会很慢。

扫描整个范围的元素

结果的比较如图3所示。每次扫描所花费的时间除以元素的数量: 我们得到每个元素所花费的时间,单位是纳秒。这里的胜出者显然是:平面映射、平面索引映射和无序索引映射,因为它们使用成对的密集数组进行扫描。两层映射也很接近。当元素数量小于10,000时,稀疏映射和无序映射工作得相当好。

删除的元素

在某种程度上,删除映射的速度与生成映射的速度相似。例外是稀疏映射。结果如图4所示。这里最大的“输家”是平面映射和平面索引映射,以及生成速度的情况。

内存使用情况

图5显示了 [0;9999999] 范围内的内存使用情况。这里的“松散者”是稀疏映射、无序索引映射和平面索引映射。

结论

问题是:哪种映射是最好的? 答案并没有那么简单。如果你处理少于1000个元素,我也不会太在意。在这种情况下,平面映射可能是最有效的,而且非常紧凑,此外,它将提供最快的扫描算法。如果范围更大,问题是什么更重要:

  • 如果它是随机访问,那么你可以使用 std::unordered_map,稀疏映射或无序索引映射 (三个中只有稀疏映射是有序的);
  • 如果扫描更重要,那肯定是两级映射(平面映射的生成速度要慢得多)。

这篇关于Fast Implementations of Maps with Integer Keys in C++的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/723675

相关文章

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提

C++快速排序超详细讲解

《C++快速排序超详细讲解》快速排序是一种高效的排序算法,通过分治法将数组划分为两部分,递归排序,直到整个数组有序,通过代码解析和示例,详细解释了快速排序的工作原理和实现过程,需要的朋友可以参考下... 目录一、快速排序原理二、快速排序标准代码三、代码解析四、使用while循环的快速排序1.代码代码1.由快