improve randomization

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 861c82a921d0c268cedbaae889f4e3ed08086335..0fcf4e8d10b206e5a07062849e038c12915264a9 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -2877,6 +2877,19 @@ Thread * ModelExecution::action_select_next_thread(const ModelAction *curr) cons
        /* Do not split atomic RMW */
        if (curr->is_rmwr())
                return get_thread(curr);
+       if (curr->is_write()) {
+//             std::memory_order order = curr->get_mo(); 
+//             switch(order) {
+//                     case std::memory_order_relaxed: 
+//                             return get_thread(curr);
+//                     case std::memory_order_release:
+//                             return get_thread(curr);
+//                     defalut:
+//                             return NULL;
+//             }       
+               return NULL;
+       }
+
        /* Follow CREATE with the created thread */
        if (curr->get_type() == THREAD_CREATE)
                return curr->get_thread_operand();