ManualPTHREAD_SETCONCURRENCY(glossar.html) - phpMan