MaPTHREAD_RWLOCK_TIMEDWRLOCK(glossar.html) - phpMan