+
+
+void sg_platf_rng_stream_init(unsigned long seed[6]) {
+ RngStream_SetPackageSeed(seed);
+ sg_platf_rng_stream = RngStream_CreateStream(NULL);
+}
+
+RngStream sg_platf_rng_stream_get(const char* id) {
+ RngStream stream = NULL;
+ unsigned int id_hash;
+
+ stream = RngStream_CopyStream(sg_platf_rng_stream);
+ id_hash = xbt_str_hash(id);
+ RngStream_AdvanceState(stream, 0, (long)id_hash);
+
+ return stream;
+}