Skip to content

Latest commit

 

History

History
134 lines (103 loc) · 7.1 KB

README.md

File metadata and controls

134 lines (103 loc) · 7.1 KB

K-HASHV 🔨

A single header hash function with both vectorized and scalar versions. The function is quite fast when vectorized achieving approximately an average of ~10.2 GB/s on a 7 year old Xeon E3-1230 v5. The header contains explicit intrinsics for x86_64, and also has a version that will use GCC's portable vector built-ins, and the last fall back is a scalar version for portability. The results of the function should be the same regardless of endianness.

Additionally, it also passes all the SMHasher hash function quality tests: https://github.com/rurban/smhasher. Additionally, it passes SMHasher3 a fork of SMHasher with some more stringent tests. Some hashes that pass SMHasher fail in SMHasher3.

Moreover, it is quite easy to choose a new function at runtime by just using new seed as shown below:

#include "khashv.h"

void foo() {
    /*
    code ....
    */
    khashvSeed seed;
    khashv_prep_seed64(&seed, a_64_bit_value);
    uint64_t hash = khashv64(&seed, your_data, data_len);
    /*
    code ....
    */
}

Issues, PRs and suggestions are welcome 😃

Note

This is not a cryptographic hash function, and it should not be used for such applications.

Table of Contents

Performance

When testing on 1.25 GB and 512 KB of random data I get the following on averages:

Processor1.25 GB Time1.25 GB Speed 512 KB Time512 KB SpeedOSCompilerType
Xeon E3-1230 v5 0.1226 s 10.1987 GB/s 045.3515 us 10.7666 GB/sLinuxGCC 12.2.1Vectorized
Xeon E3-1230 v5 1.1803 s 1.0495 GB/s 462.9862 us 1.0546 GB/sLinuxGCC 12.2.1Scalar
Xeon E3-1230 v5 0.1388 s 9.0061 GB/s 052.8114 us 9.2457 GB/sLinuxClang 15.0.7Vectorized
Ryzen 9 7900 0.1182 s 10.5742 GB/s 044.4734 10.9792 GB/sLinuxGCC 12.2.1Vectorized
Ryzen 9 7900 0.7890 s 1.5843 GB/s 307.4712 us 1.5881 GB/sLinuxGCC 12.2.1Scalar

The scalar version is slower at a tad over ~1 GB/s on my system when compiling test_speed.c with gcc using -O3. On windows Microsoft's compiler does not seem to generate as performant code from the intrinsics, but the GCC mingw64 compiler generates pretty comparable numbers for me at least.

Definitely, want to add other machines to this table. But if you are curious how it performs on your machine compile test_speed.c with -O3 -lm -march=native and -O3 -lm -march=native -D KHASHV_SCALAR.

API

khashv_prep_seed32

// Prepares a seed from a 32-bit value
void khashv_prep_seed32(khashvSeed* seed_prepped, uint32_t seed)

khashv_prep_seed64

// Prepares a seed from a 64-bit value
void khashv_prep_seed64(khashvSeed* seed_prepped, uint64_t seed)

khashv_prep_seed128

// Sets  128-bits to be the seed
void khashv_prep_seed128(khashvSeed* seed_prepped, const uint32_t seed[4])

khashv32

// Produces a 32-bit hash from the input data
uint32_t khashv32(const khashvSeed* seed, const uint8_t* data, size_t data_len)

khashv64

// Produces a 64-bit hash from the input data
uint64_t khashv64(const khashvSeed* seed, const uint8_t* data, size_t data_len)

Output

Here is the output of the hash function as images.

khashv64 Output

Here is the output of the 64 bit hash of the integers [0, 259199] using 0x1dcedff1a8b17e89 as the seed.

drawing

khashv32 Output

Here is the output of the 32 bit hash of the integers [0, 518399] using 0x6bb75f13 as the seed.

drawing

The output of the above images was generated by basically doing the following for a hash.

for(int i = 0; i < sizeof(hash_bytes); i++) {
    pixel[img_offset + i].r = hash_bytes[i];
    pixel[img_offset + i].g = hash_bytes[i];
    pixel[img_offset + i].b = hash_bytes[i];
    pixel[img_offset + i].a = 255;
}

TODO

When thinking about things to improve the code and hash function these are the first few things that come to mind for me.

  1. A faster mixing function (e.g. khashv_mix_words_<type>) I think is probably the next thing that could be improved. If that could be made shorter/faster it would reduce latency for smaller inputs. Any ideas or feedback for this would be appreciated.

  2. The next thing would be try to get both Clang and MSVC to output code that runs as fast GCC or as close as possible. They both seem to do some silly things when compared to GCC losing some performance when looking at the generated assembly. Microsoft's compiler being the worst, and probably the fastest fix for me to implement would be to write some assembly code. However, it then would no longer be a single header file hash function since MSVC does not support inline assembly for 64-bit builds, and thusly would require a separate file.

  3. Then probably consider using intrinsics for some other systems like ARM NEON, but the for now there is scalar code and code written using GCC's vector built-ins that will generate vectorized code for other architectures that GCC supports.

  4. Probably, the next thing I could think of is to choose a better value for S1 and S2 that are used to basically substitute bytes. The current values where found randomly checking a small set of criteria. Mainly focusing on each bit of S1 and S2 as columns. Then Xor-ing them effectively creating an 8 bit input boolean function, and making sure the entire thing maps each input to a unique value. There likely are better values that could chosen, and criteria to look at that look at all bits at once. However, the search space is huge effectively 2^(2*8*16) possible permutations for S1 and S2. However, the current values do seem to work well, from my testing. An other constant that could be looked at as well is the new shuffle constant I have in v2 that randomly permutes the bytes, it's quite likely their exists a better constant for this as well.

  5. Maybe, write some assembly versions to get around some of the compiler differences. Also maybe a rust version.

Copyright and License

Copyright (C) 2023, by Keith Cancel [email protected].

Under the MIT License