aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/asyncTaskQueue.mli
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2014-11-03 18:36:10 +0100
committerGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2014-11-03 18:36:16 +0100
commitc3b35b153f5f0023934e8d09007a68fd4a2a6b55 (patch)
treeec0248109be75287dc764dfce787531b36525b80 /stm/asyncTaskQueue.mli
parentc4f270f573360e39bd91e3ffff8d37775b2871d7 (diff)
STM: code refactoring
This is mainly shuffling code around and removing internal refs that are not needed anymore.
Diffstat (limited to 'stm/asyncTaskQueue.mli')
-rw-r--r--stm/asyncTaskQueue.mli13
1 files changed, 8 insertions, 5 deletions
diff --git a/stm/asyncTaskQueue.mli b/stm/asyncTaskQueue.mli
index cd91ba129..96239d145 100644
--- a/stm/asyncTaskQueue.mli
+++ b/stm/asyncTaskQueue.mli
@@ -36,7 +36,7 @@ end
type cancel_switch = bool ref
-module Make(T : Task) : sig
+module MakeQueue(T : Task) : sig
(* Number of workers, 0 = lazy local *)
val init : int -> unit
@@ -53,10 +53,6 @@ module Make(T : Task) : sig
val join : unit -> unit
val cancel_all : unit -> unit
- (* slave process main loop *)
- val slave_main_loop : (unit -> unit) -> unit
- val slave_init_stdout : unit -> unit
-
val cancel_worker : string -> unit
val set_order : (T.task -> T.task -> int) -> unit
@@ -69,3 +65,10 @@ module Make(T : Task) : sig
val clear : unit -> unit
end
+
+module MakeWorker(T : Task) : sig
+
+ val main_loop : unit -> unit
+ val init_stdout : unit -> unit
+
+end