1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
(* thread.sig
* 2004 Matthew Fluet (mfluet@acm.org)
* Ported to MLton threads.
*)
(* threads-sig.sml
*
* COPYRIGHT (c) 1995 AT&T Bell Laboratories.
* COPYRIGHT (c) 1989-1991 John H. Reppy
*)
signature THREAD =
sig
include THREAD_ID
val getTid : unit -> thread_id
val spawnc : ('a -> unit) -> 'a -> thread_id
val spawn : (unit -> unit) -> thread_id
val exit : unit -> 'a
val yield : unit -> unit (* mostly for benchmarking *)
val joinEvt : thread_id -> unit Event.event
(* thread-local data *)
val newThreadProp : (unit -> 'a) ->
{
clrFn : unit -> unit, (* clear's current thread's property *)
getFn : unit -> 'a, (* get current thread's property; if *)
(* the property is not defined, then *)
(* it sets it using the initialization *)
(* function. *)
peekFn : unit -> 'a option, (* return the property's value, if any *)
setFn : 'a -> unit (* set the property's value for the *)
(* current thread. *)
}
val newThreadFlag : unit -> {getFn : unit -> bool, setFn : bool -> unit}
end
|
