#pragma once #include "bits/algorithm.hfa" #include "bits/defs.hfa" //----------------------------------------------------------------------------- // is_lock forall(L & | sized(L)) trait is_lock { // For acquiring a lock void lock( L & ); // For releasing a lock void unlock( L & ); }; struct __mutex_stmt_lock_guard { void ** lockarr; __lock_size_t count; }; static inline void ?{}( __mutex_stmt_lock_guard & this, void * lockarr [], __lock_size_t count ) { this.lockarr = lockarr; this.count = count; // Sort locks based on address __libcfa_small_sort(this.lockarr, count); } forall(L & | is_lock(L)) { static inline void * __get_mutexstmt_lock_ptr( L & this ) { return &this; } static inline L __get_mutexstmt_lock_type( L & this ) {} static inline L __get_mutexstmt_lock_type( L * this ) {} }