firims

FIxed Range Integer Maps and Sets

General

This crate implements a map ([VecMap]) and set ([BitSet]) for unsigned integer keys of a known range. For example, if you need a map with integer keys, and you know those keys can only ever be numbers between 10 and 200.

While this is a major limitation, whenever you can set constraints like this you unlock a lot of performance gains, because you don't need to hash numbers. Instead, in case of the bitset, you just track booleans (or in this case bits) telling you whether the number is in the set or not.

The implementation for this type of data structure is fairly simple, so you should be able to easily adapt this implementation to suit your own needs; just remember to honor the MIT license.

Implementation details

To ensure some of the limitations on the set members and keys, and to have some useful generic functionality, this crate uses [num_traits] as a dependency. With that, the keys / set members are limited to types implementing the [Integer] type.

The two data structures, the [VecMap] and the [BitSet], have very simple implementations. The former is just a Vec<V>, where V is your value type, and it maps keys to indexes in the Vec through a simple addition. As simple as that may be, the benefit of the [VecMap] is that it implements most of the of the same interface of the std::collections::HashMap, making this a good drop-in replacement for most use cases (given that the [VecMap] constraints fir you use case).

The [BitSet] is, well, a bit set. Each key is mapped to a bit in an element in a Vec<u64>, and a value being present just means that the bit is set to 1. Again, very simple implementation, pretty easy to replicate, but it implements the majority of the std::collections::HashSet interface in order to make the bitset a drop-in replacement.

Feature flags

This crate has no default features, and one optional feature:

• serde: Add derives for serde::Serialize and ::Deserialize for [VecMap] and [BitSet]

Benchmarks

This crate contains a benchmark file benches/bench.rs, which benchmarks the following operations:

• construction of new sets
• insertions
• .contains() checks

The benchmarks compares the [BitSet] with an IntSet from the integer_hasher crate, and the [VecMap] with an IntMap. The benchmarks have been run on two different machines: An M2 macbook pro, as well as an x86_64-linux machine using a Ryzen 7 9800x3D CPU.

In general, the [BitSet]s beats the IntSet in all those benchmarks, but note note that the IntSet is also way more flexible then the these data structures, allowing you to insert any sort of integer at any time. The range constraint on the values / keys is what unlocks those performance gains, but obviously it does not fit any use case.

Also note that the benchmark results are very different between the M2 and the x86 architecture, with the latter producing a way larger gap between the IntSet and the [BitSet]s.

M2

IntSet vs [BitSet]

IntMap vs [VecMap]

Ryzen7 9800X3D

IntSet vs [BitSet]

IntMap vs [VecMap]

License

MIT License

Copyright (c) 2025 Tommy Breslein

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.