pthread: better documentation
pthread: implement useless mutex attributes