Find a data race in updating _HighestLevel and fix it with compare_exchange_weak()