Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/bits/locks.hfa

    r6ec07e5 r92e7631  
    112112        #endif
    113113
    114         extern "C" {
    115                 char * strerror(int);
    116         }
    117         #define CHECKED(x) { int err = x; if( err != 0 ) abort("KERNEL ERROR: Operation \"" #x "\" return error %d - %s\n", err, strerror(err)); }
    118 
    119114        struct __bin_sem_t {
     115                bool                    signaled;
    120116                pthread_mutex_t         lock;
    121117                pthread_cond_t          cond;
    122                 int                     val;
    123118        };
    124119
    125120        static inline void ?{}(__bin_sem_t & this) with( this ) {
    126                 // Create the mutex with error checking
    127                 pthread_mutexattr_t mattr;
    128                 pthread_mutexattr_init( &mattr );
    129                 pthread_mutexattr_settype( &mattr, PTHREAD_MUTEX_ERRORCHECK_NP);
    130                 pthread_mutex_init(&lock, &mattr);
    131 
    132                 pthread_cond_init (&cond, 0p);
    133                 val = 0;
     121                signaled = false;
     122                pthread_mutex_init(&lock, NULL);
     123                pthread_cond_init (&cond, NULL);
    134124        }
    135125
    136126        static inline void ^?{}(__bin_sem_t & this) with( this ) {
    137                 CHECKED( pthread_mutex_destroy(&lock) );
    138                 CHECKED( pthread_cond_destroy (&cond) );
     127                pthread_mutex_destroy(&lock);
     128                pthread_cond_destroy (&cond);
    139129        }
    140130
    141131        static inline void wait(__bin_sem_t & this) with( this ) {
    142132                verify(__cfaabi_dbg_in_kernel());
    143                 CHECKED( pthread_mutex_lock(&lock) );
    144                         while(val < 1) {
     133                pthread_mutex_lock(&lock);
     134                        if(!signaled) {   // this must be a loop, not if!
    145135                                pthread_cond_wait(&cond, &lock);
    146136                        }
    147                         val -= 1;
    148                 CHECKED( pthread_mutex_unlock(&lock) );
     137                        signaled = false;
     138                pthread_mutex_unlock(&lock);
    149139        }
    150140
    151141        static inline bool post(__bin_sem_t & this) with( this ) {
    152                 bool needs_signal = false;
     142                pthread_mutex_lock(&lock);
     143                        bool needs_signal = !signaled;
     144                        signaled = true;
     145                pthread_mutex_unlock(&lock);
    153146
    154                 CHECKED( pthread_mutex_lock(&lock) );
    155                         if(val < 1) {
    156                                 val += 1;
    157                                 pthread_cond_signal(&cond);
    158                                 needs_signal = true;
    159                         }
    160                 CHECKED( pthread_mutex_unlock(&lock) );
     147                if (needs_signal) pthread_cond_signal(&cond);
    161148
    162149                return needs_signal;
    163150        }
    164 
    165         #undef CHECKED
    166151#endif
Note: See TracChangeset for help on using the changeset viewer.