consumer-preferred mutex