#include <pthread.h>
#include "common.h"
#include "runtime.h"
-#include "runtime_local.h"
+#include "rlocal.h"
#include "mem.h"
#include "tls.h"
DECLARE_THREAD_LOCAL(tid_, int);
+DECLARE_THREAD_LOCAL(rand_seed_, unsigned);
typedef struct thread_info {
int thread_id;
} thread_info_t;
void nbd_init (void) {
+ sranddev();
+ INIT_THREAD_LOCAL(rand_seed_);
INIT_THREAD_LOCAL(tid_);
SET_THREAD_LOCAL(tid_, 0);
mem_init();
static void *worker (void *arg) {
thread_info_t *ti = (thread_info_t *)arg;
SET_THREAD_LOCAL(tid_, ti->thread_id);
+ LOCALIZE_THREAD_LOCAL(tid_, int);
+ SET_THREAD_LOCAL(rand_seed_, tid_+1);
lwt_thread_init(ti->thread_id);
rcu_thread_init(ti->thread_id);
void *ret = ti->start_routine(ti->arg);
ti->arg = arg;
return pthread_create(thread, NULL, worker, ti);
}
+
+int nbd_rand (void) {
+ LOCALIZE_THREAD_LOCAL(rand_seed_, unsigned);
+ unsigned r = rand_r(&rand_seed_);
+ SET_THREAD_LOCAL(rand_seed_, r);
+ return r;
+}