diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-03 18:36:10 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-03 18:36:16 +0100 |
commit | c3b35b153f5f0023934e8d09007a68fd4a2a6b55 (patch) | |
tree | ec0248109be75287dc764dfce787531b36525b80 /stm/asyncTaskQueue.mli | |
parent | c4f270f573360e39bd91e3ffff8d37775b2871d7 (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.mli | 13 |
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 |