MaPTHREAD_MUTEXATTR_SETROBUST(category17-virtuelle-server.html) - phpMan