ignore futex notify if no successful futex wait was performed in the same location...
authorweiyu <weiyuluo1232@gmail.com>
Mon, 15 Jul 2019 20:28:39 +0000 (13:28 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 15 Jul 2019 20:28:39 +0000 (13:28 -0700)
futex.cc

index 0647337..11685d3 100644 (file)
--- a/futex.cc
+++ b/futex.cc
@@ -61,6 +61,10 @@ namespace std _GLIBCXX_VISIBILITY(default)
                // INT_MAX wakes all the waiters at the address __addr
                ModelExecution *execution = model->get_execution();
                cdsc::condition_variable *v = execution->getCondMap()->get( (pthread_cond_t *) __addr);
+
+               if (v == NULL)
+                       return;         // do nothing
+
                v->notify_all();
        }