ManualPTHREAD_GETCONCURRENCY(category19-buecher.html) - phpMan