aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2021-04-11 18:25:56 +0100
committergingerBill <bill@gingerbill.org>2021-04-11 18:25:56 +0100
commit1156bd9dd05becd536feeed90f8d33dc4cc30078 (patch)
treeb34def1f8566b43cd9d53db8e1def5632100d498
parent52c193316b3dec24ae78b6790134840536af406f (diff)
Remove thread stuff from sync2; Cleanup package thread
-rw-r--r--core/sync/sync2/extended.odin24
-rw-r--r--core/sync/sync2/thread.odin193
-rw-r--r--core/sync/sync2/thread_unix.odin175
-rw-r--r--core/sync/sync2/thread_windows.odin123
-rw-r--r--core/thread/thread.odin69
-rw-r--r--core/thread/thread_unix.odin58
-rw-r--r--core/thread/thread_windows.odin31
7 files changed, 103 insertions, 570 deletions
diff --git a/core/sync/sync2/extended.odin b/core/sync/sync2/extended.odin
index 3c439b225..f9216d116 100644
--- a/core/sync/sync2/extended.odin
+++ b/core/sync/sync2/extended.odin
@@ -213,3 +213,27 @@ recursive_benaphore_unlock :: proc(b: ^Recursive_Benaphore) {
}
// outside the lock
}
+
+
+
+
+
+Once :: struct {
+ m: Mutex,
+ done: bool,
+}
+
+once_do :: proc(o: ^Once, fn: proc()) {
+ if intrinsics.atomic_load_acq(&o.done) == false {
+ _once_do_slow(o, fn);
+ }
+}
+
+_once_do_slow :: proc(o: ^Once, fn: proc()) {
+ mutex_lock(&o.m);
+ defer mutex_unlock(&o.m);
+ if !o.done {
+ fn();
+ intrinsics.atomic_store_rel(&o.done, true);
+ }
+}
diff --git a/core/sync/sync2/thread.odin b/core/sync/sync2/thread.odin
deleted file mode 100644
index a20f1bd7f..000000000
--- a/core/sync/sync2/thread.odin
+++ /dev/null
@@ -1,193 +0,0 @@
-package sync2
-
-import "core:runtime"
-import "core:sync"
-import "core:mem"
-import "intrinsics"
-
-_ :: intrinsics;
-
-Thread_Proc :: #type proc(^Thread);
-
-MAX_USER_ARGUMENTS :: 8;
-
-Thread :: struct {
- using specific: Thread_Os_Specific,
- procedure: Thread_Proc,
- data: rawptr,
- user_index: int,
- user_args: [MAX_USER_ARGUMENTS]rawptr,
-
- init_context: Maybe(runtime.Context),
-
-
- creation_allocator: mem.Allocator,
-}
-
-#assert(size_of(Thread{}.user_index) == size_of(uintptr));
-
-Thread_Priority :: enum {
- Normal,
- Low,
- High,
-}
-
-thread_create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
- return _thread_create(procedure, priority);
-}
-thread_destroy :: proc(thread: ^Thread) {
- _thread_destroy(thread);
-}
-
-thread_start :: proc(thread: ^Thread) {
- _thread_start(thread);
-}
-
-thread_is_done :: proc(thread: ^Thread) -> bool {
- return _thread_is_done(thread);
-}
-
-
-thread_join :: proc(thread: ^Thread) {
- _thread_join(thread);
-}
-
-
-thread_join_mulitple :: proc(threads: ..^Thread) {
- _thread_join_multiple(..threads);
-}
-
-thread_terminate :: proc(thread: ^Thread, exit_code: int) {
- _thread_terminate(thread, exit_code);
-}
-
-thread_yield :: proc() {
- _thread_yield();
-}
-
-
-
-thread_run :: proc(fn: proc(), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal) {
- thread_proc :: proc(t: ^Thread) {
- fn := cast(proc())t.data;
- fn();
- thread_destroy(t);
- }
- t := thread_create(thread_proc, priority);
- t.data = rawptr(fn);
- t.init_context = init_context;
- thread_start(t);
-}
-
-thread_run_with_data :: proc(data: rawptr, fn: proc(data: rawptr), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal) {
- thread_proc :: proc(t: ^Thread) {
- fn := cast(proc(rawptr))t.data;
- assert(t.user_index >= 1);
- data := t.user_args[0];
- fn(data);
- thread_destroy(t);
- }
- t := thread_create(thread_proc, priority);
- t.data = rawptr(fn);
- t.user_index = 1;
- t.user_args = data;
- t.init_context = init_context;
- thread_start(t);
-}
-
-thread_run_with_poly_data :: proc(data: $T, fn: proc(data: T), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal)
- where size_of(T) <= size_of(rawptr) {
- thread_proc :: proc(t: ^Thread) {
- fn := cast(proc(T))t.data;
- assert(t.user_index >= 1);
- data := (^T)(&t.user_args[0])^;
- fn(data);
- thread_destroy(t);
- }
- t := thread_create(thread_proc, priority);
- t.data = rawptr(fn);
- t.user_index = 1;
- data := data;
- mem.copy(&t.user_args[0], &data, size_of(data));
- t.init_context = init_context;
- thread_start(t);
-}
-
-thread_run_with_poly_data2 :: proc(arg1: $T1, arg2: $T2, fn: proc(T1, T2), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal)
- where size_of(T1) <= size_of(rawptr),
- size_of(T2) <= size_of(rawptr) {
- thread_proc :: proc(t: ^Thread) {
- fn := cast(proc(T1, T2))t.data;
- assert(t.user_index >= 2);
- arg1 := (^T1)(&t.user_args[0])^;
- arg2 := (^T2)(&t.user_args[1])^;
- fn(arg1, arg2);
- thread_destroy(t);
- }
- t := thread_create(thread_proc, priority);
- t.data = rawptr(fn);
- t.user_index = 2;
- arg1, arg2 := arg1, arg2;
- mem.copy(&t.user_args[0], &arg1, size_of(arg1));
- mem.copy(&t.user_args[1], &arg2, size_of(arg2));
- t.init_context = init_context;
- thread_start(t);
-}
-
-thread_run_with_poly_data3 :: proc(arg1: $T1, arg2: $T2, arg3: $T3, fn: proc(arg1: T1, arg2: T2, arg3: T3), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal)
- where size_of(T1) <= size_of(rawptr),
- size_of(T2) <= size_of(rawptr),
- size_of(T3) <= size_of(rawptr) {
- thread_proc :: proc(t: ^Thread) {
- fn := cast(proc(T1, T2, T3))t.data;
- assert(t.user_index >= 3);
- arg1 := (^T1)(&t.user_args[0])^;
- arg2 := (^T2)(&t.user_args[1])^;
- arg3 := (^T3)(&t.user_args[2])^;
- fn(arg1, arg2, arg3);
- thread_destroy(t);
- }
- t := thread_create(thread_proc, priority);
- t.data = rawptr(fn);
- t.user_index = 3;
- arg1, arg2, arg3 := arg1, arg2, arg3;
- mem.copy(&t.user_args[0], &arg1, size_of(arg1));
- mem.copy(&t.user_args[1], &arg2, size_of(arg2));
- mem.copy(&t.user_args[2], &arg3, size_of(arg3));
- t.init_context = init_context;
- thread_start(t);
-}
-thread_run_with_poly_data4 :: proc(arg1: $T1, arg2: $T2, arg3: $T3, arg4: $T4, fn: proc(arg1: T1, arg2: T2, arg3: T3, arg4: T4), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal)
- where size_of(T1) <= size_of(rawptr),
- size_of(T2) <= size_of(rawptr),
- size_of(T3) <= size_of(rawptr) {
- thread_proc :: proc(t: ^Thread) {
- fn := cast(proc(T1, T2, T3, T4))t.data;
- assert(t.user_index >= 4);
- arg1 := (^T1)(&t.user_args[0])^;
- arg2 := (^T2)(&t.user_args[1])^;
- arg3 := (^T3)(&t.user_args[2])^;
- arg4 := (^T4)(&t.user_args[3])^;
- fn(arg1, arg2, arg3, arg4);
- thread_destroy(t);
- }
- t := thread_create(thread_proc, priority);
- t.data = rawptr(fn);
- t.user_index = 4;
- arg1, arg2, arg3, arg4 := arg1, arg2, arg3, arg4;
- mem.copy(&t.user_args[0], &arg1, size_of(arg1));
- mem.copy(&t.user_args[1], &arg2, size_of(arg2));
- mem.copy(&t.user_args[2], &arg3, size_of(arg3));
- mem.copy(&t.user_args[3], &arg4, size_of(arg4));
- t.init_context = init_context;
- thread_start(t);
-}
-
-
-
-thread_create_and_start :: proc(fn: Thread_Proc, init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal) -> ^Thread {
- t := thread_create(fn, priority);
- t.init_context = init_context;
- thread_start(t);
- return t;
-}
diff --git a/core/sync/sync2/thread_unix.odin b/core/sync/sync2/thread_unix.odin
deleted file mode 100644
index d56734ed9..000000000
--- a/core/sync/sync2/thread_unix.odin
+++ /dev/null
@@ -1,175 +0,0 @@
-// +build linux, darwin, freebsd
-// +private
-package sync2
-
-import "core:runtime"
-import "core:intrinsics"
-import "core:sys/unix"
-
-// NOTE(tetra): Aligned here because of core/unix/pthread_linux.odin/pthread_t.
-// Also see core/sys/darwin/mach_darwin.odin/semaphore_t.
-Thread_Os_Specific :: struct #align 16 {
- unix_thread: unix.pthread_t, // NOTE: very large on Darwin, small on Linux.
-
- // NOTE: pthread has a proc to query this, but it is marked
- // as non-portable ("np") so we do this instead.
- done: bool,
-
- // since libpthread doesn't seem to have a way to create a thread
- // in a suspended state, we have it wait on this gate, which we
- // signal to start it.
- // destroyed after thread is started.
- start_gate: Cond,
- start_mutex: Mutex,
-
- // if true, the thread has been started and the start_gate has been destroyed.
- started: bool,
-
- // NOTE: with pthreads, it is undefined behavior for multiple threads
- // to call join on the same thread at the same time.
- // this value is atomically updated to detect this.
- // See the comment in `join`.
- already_joined: bool,
-}
-//
-// Creates a thread which will run the given procedure.
-// It then waits for `start` to be called.
-//
-_thread_create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
- __linux_thread_entry_proc :: proc "c" (t: rawptr) -> rawptr {
- context = runtime.default_context();
-
- t := (^Thread)(t);
- cond_wait(&t.start_gate, &t.start_mutex);
- t.start_gate = {};
- t.start_mutex = {};
-
- c := context;
- if ic, ok := t.init_context.?; ok {
- c = ic;
- }
- context = c;
-
- t.procedure(t);
-
- if t.init_context == nil {
- if context.temp_allocator.data == &runtime.global_default_temp_allocator_data {
- runtime.default_temp_allocator_destroy(auto_cast context.temp_allocator.data);
- }
- }
-
- atomic_store(&t.done, true, .Sequentially_Consistent);
- return nil;
- }
-
- attrs: unix.pthread_attr_t;
- if unix.pthread_attr_init(&attrs) != 0 {
- return nil; // NOTE(tetra, 2019-11-01): POSIX OOM.
- }
- defer unix.pthread_attr_destroy(&attrs);
-
- // NOTE(tetra, 2019-11-01): These only fail if their argument is invalid.
- assert(unix.pthread_attr_setdetachstate(&attrs, unix.PTHREAD_CREATE_JOINABLE) == 0);
- assert(unix.pthread_attr_setinheritsched(&attrs, unix.PTHREAD_EXPLICIT_SCHED) == 0);
-
- thread := new(Thread);
- if thread == nil {
- return nil;
- }
- thread.creation_allocator = context.allocator;
-
- // Set thread priority.
- policy: i32;
- res := unix.pthread_attr_getschedpolicy(&attrs, &policy);
- assert(res == 0);
- params: unix.sched_param;
- res = unix.pthread_attr_getschedparam(&attrs, &params);
- assert(res == 0);
- low := unix.sched_get_priority_min(policy);
- high := unix.sched_get_priority_max(policy);
- switch priority {
- case .Normal: // Okay
- case .Low: params.sched_priority = low + 1;
- case .High: params.sched_priority = high;
- }
- res = unix.pthread_attr_setschedparam(&attrs, &params);
- assert(res == 0);
-
- if unix.pthread_create(&thread.unix_thread, &attrs, __linux_thread_entry_proc, thread) != 0 {
- free(thread, thread.creation_allocator);
- return nil;
- }
- thread.procedure = procedure;
-
- return thread;
-}
-
-_thread_start :: proc(t: ^Thread) {
- if intrinsics.atomic_xchg(&t.started, true) {
- return;
- }
- cond_signal(&t.start_gate);
-}
-
-_thread_is_done :: proc(t: ^Thread) -> bool {
- return atomic_load(&t.done, .Sequentially_Consistent);
-}
-
-_thread_join :: proc(t: ^Thread) {
- if unix.pthread_equal(unix.pthread_self(), t.unix_thread) {
- return;
- }
- // if unix.pthread_self().x == t.unix_thread.x do return;
-
- // NOTE(tetra): It's apparently UB for multiple threads to join the same thread
- // at the same time.
- // If someone else already did, spin until the thread dies.
- // See note on `already_joined` field.
- // TODO(tetra): I'm not sure if we should do this, or panic, since I'm not
- // sure it makes sense to need to join from multiple threads?
- if intrinsics.atomic_xchg(&t.already_joined, true) {
- for {
- if intrinsics.atomic_load(&t.done) {
- return;
- }
- intrinsics.cpu_relax();
- }
- }
-
- // NOTE(tetra): If we're already dead, don't bother calling to pthread_join as that
- // will just return 3 (ESRCH).
- // We do this instead because I don't know if there is a danger
- // that you may join a different thread from the one you called join on,
- // if the thread handle is reused.
- if intrinsics.atomic_load(&t.done) {
- return;
- }
-
- ret_val: rawptr;
- _ = unix.pthread_join(t.unix_thread, &ret_val);
- if !intrinsics.atomic_load(&t.done) {
- panic("thread not done after join");
- }
-}
-
-_thread_join_multiple :: proc(threads: ..^Thread) {
- for t in threads {
- _thread_join(t);
- }
-}
-
-
-_thread_destroy :: proc(t: ^Thread) {
- _thread_join(t);
- t.unix_thread = {};
- free(t, t.creation_allocator);
-}
-
-
-_thread_terminate :: proc(t: ^Thread, exit_code: int) {
- // TODO(bill)
-}
-
-_thread_yield :: proc() {
- unix.sched_yield();
-}
diff --git a/core/sync/sync2/thread_windows.odin b/core/sync/sync2/thread_windows.odin
deleted file mode 100644
index 6aa2fddd2..000000000
--- a/core/sync/sync2/thread_windows.odin
+++ /dev/null
@@ -1,123 +0,0 @@
-//+build windows
-//+private
-package sync2
-
-import "core:runtime"
-import "core:sync"
-import win32 "core:sys/windows"
-
-Thread_Os_Specific :: struct {
- win32_thread: win32.HANDLE,
- win32_thread_id: win32.DWORD,
- done: bool, // see note in `is_done`
-}
-
-_thread_priority_map := [Thread_Priority]i32{
- .Normal = 0,
- .Low = -2,
- .High = +2,
-};
-
-_thread_create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
- win32_thread_id: win32.DWORD;
-
- __windows_thread_entry_proc :: proc "stdcall" (t_: rawptr) -> win32.DWORD {
- t := (^Thread)(t_);
- context = runtime.default_context();
- c := context;
- if ic, ok := t.init_context.?; ok {
- c = ic;
- }
- context = c;
-
- t.procedure(t);
-
- if t.init_context == nil {
- if context.temp_allocator.data == &runtime.global_default_temp_allocator_data {
- runtime.default_temp_allocator_destroy(auto_cast context.temp_allocator.data);
- }
- }
-
- sync.atomic_store(&t.done, true, .Sequentially_Consistent);
- return 0;
- }
-
-
- thread := new(Thread);
- if thread == nil {
- return nil;
- }
- thread.creation_allocator = context.allocator;
-
- win32_thread := win32.CreateThread(nil, 0, __windows_thread_entry_proc, thread, win32.CREATE_SUSPENDED, &win32_thread_id);
- if win32_thread == nil {
- free(thread, thread.creation_allocator);
- return nil;
- }
- thread.procedure = procedure;
- thread.win32_thread = win32_thread;
- thread.win32_thread_id = win32_thread_id;
- thread.init_context = context;
-
- ok := win32.SetThreadPriority(win32_thread, _thread_priority_map[priority]);
- assert(ok == true);
-
- return thread;
-}
-
-_thread_start :: proc(thread: ^Thread) {
- win32.ResumeThread(thread.win32_thread);
-}
-
-_thread_is_done :: proc(using thread: ^Thread) -> bool {
- // NOTE(tetra, 2019-10-31): Apparently using wait_for_single_object and
- // checking if it didn't time out immediately, is not good enough,
- // so we do it this way instead.
- return sync.atomic_load(&done, .Sequentially_Consistent);
-}
-
-_thread_join :: proc(using thread: ^Thread) {
- if win32_thread != win32.INVALID_HANDLE {
- win32.WaitForSingleObject(win32_thread, win32.INFINITE);
- win32.CloseHandle(win32_thread);
- win32_thread = win32.INVALID_HANDLE;
- }
-}
-
-_thread_join_multiple :: proc(threads: ..^Thread) {
- MAXIMUM_WAIT_OBJECTS :: 64;
-
- handles: [MAXIMUM_WAIT_OBJECTS]win32.HANDLE;
-
- for k := 0; k < len(threads); k += MAXIMUM_WAIT_OBJECTS {
- count := min(len(threads) - k, MAXIMUM_WAIT_OBJECTS);
- j := 0;
- for i in 0..<count {
- handle := threads[i+k].win32_thread;
- if handle != win32.INVALID_HANDLE {
- handles[j] = handle;
- j += 1;
- }
- }
- win32.WaitForMultipleObjects(u32(j), &handles[0], true, win32.INFINITE);
- }
-
- for t in threads {
- win32.CloseHandle(t.win32_thread);
- t.win32_thread = win32.INVALID_HANDLE;
- }
-}
-
-_thread_destroy :: proc(thread: ^Thread) {
- _thread_join(thread);
- free(thread, thread.creation_allocator);
-}
-
-_thread_terminate :: proc(using thread : ^Thread, exit_code: int) {
- win32.TerminateThread(win32_thread, u32(exit_code));
-}
-
-_thread_yield :: proc() {
- win32.SwitchToThread();
-}
-
diff --git a/core/thread/thread.odin b/core/thread/thread.odin
index 51fb116e3..fce35b124 100644
--- a/core/thread/thread.odin
+++ b/core/thread/thread.odin
@@ -26,6 +26,46 @@ Thread :: struct {
#assert(size_of(Thread{}.user_index) == size_of(uintptr));
+Thread_Priority :: enum {
+ Normal,
+ Low,
+ High,
+}
+
+create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
+ return _create(procedure, priority);
+}
+destroy :: proc(thread: ^Thread) {
+ _destroy(thread);
+}
+
+start :: proc(thread: ^Thread) {
+ _start(thread);
+}
+
+is_done :: proc(thread: ^Thread) -> bool {
+ return _is_done(thread);
+}
+
+
+join :: proc(thread: ^Thread) {
+ _join(thread);
+}
+
+
+join_mulitple :: proc(threads: ..^Thread) {
+ _join_multiple(..threads);
+}
+
+terminate :: proc(thread: ^Thread, exit_code: int) {
+ _terminate(thread, exit_code);
+}
+
+yield :: proc() {
+ _yield();
+}
+
+
run :: proc(fn: proc(), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal) {
thread_proc :: proc(t: ^Thread) {
@@ -39,7 +79,6 @@ run :: proc(fn: proc(), init_context: Maybe(runtime.Context) = nil, priority :=
start(t);
}
-
run_with_data :: proc(data: rawptr, fn: proc(data: rawptr), init_context: Maybe(runtime.Context) = nil, priority := Thread_Priority.Normal) {
thread_proc :: proc(t: ^Thread) {
fn := cast(proc(rawptr))t.data;
@@ -152,31 +191,3 @@ create_and_start :: proc(fn: Thread_Proc, init_context: Maybe(runtime.Context) =
start(t);
return t;
}
-
-
-Once :: struct {
- m: sync.Blocking_Mutex,
- done: bool,
-}
-once_init :: proc(o: ^Once) {
- sync.blocking_mutex_init(&o.m);
- intrinsics.atomic_store_rel(&o.done, false);
-}
-once_destroy :: proc(o: ^Once) {
- sync.blocking_mutex_destroy(&o.m);
-}
-
-once_do :: proc(o: ^Once, fn: proc()) {
- if intrinsics.atomic_load(&o.done) == false {
- _once_do_slow(o, fn);
- }
-}
-
-_once_do_slow :: proc(o: ^Once, fn: proc()) {
- sync.blocking_mutex_lock(&o.m);
- defer sync.blocking_mutex_unlock(&o.m);
- if !o.done {
- fn();
- intrinsics.atomic_store_rel(&o.done, true);
- }
-}
diff --git a/core/thread/thread_unix.odin b/core/thread/thread_unix.odin
index d87291c0e..139c323bd 100644
--- a/core/thread/thread_unix.odin
+++ b/core/thread/thread_unix.odin
@@ -1,9 +1,10 @@
// +build linux, darwin, freebsd
-package thread;
+// +private
+package thread
import "core:runtime"
import "core:intrinsics"
-import "core:sync"
+import sync "core:sync/sync2"
import "core:sys/unix"
// NOTE(tetra): Aligned here because of core/unix/pthread_linux.odin/pthread_t.
@@ -19,7 +20,7 @@ Thread_Os_Specific :: struct #align 16 {
// in a suspended state, we have it wait on this gate, which we
// signal to start it.
// destroyed after thread is started.
- start_gate: sync.Condition,
+ start_gate: sync.Cond,
start_mutex: sync.Mutex,
// if true, the thread has been started and the start_gate has been destroyed.
@@ -31,25 +32,16 @@ Thread_Os_Specific :: struct #align 16 {
// See the comment in `join`.
already_joined: bool,
}
-
-Thread_Priority :: enum {
- Normal,
- Low,
- High,
-}
-
//
// Creates a thread which will run the given procedure.
// It then waits for `start` to be called.
//
-create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
+_create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
__linux_thread_entry_proc :: proc "c" (t: rawptr) -> rawptr {
context = runtime.default_context();
t := (^Thread)(t);
- sync.condition_wait_for(&t.start_gate);
- sync.condition_destroy(&t.start_gate);
- sync.mutex_destroy(&t.start_mutex);
+ sync.cond_wait(&t.start_gate, &t.start_mutex);
t.start_gate = {};
t.start_mutex = {};
@@ -67,7 +59,7 @@ create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^T
}
}
- sync.atomic_store(&t.done, true, .Sequentially_Consistent);
+ intrinsics.atomic_store(&t.done, true);
return nil;
}
@@ -104,8 +96,6 @@ create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^T
res = unix.pthread_attr_setschedparam(&attrs, &params);
assert(res == 0);
- sync.mutex_init(&thread.start_mutex);
- sync.condition_init(&thread.start_gate, &thread.start_mutex);
if unix.pthread_create(&thread.unix_thread, &attrs, __linux_thread_entry_proc, thread) != 0 {
free(thread, thread.creation_allocator);
return nil;
@@ -115,18 +105,18 @@ create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^T
return thread;
}
-start :: proc(t: ^Thread) {
- if sync.atomic_swap(&t.started, true, .Sequentially_Consistent) {
+_start :: proc(t: ^Thread) {
+ if intrinsics.atomic_xchg(&t.started, true) {
return;
}
- sync.condition_signal(&t.start_gate);
+ sync.cond_signal(&t.start_gate);
}
-is_done :: proc(t: ^Thread) -> bool {
- return sync.atomic_load(&t.done, .Sequentially_Consistent);
+_is_done :: proc(t: ^Thread) -> bool {
+ return intrinsics.atomic_load(&t.done);
}
-join :: proc(t: ^Thread) {
+_join :: proc(t: ^Thread) {
if unix.pthread_equal(unix.pthread_self(), t.unix_thread) {
return;
}
@@ -138,9 +128,9 @@ join :: proc(t: ^Thread) {
// See note on `already_joined` field.
// TODO(tetra): I'm not sure if we should do this, or panic, since I'm not
// sure it makes sense to need to join from multiple threads?
- if sync.atomic_swap(&t.already_joined, true, .Sequentially_Consistent) {
+ if intrinsics.atomic_xchg(&t.already_joined, true) {
for {
- if sync.atomic_load(&t.done, .Sequentially_Consistent) {
+ if intrinsics.atomic_load(&t.done) {
return;
}
intrinsics.cpu_relax();
@@ -152,31 +142,35 @@ join :: proc(t: ^Thread) {
// We do this instead because I don't know if there is a danger
// that you may join a different thread from the one you called join on,
// if the thread handle is reused.
- if sync.atomic_load(&t.done, .Sequentially_Consistent) {
+ if intrinsics.atomic_load(&t.done) {
return;
}
ret_val: rawptr;
_ = unix.pthread_join(t.unix_thread, &ret_val);
- if !sync.atomic_load(&t.done, .Sequentially_Consistent) {
+ if !intrinsics.atomic_load(&t.done) {
panic("thread not done after join");
}
}
-join_multiple :: proc(threads: ..^Thread) {
+_join_multiple :: proc(threads: ..^Thread) {
for t in threads {
- join(t);
+ _join(t);
}
}
-destroy :: proc(t: ^Thread) {
- join(t);
+_destroy :: proc(t: ^Thread) {
+ _join(t);
t.unix_thread = {};
free(t, t.creation_allocator);
}
-yield :: proc() {
+_terminate :: proc(t: ^Thread, exit_code: int) {
+ // TODO(bill)
+}
+
+_yield :: proc() {
unix.sched_yield();
}
diff --git a/core/thread/thread_windows.odin b/core/thread/thread_windows.odin
index 27a14c7f6..b44ec8f36 100644
--- a/core/thread/thread_windows.odin
+++ b/core/thread/thread_windows.odin
@@ -1,3 +1,5 @@
+//+build windows
+//+private
package thread
import "core:runtime"
@@ -10,20 +12,13 @@ Thread_Os_Specific :: struct {
done: bool, // see note in `is_done`
}
-
-Thread_Priority :: enum {
- Normal,
- Low,
- High,
-}
-
_thread_priority_map := [Thread_Priority]i32{
.Normal = 0,
.Low = -2,
.High = +2,
};
-create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
+_create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^Thread {
win32_thread_id: win32.DWORD;
__windows_thread_entry_proc :: proc "stdcall" (t_: rawptr) -> win32.DWORD {
@@ -70,18 +65,18 @@ create :: proc(procedure: Thread_Proc, priority := Thread_Priority.Normal) -> ^T
return thread;
}
-start :: proc(using thread: ^Thread) {
- win32.ResumeThread(win32_thread);
+_start :: proc(thread: ^Thread) {
+ win32.ResumeThread(thread.win32_thread);
}
-is_done :: proc(using thread: ^Thread) -> bool {
+_is_done :: proc(using thread: ^Thread) -> bool {
// NOTE(tetra, 2019-10-31): Apparently using wait_for_single_object and
// checking if it didn't time out immediately, is not good enough,
// so we do it this way instead.
return sync.atomic_load(&done, .Sequentially_Consistent);
}
-join :: proc(using thread: ^Thread) {
+_join :: proc(using thread: ^Thread) {
if win32_thread != win32.INVALID_HANDLE {
win32.WaitForSingleObject(win32_thread, win32.INFINITE);
win32.CloseHandle(win32_thread);
@@ -89,7 +84,7 @@ join :: proc(using thread: ^Thread) {
}
}
-join_multiple :: proc(threads: ..^Thread) {
+_join_multiple :: proc(threads: ..^Thread) {
MAXIMUM_WAIT_OBJECTS :: 64;
handles: [MAXIMUM_WAIT_OBJECTS]win32.HANDLE;
@@ -113,16 +108,16 @@ join_multiple :: proc(threads: ..^Thread) {
}
}
-destroy :: proc(thread: ^Thread) {
- join(thread);
+_destroy :: proc(thread: ^Thread) {
+ _join(thread);
free(thread, thread.creation_allocator);
}
-terminate :: proc(using thread : ^Thread, exit_code: u32) {
- win32.TerminateThread(win32_thread, exit_code);
+_terminate :: proc(using thread : ^Thread, exit_code: int) {
+ win32.TerminateThread(win32_thread, u32(exit_code));
}
-yield :: proc() {
+_yield :: proc() {
win32.SwitchToThread();
}