mirror of https://github.com/facebook/rocksdb.git
fdbff42391
Summary: In crash test, when coming to each kill point, we start a random class using seed as current second. With this approach, for every second, the random number used is the same. However, in each second, there are multiple kill points with different frequency. It makes it hard to reason about chance of kill point to trigger. With this commit, we use thread local random seed to generate the random number, so that it will take different values per second, hoping it makes chances of killing much easier to reason about. Also significantly reduce the kill odd to make sure time before kiling is similar as before. Test Plan: Run white box crash test and see the killing happens as expected and the run time time before killing reasonable. Reviewers: kradhakrishnan, IslamAbdelRahman, rven, yhchiang, andrewkr, anthony Reviewed By: anthony Subscribers: leveldb, dhruba Differential Revision: https://reviews.facebook.net/D52971 |
||
---|---|---|
.. | ||
dump | ||
rdb | ||
Dockerfile | ||
auto_sanity_test.sh | ||
benchmark.sh | ||
benchmark_leveldb.sh | ||
check_format_compatible.sh | ||
db_crashtest.py | ||
db_repl_stress.cc | ||
db_sanity_test.cc | ||
db_stress.cc | ||
dbench_monitor | ||
generate_random_db.sh | ||
ldb.cc | ||
ldb_cmd.cc | ||
ldb_cmd.h | ||
ldb_cmd_execute_result.h | ||
ldb_cmd_test.cc | ||
ldb_test.py | ||
ldb_tool.cc | ||
pflag | ||
reduce_levels_test.cc | ||
rocksdb_dump_test.sh | ||
run_flash_bench.sh | ||
run_leveldb.sh | ||
sample-dump.dmp | ||
sst_dump.cc | ||
sst_dump_test.cc | ||
sst_dump_tool.cc | ||
sst_dump_tool_imp.h | ||
verify_random_db.sh | ||
write_stress.cc | ||
write_stress_runner.py |