MaPTHREAD_MUTEXATTR_SETROBUST(category30-tips-tricks-fragen.html) - phpMan