Делаем переменные thread_local полностью изменчивыми

Я работаю над библиотекой времени выполнения, которая использует переключение контекста на уровне пользователя (используя Boost :: Context), и у меня возникают проблемы с использованием thread_level переменные. Рассмотрим следующий (сокращенный) код:

thread_local int* volatile tli;

int main()
{
tli = new int(1);   // part 1, done by thread 1
UserLevelContextSwitch();
int li = *tli;      // part 2, done by thread 2
cout << li;
}

Так как есть два доступа к thread_local переменная, основная функция преобразуется компилятором во что-то вроде этого (обратная от сборки):

register int** ptli = &tli; // cache address of thread_local variable
*ptli = new int(1);
UserLevelContextSwitch();
int li = **ptli;
cout << li;

Это похоже на правовую оптимизацию, так как Значение летучих tli не кэшируется в реестре. Но адрес летучих tli фактически кэшируется, а не читается из памяти в части 2.

И это проблема: после переключения контекста на уровне пользователя поток, который выполнил часть 1, уходит куда-то еще. Часть 2 затем берется другим потоком, который получает предыдущий стек и регистрирует состояние. Но теперь поток, который выполняет часть 2, читает значение tli который принадлежит потоку 1.

Я пытаюсь найти способ предотвратить кеширование компилятором локальной переменной потока адрес, а также volatile недостаточно глубоко Есть ли хитрость (желательно стандартная, возможно, специфичная для GCC) для предотвращения кеширования адресов локальных переменных потока?