2016-02-10 00:12:00 +01:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
2013-10-16 23:59:46 +02:00
|
|
|
// This source code is licensed under the BSD-style license found in the
|
|
|
|
// LICENSE file in the root directory of this source tree. An additional grant
|
|
|
|
// of patent rights can be found in the PATENTS file in the same directory.
|
2017-04-28 02:50:56 +02:00
|
|
|
// This source code is also licensed under the GPLv2 license found in the
|
|
|
|
// COPYING file in the root directory of this source tree.
|
2013-10-16 23:59:46 +02:00
|
|
|
//
|
2011-03-18 23:37:00 +01:00
|
|
|
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file. See the AUTHORS file for names of contributors.
|
|
|
|
|
|
|
|
#include <string.h>
|
|
|
|
#include "util/coding.h"
|
|
|
|
#include "util/hash.h"
|
|
|
|
|
2013-10-04 06:49:15 +02:00
|
|
|
namespace rocksdb {
|
2011-03-18 23:37:00 +01:00
|
|
|
|
2017-05-30 20:05:28 +02:00
|
|
|
#ifdef ROCKSDB_UBSAN_RUN
|
|
|
|
#if defined(__clang__)
|
|
|
|
__attribute__((__no_sanitize__("shift")))
|
|
|
|
#elif defined(__GNUC__)
|
2016-11-29 02:46:35 +01:00
|
|
|
__attribute__((__no_sanitize_undefined__))
|
|
|
|
#endif
|
2017-05-30 20:05:28 +02:00
|
|
|
#endif
|
2011-03-18 23:37:00 +01:00
|
|
|
uint32_t Hash(const char* data, size_t n, uint32_t seed) {
|
|
|
|
// Similar to murmur hash
|
|
|
|
const uint32_t m = 0xc6a4a793;
|
|
|
|
const uint32_t r = 24;
|
|
|
|
const char* limit = data + n;
|
2014-11-11 22:47:22 +01:00
|
|
|
uint32_t h = static_cast<uint32_t>(seed ^ (n * m));
|
2011-03-18 23:37:00 +01:00
|
|
|
|
|
|
|
// Pick up four bytes at a time
|
|
|
|
while (data + 4 <= limit) {
|
|
|
|
uint32_t w = DecodeFixed32(data);
|
|
|
|
data += 4;
|
|
|
|
h += w;
|
|
|
|
h *= m;
|
|
|
|
h ^= (h >> 16);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Pick up remaining bytes
|
|
|
|
switch (limit - data) {
|
2014-09-09 03:57:40 +02:00
|
|
|
// Note: It would be better if this was cast to unsigned char, but that
|
|
|
|
// would be a disk format change since we previously didn't have any cast
|
|
|
|
// at all (so gcc used signed char).
|
|
|
|
// To understand the difference between shifting unsigned and signed chars,
|
|
|
|
// let's use 250 as an example. unsigned char will be 250, while signed char
|
|
|
|
// will be -6. Bit-wise, they are equivalent: 11111010. However, when
|
|
|
|
// converting negative number (signed char) to int, it will be converted
|
|
|
|
// into negative int (of equivalent value, which is -6), while converting
|
|
|
|
// positive number (unsigned char) will be converted to 250. Bitwise,
|
|
|
|
// this looks like this:
|
|
|
|
// signed char 11111010 -> int 11111111111111111111111111111010
|
|
|
|
// unsigned char 11111010 -> int 00000000000000000000000011111010
|
2011-03-18 23:37:00 +01:00
|
|
|
case 3:
|
2014-09-09 03:57:40 +02:00
|
|
|
h += static_cast<uint32_t>(static_cast<signed char>(data[2]) << 16);
|
|
|
|
// fall through
|
2011-03-18 23:37:00 +01:00
|
|
|
case 2:
|
2014-09-09 03:57:40 +02:00
|
|
|
h += static_cast<uint32_t>(static_cast<signed char>(data[1]) << 8);
|
|
|
|
// fall through
|
2011-03-18 23:37:00 +01:00
|
|
|
case 1:
|
2014-09-09 03:57:40 +02:00
|
|
|
h += static_cast<uint32_t>(static_cast<signed char>(data[0]));
|
2011-03-18 23:37:00 +01:00
|
|
|
h *= m;
|
|
|
|
h ^= (h >> r);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return h;
|
|
|
|
}
|
|
|
|
|
2013-10-04 06:49:15 +02:00
|
|
|
} // namespace rocksdb
|