From 511dc79c4688c5a304e00d57dee1f7ebc84637a1 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 23 Apr 2012 23:31:52 -0700 Subject: [PATCH] libthreads: don't create ModelAction for thrd_join() Temporarily? I may need to model-check join operations later. --- libthreads.cc | 2 -- 1 file changed, 2 deletions(-) diff --git a/libthreads.cc b/libthreads.cc index 86a95e6..7dd043c 100644 --- a/libthreads.cc +++ b/libthreads.cc @@ -23,8 +23,6 @@ int thrd_join(thrd_t t) Thread *th = model->get_thread(thrd_to_id(t)); while (th->get_state() != THREAD_COMPLETED && !ret) ret = model->switch_to_master(NULL); - /* seq_cst is just a 'don't care' parameter */ - ret = model->switch_to_master(new ModelAction(THREAD_JOIN, memory_order_seq_cst, NULL, VALUE_NONE)); return ret; } -- 2.34.1