completed mutex