Changeset e84ab3d for libcfa/src/concurrency/monitor.hfa
- Timestamp:
- Jul 5, 2021, 4:44:20 PM (3 years ago)
- Branches:
- ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 7f62b708
- Parents:
- ee23a8d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/concurrency/monitor.hfa
ree23a8d re84ab3d 23 23 24 24 trait is_monitor(T &) { 25 $monitor* get_monitor( T & );25 monitor$ * get_monitor( T & ); 26 26 void ^?{}( T & mutex ); 27 27 }; 28 28 29 static inline void ?{}( $monitor& this) with( this ) {29 static inline void ?{}(monitor$ & this) with( this ) { 30 30 lock{}; 31 31 entry_queue{}; … … 39 39 } 40 40 41 static inline void ^?{}( $monitor& ) {}41 static inline void ^?{}(monitor$ & ) {} 42 42 43 43 struct monitor_guard_t { 44 $monitor** m;44 monitor$ ** m; 45 45 __lock_size_t count; 46 46 __monitor_group_t prev; 47 47 }; 48 48 49 void ?{}( monitor_guard_t & this, $monitor** m, __lock_size_t count, void (*func)() );49 void ?{}( monitor_guard_t & this, monitor$ ** m, __lock_size_t count, void (*func)() ); 50 50 void ^?{}( monitor_guard_t & this ); 51 51 52 52 struct monitor_dtor_guard_t { 53 $monitor* m;53 monitor$ * m; 54 54 __monitor_group_t prev; 55 55 bool join; 56 56 }; 57 57 58 void ?{}( monitor_dtor_guard_t & this, $monitor** m, void (*func)(), bool join );58 void ?{}( monitor_dtor_guard_t & this, monitor$ ** m, void (*func)(), bool join ); 59 59 void ^?{}( monitor_dtor_guard_t & this ); 60 60 … … 73 73 74 74 // The monitor this criterion concerns 75 $monitor* target;75 monitor$ * target; 76 76 77 77 // The parent node to which this criterion belongs … … 88 88 struct __condition_node_t { 89 89 // Thread that needs to be woken when all criteria are met 90 $thread* waiting_thread;90 thread$ * waiting_thread; 91 91 92 92 // Array of criteria (Criterions are contiguous in memory) … … 107 107 } 108 108 109 void ?{}(__condition_node_t & this, $thread* waiting_thread, __lock_size_t count, uintptr_t user_info );109 void ?{}(__condition_node_t & this, thread$ * waiting_thread, __lock_size_t count, uintptr_t user_info ); 110 110 void ?{}(__condition_criterion_t & this ); 111 void ?{}(__condition_criterion_t & this, $monitor* target, __condition_node_t * owner );111 void ?{}(__condition_criterion_t & this, monitor$ * target, __condition_node_t * owner ); 112 112 113 113 struct condition { … … 116 116 117 117 // Array of monitor pointers (Monitors are NOT contiguous in memory) 118 $monitor** monitors;118 monitor$ ** monitors; 119 119 120 120 // Number of monitors in the array
Note: See TracChangeset
for help on using the changeset viewer.