Built-in support for generating unique IDs, bug fix (#8708)
Summary: Env::GenerateUniqueId() works fine on Windows and on POSIX where /proc/sys/kernel/random/uuid exists. Our other implementation is flawed and easily produces collision in a new multi-threaded test. As we rely more heavily on DB session ID uniqueness, this becomes a serious issue. This change combines several individually suitable entropy sources for reliable generation of random unique IDs, with goal of uniqueness and portability, not cryptographic strength nor maximum speed. Specifically: * Moves code for getting UUIDs from the OS to port::GenerateRfcUuid rather than in Env implementation details. Callers are now told whether the operation fails or succeeds. * Adds an internal API GenerateRawUniqueId for generating high-quality 128-bit unique identifiers, by combining entropy from three "tracks": * Lots of info from default Env like time, process id, and hostname. * std::random_device * port::GenerateRfcUuid (when working) * Built-in implementations of Env::GenerateUniqueId() will now always produce an RFC 4122 UUID string, either from platform-specific API or by converting the output of GenerateRawUniqueId. DB session IDs now use GenerateRawUniqueId while DB IDs (not as critical) try to use port::GenerateRfcUuid but fall back on GenerateRawUniqueId with conversion to an RFC 4122 UUID. GenerateRawUniqueId is declared and defined under env/ rather than util/ or even port/ because of the Env dependency. Likely follow-up: enhance GenerateRawUniqueId to be faster after the first call and to guarantee uniqueness within the lifetime of a single process (imparting the same property onto DB session IDs). Pull Request resolved: https://github.com/facebook/rocksdb/pull/8708 Test Plan: A new mini-stress test in env_test checks the various public and internal APIs for uniqueness, including each track of GenerateRawUniqueId individually. We can't hope to verify anywhere close to 128 bits of entropy, but it can at least detect flaws as bad as the old code. Serial execution of the new tests takes about 350 ms on my machine. Reviewed By: zhichao-cao, mrambacher Differential Revision: D30563780 Pulled By: pdillinger fbshipit-source-id: de4c9ff4b2f581cf784fcedb5f39f16e5185c364main
parent
6c2bd28a61
commit
13ded69484
@ -0,0 +1,144 @@ |
|||||||
|
// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
|
||||||
|
// This source code is licensed under both the GPLv2 (found in the
|
||||||
|
// COPYING file in the root directory) and Apache 2.0 License
|
||||||
|
// (found in the LICENSE.Apache file in the root directory).
|
||||||
|
|
||||||
|
#include "env/unique_id.h" |
||||||
|
|
||||||
|
#include <algorithm> |
||||||
|
#include <array> |
||||||
|
#include <cstring> |
||||||
|
#include <random> |
||||||
|
|
||||||
|
#include "port/port.h" |
||||||
|
#include "rocksdb/env.h" |
||||||
|
#include "rocksdb/version.h" |
||||||
|
#include "util/hash.h" |
||||||
|
|
||||||
|
namespace ROCKSDB_NAMESPACE { |
||||||
|
|
||||||
|
namespace { |
||||||
|
|
||||||
|
struct GenerateRawUniqueIdOpts { |
||||||
|
Env* env = Env::Default(); |
||||||
|
bool exclude_port_uuid = false; |
||||||
|
bool exclude_env_details = false; |
||||||
|
bool exclude_random_device = false; |
||||||
|
}; |
||||||
|
|
||||||
|
// Each of these "tracks" below should be sufficient for generating 128 bits
|
||||||
|
// of entropy, after hashing the raw bytes. The tracks are separable for
|
||||||
|
// testing purposes, but in production we combine as many tracks as possible
|
||||||
|
// to ensure quality results even if some environments have degraded
|
||||||
|
// capabilities or quality in some APIs.
|
||||||
|
//
|
||||||
|
// This approach has not been validated for use in cryptography. The goal is
|
||||||
|
// generating globally unique values with high probability without coordination
|
||||||
|
// between instances.
|
||||||
|
//
|
||||||
|
// Linux performance: EntropyTrackRandomDevice is much faster than
|
||||||
|
// EntropyTrackEnvDetails, which is much faster than EntropyTrackPortUuid.
|
||||||
|
|
||||||
|
struct EntropyTrackPortUuid { |
||||||
|
std::array<char, 36> uuid; |
||||||
|
|
||||||
|
void Populate(const GenerateRawUniqueIdOpts& opts) { |
||||||
|
if (opts.exclude_port_uuid) { |
||||||
|
return; |
||||||
|
} |
||||||
|
std::string s; |
||||||
|
port::GenerateRfcUuid(&s); |
||||||
|
if (s.size() >= uuid.size()) { |
||||||
|
std::copy_n(s.begin(), uuid.size(), uuid.begin()); |
||||||
|
} |
||||||
|
} |
||||||
|
}; |
||||||
|
|
||||||
|
struct EntropyTrackEnvDetails { |
||||||
|
std::array<char, 64> hostname_buf; |
||||||
|
int64_t process_id; |
||||||
|
uint64_t thread_id; |
||||||
|
int64_t unix_time; |
||||||
|
uint64_t nano_time; |
||||||
|
|
||||||
|
void Populate(const GenerateRawUniqueIdOpts& opts) { |
||||||
|
if (opts.exclude_env_details) { |
||||||
|
return; |
||||||
|
} |
||||||
|
opts.env->GetHostName(hostname_buf.data(), hostname_buf.size()) |
||||||
|
.PermitUncheckedError(); |
||||||
|
process_id = port::GetProcessID(); |
||||||
|
thread_id = opts.env->GetThreadID(); |
||||||
|
opts.env->GetCurrentTime(&unix_time).PermitUncheckedError(); |
||||||
|
nano_time = opts.env->NowNanos(); |
||||||
|
} |
||||||
|
}; |
||||||
|
|
||||||
|
struct EntropyTrackRandomDevice { |
||||||
|
using RandType = std::random_device::result_type; |
||||||
|
static constexpr size_t kNumRandVals = |
||||||
|
/* generous bits */ 192U / (8U * sizeof(RandType)); |
||||||
|
std::array<RandType, kNumRandVals> rand_vals; |
||||||
|
|
||||||
|
void Populate(const GenerateRawUniqueIdOpts& opts) { |
||||||
|
if (opts.exclude_random_device) { |
||||||
|
return; |
||||||
|
} |
||||||
|
std::random_device r; |
||||||
|
for (auto& val : rand_vals) { |
||||||
|
val = r(); |
||||||
|
} |
||||||
|
} |
||||||
|
}; |
||||||
|
|
||||||
|
struct Entropy { |
||||||
|
uint64_t version_identifier; |
||||||
|
EntropyTrackRandomDevice et1; |
||||||
|
EntropyTrackEnvDetails et2; |
||||||
|
EntropyTrackPortUuid et3; |
||||||
|
|
||||||
|
void Populate(const GenerateRawUniqueIdOpts& opts) { |
||||||
|
// If we change the format of what goes into the entropy inputs, it's
|
||||||
|
// conceivable there could be a physical collision in the hash input
|
||||||
|
// even though they are logically different. This value should change
|
||||||
|
// if there's a change to the "schema" here, including byte order.
|
||||||
|
version_identifier = (uint64_t{ROCKSDB_MAJOR} << 32) + |
||||||
|
(uint64_t{ROCKSDB_MINOR} << 16) + |
||||||
|
uint64_t{ROCKSDB_PATCH}; |
||||||
|
et1.Populate(opts); |
||||||
|
et2.Populate(opts); |
||||||
|
et3.Populate(opts); |
||||||
|
} |
||||||
|
}; |
||||||
|
|
||||||
|
void GenerateRawUniqueIdImpl(uint64_t* a, uint64_t* b, |
||||||
|
const GenerateRawUniqueIdOpts& opts) { |
||||||
|
Entropy e; |
||||||
|
std::memset(&e, 0, sizeof(e)); |
||||||
|
e.Populate(opts); |
||||||
|
Hash2x64(reinterpret_cast<const char*>(&e), sizeof(e), a, b); |
||||||
|
} |
||||||
|
|
||||||
|
} // namespace
|
||||||
|
|
||||||
|
void GenerateRawUniqueId(uint64_t* a, uint64_t* b, bool exclude_port_uuid) { |
||||||
|
GenerateRawUniqueIdOpts opts; |
||||||
|
opts.exclude_port_uuid = exclude_port_uuid; |
||||||
|
assert(!opts.exclude_env_details); |
||||||
|
assert(!opts.exclude_random_device); |
||||||
|
GenerateRawUniqueIdImpl(a, b, opts); |
||||||
|
} |
||||||
|
|
||||||
|
#ifndef NDEBUG |
||||||
|
void TEST_GenerateRawUniqueId(uint64_t* a, uint64_t* b, bool exclude_port_uuid, |
||||||
|
bool exclude_env_details, |
||||||
|
bool exclude_random_device) { |
||||||
|
GenerateRawUniqueIdOpts opts; |
||||||
|
opts.exclude_port_uuid = exclude_port_uuid; |
||||||
|
opts.exclude_env_details = exclude_env_details; |
||||||
|
opts.exclude_random_device = exclude_random_device; |
||||||
|
GenerateRawUniqueIdImpl(a, b, opts); |
||||||
|
} |
||||||
|
#endif |
||||||
|
|
||||||
|
} // namespace ROCKSDB_NAMESPACE
|
@ -0,0 +1,40 @@ |
|||||||
|
// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
|
||||||
|
// This source code is licensed under both the GPLv2 (found in the
|
||||||
|
// COPYING file in the root directory) and Apache 2.0 License
|
||||||
|
// (found in the LICENSE.Apache file in the root directory).
|
||||||
|
|
||||||
|
// This file is for functions that extract novel entropy or sources of
|
||||||
|
// uniqueness from the execution environment. (By contrast, random.h is
|
||||||
|
// for algorithmic pseudorandomness.)
|
||||||
|
//
|
||||||
|
// These functions could eventually migrate to public APIs, such as in Env.
|
||||||
|
|
||||||
|
#pragma once |
||||||
|
|
||||||
|
#include <cstdint> |
||||||
|
|
||||||
|
#include "rocksdb/rocksdb_namespace.h" |
||||||
|
|
||||||
|
namespace ROCKSDB_NAMESPACE { |
||||||
|
|
||||||
|
// Generates a new 128-bit identifier that is universally unique
|
||||||
|
// (with high probability) for each call. The result is split into
|
||||||
|
// two 64-bit pieces. This function has NOT been validated for use in
|
||||||
|
// cryptography.
|
||||||
|
//
|
||||||
|
// This is used in generating DB session IDs and by Env::GenerateUniqueId
|
||||||
|
// (used for DB IDENTITY) if the platform does not provide a generator of
|
||||||
|
// RFC 4122 UUIDs or fails somehow. (Set exclude_port_uuid=true if this
|
||||||
|
// function is used as a fallback for GenerateRfcUuid, because no need
|
||||||
|
// trying it again.)
|
||||||
|
void GenerateRawUniqueId(uint64_t* a, uint64_t* b, |
||||||
|
bool exclude_port_uuid = false); |
||||||
|
|
||||||
|
#ifndef NDEBUG |
||||||
|
// A version of above with options for challenge testing
|
||||||
|
void TEST_GenerateRawUniqueId(uint64_t* a, uint64_t* b, bool exclude_port_uuid, |
||||||
|
bool exclude_env_details, |
||||||
|
bool exclude_random_device); |
||||||
|
#endif |
||||||
|
|
||||||
|
} // namespace ROCKSDB_NAMESPACE
|
Loading…
Reference in new issue