From 7cfcaa57a68ea9abde9e2558ceef86589aa26d6d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 8 Oct 2014 17:28:18 +0200
Subject: STM: primitives to snapshot a .vi while in interactive mode

---
 stm/asyncTaskQueue.mli | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'stm/asyncTaskQueue.mli')

diff --git a/stm/asyncTaskQueue.mli b/stm/asyncTaskQueue.mli
index ddbb28457d..cd91ba129b 100644
--- a/stm/asyncTaskQueue.mli
+++ b/stm/asyncTaskQueue.mli
@@ -61,6 +61,11 @@ module Make(T : Task) : sig
 
   val set_order : (T.task -> T.task -> int) -> unit
 
-  val dump : unit -> T.task list
+  (* Take a snapshot (non destructive but waits until all workers are
+   * enqueued) *)
+  val snapshot : unit -> T.task list
+
+  (* Clears the queue, only if the worker prool is empty *)
+  val clear : unit -> unit
 
 end
-- 
cgit v1.2.3