Какой из следующих подходов к обработке refresh токенов наиболее устойчив к race condition?