No contexto da programação multithread em C no Linux, o tipo de armazenamento das variáveis tem um impacto direto na compartilhamento de dados, ciclo de vida e segurança entre threads — fatores fundamentais para desenvolver programas eficientes e estáveis. As variáveis globais, locais e o Armazenamento Local por Thread (TLS) são os três tipos principais usados no gerenciamento de variáveis em ambientes multithread.

Este artigo explora as diferenças essenciais entre esses três tipos com base em aspectos como localização de armazenamento, ciclo de vida, compartilhamento entre threads e segurança, acompanhadas de exemplos práticos que ilustram seu uso real.

1. Conceitos Fundamentais

1.1 Variáveis Globais

Definidas fora de qualquer função, estas residem na seção de dados do processo e permanecem ativas durante todo o tempo de vida do programa. Todos os threads compartilham a mesma instância de memória.

1.2 Variáveis Locais

Criadas dentro de funções e armazenadas na pilha do thread, elas são criadas ao entrar na função e destruídas ao sair. Cada thread mantém sua própria cópia, sendo totalmente isolada dos demais.

1.3 Armazenamento Local por Thread (TLS)

Variáveis declaradas com o modificador __thread, o TLS é uma forma de variável global que pertence exclusivamente a cada thread:

• Tem sintaxe semelhante às variáveis globais;
• Armazenadas na seção TLS do processo, com alocação individual por thread;
• Seu ciclo de vida coincide com o do thread, garantindo isolamento completo entre threads.

2. Comparação Resumida

3. Exemplo Prático

O exemplo abaixo demonstra o comportamento de cada tipo de variável em uma aplicação multithread:

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

// 1. Variável global: compartilhada entre todos os threads
int global_var = 100;

// 2. Variável TLS: cada thread tem sua própria cópia
__thread int tls_var = 200;

// Função executada pelos threads
void* thread_function(void* arg) {
    int tid = *(int*)arg;

    // 3. Variável local: isolada por thread
    int local_var = 300;

    // Modificações nas variáveis
    global_var += tid;        // Alterações afetam todas as threads
    tls_var += tid;           // Cada thread altera sua própria cópia
    local_var += tid;         // Somente a thread atual modifica esta variável

    // Imprime resultados
    printf("Thread %d: global=%d, TLS=%d, local=%d\n",
           tid, global_var, tls_var, local_var);

    pthread_exit(NULL);
}

int main() {
    pthread_t t1, t2;
    int id1 = 1, id2 = 2;

    // Criação dos threads
    pthread_create(&t1, NULL, thread_function, &id1);
    pthread_create(&t2, NULL, thread_function, &id2);

    // Aguarda término dos threads
    pthread_join(t1, NULL);
    pthread_join(t2, NULL);

    // Exibe valor final da variável global
    printf("Main thread: global final = %d\n", global_var);
    return 0;
}

Compilação e Execução

gcc tls_demo.c -o tls_demo -pthread
./tls_demo

Saída Esperada (exemplo):

Thread 1: global=101, TLS=201, local=301
Thread 2: global=103, TLS=202, local=302
Main thread: global final = 103

Análise dos Resultados

1. Variável Global: Inicialmente 100, após modificação por dois threads, o resultado final é 103. Como todos os threads compartilham o mesmo espaço de memória, há risco de condição de corrida.
2. Variável TLS: Cada thread mantém sua própria cópia (200), resultando em 201 e 202 respectivamente. Não há interferência entre threads.
3. Variável Local: Cada thread possui uma instância separada na pilha. A modificação só afeta a thread atual.

4. Diferenciais Essenciais

4.1 Variáveis Globais

• Vantagens: Acessíveis de qualquer parte do programa, ciclo de vida longo.
• Desvantagens: Risco de concorrência sem sincronização, pode causar corrupção de dados.
• Uso Recomendado: Para dados somente leitura ou protegidos com mutex.

4.2 Variáveis Locais

• Vantagens: Seguras por padrão, pois são isoladas por thread.
• Desvantagens: Válido apenas dentro da função onde foi declarada.
• Uso Recomendado: Para cálculos temporários dentro de funções.

4.3 TLS (Armazenamento Local por Thread)

• Combina benefícios de globais e locais:
• Ciclo de vida longo (válido enquanto o thread existir).
• Segurança por isolamento.
• Acesso em qualquer função dentro do thread.

Características do TLS:

1. Modificador __thread: Específico do GCC no Linux.
2. Inicialização: Deve ser feita com valores constantes.
3. Segurança sem bloqueio: Ideal para cenários de alto desempenho.

5. Uso Avançado do TLS

5.1 Variáveis Globais TLS

__thread int error_code = 0;

Cada thread mantém seu próprio código de erro.

5.2 Variáveis TLS Estáticas

void counter_function() {
    static __thread int count = 0;
    count++;
    printf("Contagem interna: %d\n", count);
}

A variável é reutilizada entre chamadas da função, mas mantém isolamento por thread.

5.3 Restrições de Uso

• Não pode ser passada como parâmetro de função.
• Não pode ser membro de estruturas.
• Não permite inicialização dinâmica (somente constantes).

6. Diretrizes de Escolha de Variáveis

1. Dados compartilhados entre processos → Use variáveis globais (leitura direta, escrita protegida).
2. Valores temporários em funções → Use variáveis locais.
3. Dados exclusivos por thread, acesso múltiplo, sem bloqueios → Use TLS.

Conclusão

• Variáveis Globais: Compartilhadas, inseguras, ciclo de vida longo. Precisam de sincronização.
• Variáveis Locais: Isoladas, seguras, ciclo curto. Não podem ser compartilhadas entre funções.
• TLS: Isoladas, seguras, ciclo de vida longo. Ferramenta principal para programação sem blouqeios em threads.
• No Linux C, o __thread é a maneira padrão de implementar TLS, oferecendo simplicidade e alta performance.