6.63 Локальное хранилище потоков

Локальное хранилище потоков (TLS) — это механизм, с помощью которого переменные выделяются таким образом, что существует по одному экземпляру переменной на каждый активный поток. Модель выполнения, используемая GCC для реализации этого, изначально основана на ABI процессора IA-64, но с тех пор была перенесена и на другие процессоры. Для этого требуется значительная поддержка от компоновщика (ld), динамического компоновщика (ld.so) и системных библиотек (libc.so и libpthread.so), поэтому она не везде доступна.

На уровне пользователя расширение отображается с помощью нового ключевого слова класса хранения: __thread. Например:

__thread int i;
extern __thread struct state s;
static __thread char *p;

Спецификатор __thread может использоваться самостоятельно, с extern или static спецификаторами, но не с другими спецификаторами класса хранения. При использовании с extern или static, __thread должно следовать сразу после других спецификаторов класса хранения.

Спецификатор __thread может применяться к любым глобальным, статическим переменным на уровне файла, статическим переменным на уровне функции или статическим членам данных класса. Его нельзя применять к автоматическим или нестатическим членам данных класса на уровне блока.

При применении оператора адреса к переменной локального хранилища потоков, он вычисляется во время выполнения и возвращает адрес экземпляра этой переменной для текущего потока. Полученный таким образом адрес может использоваться любым потоком. При завершении потока, любые указатели на переменные локального хранилища потоков в этом потоке становятся недействительными.

Никакая статическая инициализация не может ссылаться на адрес переменной локального хранилища потоков.

В C++, если для переменной локального хранилища потоков присутствует инициализатор, он должен быть константным выражением, как определено в 5.19.2 стандарта ANSI/ISO C++.

См. ELF Handling For Thread-Local Storage для подробного объяснения четырёх моделей адресации локального хранилища потоков и того, как должна работать среда выполнения.

Далее: Двоичные константы, Предыдущее: Неименованные поля, Вверх: Расширения C [Оглавление][Индекс]