optimized mutex