sync_windows.odin 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  1. // +build windows
  2. package sync
  3. import win32 "core:sys/windows"
  4. import "core:time"
  5. // When waited upon, blocks until the internal count is greater than zero, then subtracts one.
  6. // Posting to the semaphore increases the count by one, or the provided amount.
  7. Semaphore :: struct {
  8. _handle: win32.HANDLE,
  9. }
  10. semaphore_init :: proc(s: ^Semaphore, initial_count := 0) {
  11. s._handle = win32.CreateSemaphoreW(nil, i32(initial_count), 1<<31-1, nil);
  12. }
  13. semaphore_destroy :: proc(s: ^Semaphore) {
  14. win32.CloseHandle(s._handle);
  15. }
  16. semaphore_post :: proc(s: ^Semaphore, count := 1) {
  17. win32.ReleaseSemaphore(s._handle, i32(count), nil);
  18. }
  19. semaphore_wait_for :: proc(s: ^Semaphore) {
  20. // NOTE(tetra, 2019-10-30): wait_for_single_object decrements the count before it returns.
  21. result := win32.WaitForSingleObject(s._handle, win32.INFINITE);
  22. assert(result != win32.WAIT_FAILED);
  23. }
  24. Mutex :: struct {
  25. _critical_section: win32.CRITICAL_SECTION,
  26. }
  27. mutex_init :: proc(m: ^Mutex, spin_count := 0) {
  28. win32.InitializeCriticalSectionAndSpinCount(&m._critical_section, u32(spin_count));
  29. }
  30. mutex_destroy :: proc(m: ^Mutex) {
  31. win32.DeleteCriticalSection(&m._critical_section);
  32. }
  33. mutex_lock :: proc(m: ^Mutex) {
  34. win32.EnterCriticalSection(&m._critical_section);
  35. }
  36. mutex_try_lock :: proc(m: ^Mutex) -> bool {
  37. return bool(win32.TryEnterCriticalSection(&m._critical_section));
  38. }
  39. mutex_unlock :: proc(m: ^Mutex) {
  40. win32.LeaveCriticalSection(&m._critical_section);
  41. }
  42. Blocking_Mutex :: struct {
  43. _handle: win32.SRWLOCK,
  44. }
  45. blocking_mutex_init :: proc(m: ^Blocking_Mutex) {
  46. win32.InitializeSRWLock(&m._handle);
  47. }
  48. blocking_mutex_destroy :: proc(m: ^Blocking_Mutex) {
  49. //
  50. }
  51. blocking_mutex_lock :: proc(m: ^Blocking_Mutex) {
  52. win32.AcquireSRWLockExclusive(&m._handle);
  53. }
  54. blocking_mutex_try_lock :: proc(m: ^Blocking_Mutex) -> bool {
  55. return bool(win32.TryAcquireSRWLockExclusive(&m._handle));
  56. }
  57. blocking_mutex_unlock :: proc(m: ^Blocking_Mutex) {
  58. win32.ReleaseSRWLockExclusive(&m._handle);
  59. }
  60. // Blocks until signalled.
  61. // When signalled, awakens exactly one waiting thread.
  62. Condition :: struct {
  63. _handle: win32.CONDITION_VARIABLE,
  64. mutex: Condition_Mutex_Ptr,
  65. }
  66. condition_init :: proc(c: ^Condition, mutex: Condition_Mutex_Ptr) -> bool {
  67. assert(mutex != nil);
  68. win32.InitializeConditionVariable(&c._handle);
  69. c.mutex = mutex;
  70. return true;
  71. }
  72. condition_destroy :: proc(c: ^Condition) {
  73. //
  74. }
  75. condition_signal :: proc(c: ^Condition) -> bool {
  76. if c._handle.ptr == nil {
  77. return false;
  78. }
  79. win32.WakeConditionVariable(&c._handle);
  80. return true;
  81. }
  82. condition_broadcast :: proc(c: ^Condition) -> bool {
  83. if c._handle.ptr == nil {
  84. return false;
  85. }
  86. win32.WakeAllConditionVariable(&c._handle);
  87. return true;
  88. }
  89. condition_wait_for :: proc(c: ^Condition) -> bool {
  90. switch m in &c.mutex {
  91. case ^Mutex:
  92. return cast(bool)win32.SleepConditionVariableCS(&c._handle, &m._critical_section, win32.INFINITE);
  93. case ^Blocking_Mutex:
  94. return cast(bool)win32.SleepConditionVariableSRW(&c._handle, &m._handle, win32.INFINITE, 0);
  95. }
  96. return false;
  97. }
  98. condition_wait_for_timeout :: proc(c: ^Condition, duration: time.Duration) -> bool {
  99. ms := win32.DWORD((max(time.duration_nanoseconds(duration), 0) + 999999)/1000000);
  100. switch m in &c.mutex {
  101. case ^Mutex:
  102. return cast(bool)win32.SleepConditionVariableCS(&c._handle, &m._critical_section, ms);
  103. case ^Blocking_Mutex:
  104. return cast(bool)win32.SleepConditionVariableSRW(&c._handle, &m._handle, ms, 0);
  105. }
  106. return false;
  107. }
  108. RW_Lock :: struct {
  109. _handle: win32.SRWLOCK,
  110. }
  111. rw_lock_init :: proc(l: ^RW_Lock) {
  112. l._handle = win32.SRWLOCK_INIT;
  113. }
  114. rw_lock_destroy :: proc(l: ^RW_Lock) {
  115. //
  116. }
  117. rw_lock_read :: proc(l: ^RW_Lock) {
  118. win32.AcquireSRWLockShared(&l._handle);
  119. }
  120. rw_lock_try_read :: proc(l: ^RW_Lock) -> bool {
  121. return bool(win32.TryAcquireSRWLockShared(&l._handle));
  122. }
  123. rw_lock_write :: proc(l: ^RW_Lock) {
  124. win32.AcquireSRWLockExclusive(&l._handle);
  125. }
  126. rw_lock_try_write :: proc(l: ^RW_Lock) -> bool {
  127. return bool(win32.TryAcquireSRWLockExclusive(&l._handle));
  128. }
  129. rw_lock_read_unlock :: proc(l: ^RW_Lock) {
  130. win32.ReleaseSRWLockShared(&l._handle);
  131. }
  132. rw_lock_write_unlock :: proc(l: ^RW_Lock) {
  133. win32.ReleaseSRWLockExclusive(&l._handle);
  134. }
  135. thread_yield :: proc() {
  136. win32.SwitchToThread();
  137. }