Re: [mpich-discuss] A question about mutex timing