Thread Local Storage

Dans l'API Windows[1], on utilise le terme TLS.

La fonction TlsAlloc est utilisée pour obtenir un index de slot TLS inutilisé - en pratique, le premier disponible - qui sera ensuite réservé jusqu'à la fin du processus ou la libération du TLS. Un seul thread doit appeler cette fonction : par la suite, seul l'index retourné est utilisé. Cette opération est bien entendu totalement atomique. On fournit en général ensuite cet index aux threads soit via une variable globale (accédée en lecture seule par les threads), soit dans les paramètres de création du thread (solution préférable). L'index retourné est un entier, mais ne doit pas être considéré comme un indice de tableau. Il est nécessaire de le traiter comme un type opaque.

Les fonctions TlsGetValue et TlsSetValue sont ensuite utilisées pour (respectivement) lire et écrire une variable TLS, identifiée par son index de slot TLS. Cette variable est un pointeur non-typé, dont l'usage est libre, et qui sera propre à chaque thread. Toutefois, tout thread est responsable de l'allocation des données ciblées par ce pointeur.
On peut noter que la taille de ce pointeur est dépendante de l'architecture Windows courante (32 bits ou 64 bits), et qu'il n'est pas contre-indiqué d'utiliser le slot pour stocker une variable quelconque, de taille inférieure ou égale à celle du pointeur, en lieu et place d'un pointeur.
Ceci recouvre notamment le cas d'un entier : c'est ainsi que l'API Windows stocke le dernier code d'erreur obtenu par GetLastError, par exemple.

La fonction TlsFree peut être utilisée pour libérer l'index de slot TLS passé en paramètre. L'index est ensuite considéré de nouveau comme « inutilisé », et pourra être réattribué par la suite. Il est donc crucial d'être certain, lors de la libération, qu'il n'existe plus aucun thread utilisant cet index TLS.

Dans l'API Pthreads[2], on utilise le terme TSD (Thread-Specific Data) pour désigner le TLS.

Le principe est similaire à celui utilisé sous Windows, seuls les noms des fonctions changent :

1. pthread_key_create est équivalent à TlsAlloc.
2. pthread_getspecific est équivalent à TlsGetValue.
3. pthread_setspecific est équivalent à TlsSetValue.
4. pthread_key_delete est équivalent à TlsFree.
5. La clé (key) est équivalent à l'index de slot TLS, mais est définie via un type explicitement opaque pthread_key_t.

La seule différence réelle entre les deux systèmes est que pthread_key_create permet de définir un destructeur optionnel qui sera appelé automatiquement à la fin du thread. Chaque destructeur recevra, en paramètre, le contenu stocké dans la clé associée, permettant ainsi d'effectuer la libération des ressources associées.

L'utilisation de ce destructeur ne dispense pas d'appeler explicitement pthread_key_delete pour libérer le TSD lui-même, au niveau du processus. Le destructeur ne permet que la libération des données locales au thread.

Le mot-clé __declspec(thread) est utilisé en préfixe de déclaration :

    int variable_globale;
    __declspec(thread) int variable_TLS ;

La variable TLS est ensuite utilisable de façon tout à fait normale.

Le mot-clé __thread est utilisé en préfixe de déclaration :

    int variable_globale ;
    __thread int variable_TLS ;

La variable TLS est ensuite utilisable de façon tout à fait normale.

Le mot-clé __declspec(thread) est utilisé en préfixe de déclaration :

    int variable_globale ;
    __declspec(thread) int variable_TLS ;

La variable TLS est ensuite utilisable de façon tout à fait normale.

Le mot-clé __declspec(thread) est utilisé en préfixe de déclaration :

    int variable_globale  ;
    __declspec(thread) int variable_TLS ;

Le mot-clé __thread est une alternative de déclaration, mais entre le type et l'identifiant :

    int variable_globale  ;
    int __thread variable_TLS ;

Dans les deux cas, la variable TLS est ensuite utilisable de façon tout à fait normale.

Le mot-clé __thread est utilisé en préfixe de déclaration, mais est implémenté de façon particulière :

    int variable_globale  ;
    __thread int variable_TLS = 1 ;

Toutefois, la variable TLS doit impérativement être initialisée avec une constante connue au moment de la compilation (cas de l'exemple ci-dessus).

Il n'est pas autorisé de déclarer une variable TLS sans initialisation, ou étant initialisée par un paramètre et/ou un appel de fonction.

Depuis la norme C++11, le langage fournit la classe de stockage thread_local.

Comme pour les implémentations spécifiques aux compilateurs, le mot-clé est utilisé en préfixe de déclaration :

    int variable_global ;
    thread_local int variable_TLS ;

Le mot-clé ThreadVar est utilisé en lieu et place du traditionnel Var pour déclarer une variable TLS.

    Var
        variable_globale : Integer ;
    ThreadVar
        variable_TLS : Integer ;

La variable TLS est ensuite utilisable de façon tout à fait normale.

En Java, les variables TLS sont implémentées au travers de la classe ThreadLocal (en). Un objet ThreadLocal maintient une instance séparée de la variable pour chaque thread appelant les accesseurs de l'objet (get et set).

L'exemple ci-dessous montre comment créer une variable entière TLS :

    ThreadLocal<Integer> variable_TLS = new ThreadLocal<Integer>() {
        @Override protected Integer initialValue() {
            return 1;
        }
    } ;

L'utilisation de la variable se fait au travers des accesseurs. Par exemple, une incrémentation :

    variable_TLS.set( variable_TLS.get() + 1 ) ;

En D (version 2), toutes les variables statiques et globales sont, par défaut, locales aux threads et sont déclarées comme les variables « normales » des autres langages. C'est la déclaration explicite d'une variable globale « partagée » qui requiert l'utilisation d'un mot-clé spécifique, __gshared.

    int variable_TLS ;
    __gshared int variable_globale  ;

La variable TLS est ensuite utilisable de façon tout à fait normale, ainsi que la variable globale déclarée explicitement.

On utilise l'attribut ThreadStatic (en) :

    class classe_avec_TLS {
        [ThreadStatic] static int variable_TLS ;
    }

Également, on peut allouer dynamiquement des variables TLS via l'API Thread.GetNamedDataSlot (en).

La variable TLS est ensuite utilisable de façon tout à fait normale.

En Python (version 2.4 ou supérieure), on utilise la classe local du module threading pour définir une variable TLS.

    import threading
    variable_TLS = threading.local()
    variable_TLS.x = 1

La variable TLS est ensuite utilisable de façon tout à fait normale.

En Ruby, une variable TLS est créée et utilisée grâce aux méthodes []=/[].

    Thread.current[:index_TLS] = 1

Le support des threads n'est arrivé que tardivement dans le langage Perl, après qu'une vaste quantité de code source fut présente sur Comprehensive Perl archive network. En conséquence de ceci, les threads en Perl créent par défaut leur propre TLS pour toutes les variables, de façon à minimiser l'impact des threads sur le code existant non thread-safe. En Perl, une variable partagée entre les threads (cas « normal » dans les autres langages) est créée en utilisant un attribut :

    use threads;
    use threads::shared;
    my $variable_TLS;
    my $variable_globale  :shared;