+
+int nbd_rand (void) {
+ LOCALIZE_THREAD_LOCAL(rand_seed_, unsigned);
+ unsigned r = rand_r(&rand_seed_);
+ SET_THREAD_LOCAL(rand_seed_, r);
+ return r;
+}
+
+uint64_t nbd_rand_seed (int i) {
+ return rdtsc() + -715159705 + i * 129;
+}
+
+// Fairly fast random numbers
+int nbd_next_rand (uint64_t *r) {
+ *r = (*r * 0x5DEECE66DLL + 0xBLL) & MASK(48);
+ return (*r >> 17) & 0x7FFFFFFF;
+}