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