Removed unsafe optimization with relaxed atomic in ticket_mutex_lock