From ffe7fc6ff44ec94544123c47b3d01bdec05b3fe0 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 10 Feb 2015 08:34:00 +0100
Subject: *Queue: API to wake up all threads

---
 stm/asyncTaskQueue.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stm/asyncTaskQueue.mli')

diff --git a/stm/asyncTaskQueue.mli b/stm/asyncTaskQueue.mli
index 78f295d3d..a3fe4b8c0 100644
--- a/stm/asyncTaskQueue.mli
+++ b/stm/asyncTaskQueue.mli
@@ -61,6 +61,8 @@ module MakeQueue(T : Task) : sig
 
   val set_order : queue -> (T.task -> T.task -> int) -> unit
 
+  val broadcast : queue -> unit
+
   (* Take a snapshot (non destructive but waits until all workers are
    * enqueued) *)
   val snapshot : queue -> T.task list
-- 
cgit v1.2.3