Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Compute a single hash (64 bits) of the current state
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 21 Jan 2014 11:25:30 +0000 (12:25 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 7 Feb 2014 08:04:49 +0000 (09:04 +0100)
commitc90b9efe8fd4c47f5d4f90b6232bd006f13e8e5c
tree4cd1ddb1cbf71c8411e8d5f69358629fd326302f
parente3531fcad45575830870605f5fd3a80b6b6f0ec7
[mc] Compute a single hash (64 bits) of the current state

This is an attempt to speedup state comparison by using
a very fast first pass.

Compared to previous attempt:

* use a simple 64 bits djb2 hash instead of SHA-1;
* add has much info as possible into the hash;
* do not add anything suspicious;
* it could be used for efficient state comparison
  * index for hashtable,
  * cache-friendly data-structure.
CMakeLists.txt
buildtools/Cmake/DefinePackages.cmake
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dwarf.c
src/mc/mc_hash.c [new file with mode: 0644]
src/mc/mc_private.h
src/mc/mc_set.cpp [new file with mode: 0644]