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
|
(**
* pthread.sml
*
* @copyright (C) 2021 SML# Development Team.
* @author UENO Katsuhiro
*
* NOTE: Thread support is only available in native compile mode.
*)
structure Pthread =
struct
type pthread_t = unit ptr (* ToDo: system dependent *)
val pthread_create =
_import "pthread_create"
: (pthread_t ref, unit ptr, unit ptr -> unit ptr, unit ptr) -> int
val pthread_join =
_import "pthread_join"
: __attribute__((suspend)) (pthread_t, unit ptr ref) -> int
fun create f =
let
val ret = ref _NULL
val err = pthread_create (ret, _NULL, f, _NULL)
val ref th = ret
in
if err = 0 then () else raise Fail "pthread_create";
th
end
fun join t =
let
val dummy = ref (Pointer.NULL () : unit ptr)
in
pthread_join (t, dummy)
end
end
|
