Changeset 2e5fd8b6 for doc/theses/thierry_delisle_PhD

Timestamp:

Jul 22, 2020, 4:09:49 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

f0c3120

Parents:

9304ca2

Message:

Changed seed to be more different per threads and added more snzi nodes

File:

• doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp (modified) (3 diffs)

doc/theses/thierry_delisle_PhD/code/relaxed_list.hpp

@@ -20 +20 @@
 
 #include <cmath>
+#include <functional>
 #include <memory>
 #include <mutex>
+#include <thread>
 #include <type_traits>
 
@@ -81 +83 @@
                 , lists(new intrusive_queue_t<node_t>[numLists])
                 #if VARIANT == SNZI || VARIANT == BIAS || VARIANT == BACK || VARIANT == BACKBIAS
-                        , snzi( std::log2( numLists / (2 * numQueues) ), 2 )
+                        , snzi( std::log2( numLists / (numQueues) ), 2 )
                 #elif VARIANT == SNZM || VARIANT == DISCOVER
                         , snzm( numLists )
@@ -434 +436 @@
 
         static __attribute__((aligned(128))) thread_local struct TLS {
-                Random     rng1 = { int(rdtscl()) };
-                Random     rng2 = { int(rdtscl()) };
+                Random     rng1 = { unsigned(std::hash<std::thread::id>{}(std::this_thread::get_id()) ^ rdtscl()) };
+                Random     rng2 = { unsigned(std::hash<std::thread::id>{}(std::this_thread::get_id()) ^ rdtscl()) };
                 unsigned   my_queue = (ticket++) * 4;
                 pick_stat  pick;