Method release

gecode/support/thread/thread.cpp:122–130

        _m_write.release();
      }
      void release(Mutex* m) {
        _m_write.acquire();
        _m.acquire();
        _to_release = m;
        _m.release();
        _e.signal();
        _e_done.wait();
        _m_write.release();
      }
    };
    
    class GlobalMutexRunnableInit {