annotate foosdk/sdk/pfc/synchro_win.h @ 1:20d02a178406 default tip

*: check in everything else yay
author Paper <paper@tflc.us>
date Mon, 05 Jan 2026 02:15:46 -0500
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
1 #pragma once
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
2
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
3 class _critical_section_base {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
4 protected:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
5 CRITICAL_SECTION sec;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
6 public:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
7 _critical_section_base() = default;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
8 inline void enter() noexcept {EnterCriticalSection(&sec);}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
9 inline void leave() noexcept {LeaveCriticalSection(&sec);}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
10 inline void create() noexcept {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
11 #ifdef PFC_WINDOWS_DESKTOP_APP
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
12 InitializeCriticalSection(&sec);
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
13 #else
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
14 InitializeCriticalSectionEx(&sec,0,0);
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
15 #endif
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
16 }
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
17 inline void destroy() noexcept {DeleteCriticalSection(&sec);}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
18 inline bool tryEnter() noexcept { return !!TryEnterCriticalSection(&sec); }
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
19 private:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
20 _critical_section_base(const _critical_section_base&) = delete;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
21 void operator=(const _critical_section_base&) = delete;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
22 };
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
23
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
24 // Static-lifetime critical section, no cleanup - valid until process termination
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
25 class critical_section_static : public _critical_section_base {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
26 public:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
27 critical_section_static() noexcept {create();}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
28 #if !PFC_LEAK_STATIC_OBJECTS
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
29 ~critical_section_static() noexcept {destroy();}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
30 #endif
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
31 };
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
32
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
33 // Regular critical section, intended for any lifetime scopes
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
34 class critical_section : public _critical_section_base {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
35 public:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
36 critical_section() noexcept {create();}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
37 ~critical_section() noexcept {destroy();}
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
38 };
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
39
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
40 namespace pfc {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
41
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
42 // Read write lock - Vista-and-newer friendly lock that allows concurrent reads from a resource that permits such
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
43 // Warning, non-recursion proof
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
44 class readWriteLock {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
45 public:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
46 readWriteLock() = default;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
47
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
48 void enterRead() noexcept {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
49 AcquireSRWLockShared( & theLock );
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
50 }
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
51 void enterWrite() noexcept {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
52 AcquireSRWLockExclusive( & theLock );
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
53 }
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
54 void leaveRead() noexcept {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
55 ReleaseSRWLockShared( & theLock );
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
56 }
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
57 void leaveWrite() noexcept {
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
58 ReleaseSRWLockExclusive( &theLock );
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
59 }
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
60
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
61 private:
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
62 readWriteLock(const readWriteLock&) = delete;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
63 void operator=(const readWriteLock&) = delete;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
64
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
65 SRWLOCK theLock = SRWLOCK_INIT;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
66 };
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
67
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
68 typedef ::_critical_section_base mutexBase_t;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
69 typedef ::critical_section mutex;
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
70
20d02a178406 *: check in everything else
Paper <paper@tflc.us>
parents:
diff changeset
71 }