Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 01:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

spelling: deterministic

Browse source 
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref 2022-10-23 17:57:16 -04:00
parent 34966a93ef
commit 90f1da4fe7
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/util.cc
View file

@ -380,7 +380,7 @@ static bool write_random_seeds(const char* write_file, uint32_t seed,
return true; return true;
} }
static bool zeek_rand_determistic = false; static bool zeek_rand_deterministic = false;
static long int zeek_rand_state = 0; static long int zeek_rand_state = 0;
static bool first_seed_saved = false; static bool first_seed_saved = false;
static unsigned int first_seed = 0; static unsigned int first_seed = 0;
@ -388,14 +388,14 @@ static unsigned int first_seed = 0;
static void zeek_srandom(unsigned int seed, bool deterministic) static void zeek_srandom(unsigned int seed, bool deterministic)
{ {
zeek_rand_state = seed == 0 ? 1 : seed; zeek_rand_state = seed == 0 ? 1 : seed;
zeek_rand_determistic = deterministic; zeek_rand_deterministic = deterministic;
srandom(seed); srandom(seed);
} }
void seed_random(unsigned int seed) void seed_random(unsigned int seed)
{ {
if ( zeek_rand_determistic ) if ( zeek_rand_deterministic )
zeek_rand_state = seed == 0 ? 1 : seed; zeek_rand_state = seed == 0 ? 1 : seed;
else else
srandom(seed); srandom(seed);
@ -493,7 +493,7 @@ unsigned int initial_seed()
bool have_random_seed() bool have_random_seed()
{ {
return zeek_rand_determistic; return zeek_rand_deterministic;
} }
constexpr uint32_t zeek_prng_mod = 2147483647; constexpr uint32_t zeek_prng_mod = 2147483647;
@ -501,7 +501,7 @@ constexpr uint32_t zeek_prng_max = zeek_prng_mod - 1;
long int max_random() long int max_random()
{ {
return zeek_rand_determistic ? zeek_prng_max : RAND_MAX; return zeek_rand_deterministic ? zeek_prng_max : RAND_MAX;
} }
long int prng(long int state) long int prng(long int state)
@ -529,7 +529,7 @@ long int prng(long int state)
long int random_number() long int random_number()
{ {
if ( ! zeek_rand_determistic ) if ( ! zeek_rand_deterministic )
return random(); // Use system PRNG. return random(); // Use system PRNG.
zeek_rand_state = detail::prng(zeek_rand_state); zeek_rand_state = detail::prng(zeek_rand_state);
@ -2120,7 +2120,7 @@ uint64_t calculate_unique_id(size_t pool)
++uid_instance; // Now it's larger than zero. ++uid_instance; // Now it's larger than zero.
} }
else else
// Generate determistic UIDs for each individual pool. // Generate deterministic UIDs for each individual pool.
uid_instance = pool; uid_instance = pool;
// Our instance is unique. Huzzah. // Our instance is unique. Huzzah.