Example #1
0
 ReentrantMutex getMutex()
 {
     if (mutex == null)
     {
         mutex      = new ReentrantMutex();
         owns_mutex = true;
     }
     return(mutex);
 }
Example #2
0
 private void setMutex(ReentrantMutex _m)
 {
     mutex      = _m;
     owns_mutex = false;
 }