MaPTHREAD_RWLOCK_TIMEDRDLOCK(category27-allgemeinwissen.html) - phpMan