[mpich-discuss] A question about mutex timing