NOTE: This implementation fully implements reading and writing all formats in the v1.0.0 storage specification, but internal memory representation (and hence space-tradeoffs) may cause automatic "promotion" between representations to occur at different implementation-dependent points. To ensure interoperability between, for example, the PostgreSQL implementation and this library, all promotion cutoffs should be explicitly defined.
Similarly, certain parameters have different bounds in order to deal with VM limitations like maximum array length. Specifically,
log2m has a maximum value of 30 in this implementation whereas the storage specification states a maximum value of 31 (which can be realized in the PostgreSQL implementation).
HyperLogLog (HLL) is a fixed-size, set-like structure used for distinct value counting with tunable precision. For example, in 1280 bytes HLL can estimate the count of tens of billions of distinct values with only a few percent error.
In addition to the algorithm proposed in the original paper, this implementation is augmented to improve its accuracy and memory use without sacrificing much speed. See below for more details.
hll is a combination of different set/distinct-value-counting algorithms that can be thought of as a hierarchy, along with rules for moving up that hierarchy. In order to distinguish between said algorithms, we have given them names:
A constant value that denotes the empty set.
An explicit, unique, sorted list of integers in the set, which is maintained up to a fixed cardinality.
A 'lazy', map-based implementation of HyperLogLog, a probabilistic set data structure. Only stores the indices and values of non-zero registers in a map, until the number of non-zero registers exceeds a fixed cardinality.
A fully-materialized, list-based implementation of HyperLogLog. Explicitly stores the value of every register in a list ordered by register index.
Our motivation for augmenting the original HLL algorithm went something like this:
- Naively, a HLL takes
regwidth * 2^log2mbits to store.
- In typical usage,
log2m = 11and
regwidth = 5, it requires 10,240 bits or 1,280 bytes.
- That's a lot of bytes!
The first addition to the original HLL algorithm came from realizing that 1,280 bytes is the size of 160 64-bit integers. So, if we wanted more accuracy at low cardinalities, we could just keep an explicit set of the inputs as a sorted list of 64-bit integers until we hit the 161st distinct value. This would give us the true representation of the distinct values in the stream while requiring the same amount of memory. (This is the
The second came from the realization that we didn't need to store registers whose value was zero. We could simply represent the set of registers that had non-zero values as a map from index to values. This is map is stored as a list of index-value pairs that are bit-packed "short words" of length
log2m + regwidth. (This is the
Combining these two augmentations, we get a "promotion hierarchy" that allows the algorithm to be tuned for better accuracy, memory, or performance.
Initializing and storing a new
hll object will simply allocate a small sentinel value symbolizing the empty set (
EMPTY). When you add the first few values, a sorted list of unique integers is stored in an
EXPLICIT set. When you wish to cease trading off accuracy for memory, the values in the sorted list are "promoted" to a
SPARSE map-based HyperLogLog structure. Finally, when there are enough registers, the map-based HLL will be converted to a bit-packed
FULL HLL structure.
Empirically, the insertion rate of
SPARSE representations is measured in 200k/s - 300k/s range, while the throughput of the
FULL representation is in the millions of inserts per second on relatively new hardware ('10 Xeon).
Naturally, the cardinality estimates of the
EXPLICIT representations is exact, while the
FULL representations' accuracies are governed by the guarantees provided by the original HLL algorithm.
The Importance of Hashing
In brief, it is absolutely crucial to hash inputs to an HLL. A close approximation of uniform randomness in the inputs ensures that the error guarantees laid out in the original paper hold. We've empirically determined that MurmurHash 3, from Google's Guava, is an excellent and fast hash function to use in conjunction with
The seed to the hash call must remain constant for all inputs to a given HLL. Similarly, if one plans to compute the union of two HLLs, the input values must have been hashed using the same seed.
For a good overview of the importance of hashing and hash functions when using probabilistic algorithms as well as an analysis of MurmurHash 3, refer to these blog posts:
- K-Minimum Values: Sketching Error, Hash Functions, and You
- Choosing a Good Hash Function, Part 1
- Choosing a Good Hash Function, Part 2
- Choosing a Good Hash Function, Part 3
On Unions and Intersections
HLLs have the useful property that the union of any number of HLLs is equal to the HLL that would have been populated by playing back all inputs to those 'n' HLLs into a single HLL. Colloquially, one can say that HLLs have "lossless" unions because the same cardinality error guarantees that apply to a single HLL apply to a union of HLLs. See the
Using the inclusion-exclusion principle and the
union() function, one can also estimate the intersection of sets represented by HLLs. Note, however, that error is proportional to the union of the two HLLs, while the result can be significantly smaller than the union, leading to disproportionately large error relative to the actual intersection cardinality. For instance, if one HLL has a cardinality of 1 billion, while the other has a cardinality of 10 million, with an overlap of 5 million, the intersection cardinality can easily be dwarfed by even a 1% error estimate in the larger HLLs cardinality.
For more information on HLL intersections, see this blog post.
HLL is available in Maven Central. Include it in your project with:
<dependency> <groupId>net.agkn</groupId> <artifactId>hll</artifactId> <version>1.6.0</version> </dependency>
Hashing and adding a value to a new HLL:
final int seed = 123456; final Murmur3_128HashFunction hash = new Murmur3_128HashFunction(seed); final Hasher hasher = hash.newHasher(); hasher.putLong(1L/*value to hash*/); final long hashedValue = hasher.hash().asLong(); final HLL hll = new HLL(13/*log2m*/, 5/*registerWidth*/); hll.addRaw(hashedValue);
Retrieving the cardinality of an HLL:
final long cardinality = hll.cardinality();
Unioning two HLLs together (and retrieving the resulting cardinality):
final HLL hll1 = new HLL(13/*log2m*/, 5/*registerWidth*/); final HLL hll2 = new HLL(13/*log2m*/, 5/*registerWidth*/); // ... (add values to both sets) ... hll1.union(hll2)/*modifies hll1 to contain the union*/; final long cardinalityUnion = hll1.cardinality();
final HLL hll = HLL.fromBytes(NumberUtil.fromHex(hexString));
final byte bytes = hll.toBytes(); final String output = "\\x" + NumberUtil.toHex(bytes, 0, bytes.length)
Requires Maven 2.0
mvn clean packagein the base directory
targetdirectory will be created and a jar containing the library will be created therein.
mvn testin the base directory.