Notify threads paused by the Fuzzer when the desired write is available

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index 64875f2d4518935ae49dbf38d5e254e2fcdc1cf0..0d5734d0f193d517209cd34ae46d9ff1454d3a68 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -11,7 +11,9 @@ public:
        virtual int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
        virtual Predicate * get_selected_child_branch(thread_id_t tid) = 0;
        virtual bool has_paused_threads() { return false; }
+       virtual void notify_paused_thread(Thread * thread) = 0;
        virtual Thread * selectThread(int * threadlist, int numthreads);
+
        Thread * selectNotify(action_list_t * waiters);
        bool shouldSleep(const ModelAction *sleep);
        bool shouldWake(const ModelAction *sleep);