add riemann mutex