Rename: ready_mutex and timeout_mutex