C言語/thread local

概要

thread_local は、C23 で新たに導入されたキーワードで、変数のスコープをスレッド単位に限定するために使用されます。このキーワードは、C++11 で導入された thread_local をベースにしており、マルチスレッドプログラミングにおいてスレッドごとのデータを管理するために使用されます。

thread_local を使って宣言された変数は、各スレッドごとに独立したインスタンスを持ち、他のスレッドからアクセスすることはできません。この特性により、スレッド間でデータの競合を避け、スレッドセーフなプログラムを作成することが可能になります。

背景

マルチスレッドプログラミングの普及に伴い、スレッドごとに独立したデータを管理するニーズが高まりました。特に、複数のスレッドが同時に同じ変数にアクセスし、競合状態が発生するリスクを避けるために、スレッドごとに異なるインスタンスを持たせる方法が求められるようになりました。

C++11 では、thread_local を使ってこの問題を解決する手段が提供されましたが、C 言語ではそれに相当する機能が存在しませんでした。C23 では、この機能をCにも導入し、スレッドごとのデータを簡単に管理できるようになりました。

thread_local の特徴

スレッドごとのデータ：thread_local を使って宣言された変数は、各スレッドに対して独立したインスタンスを持ち、他のスレッドからはアクセスできません。
スレッドセーフ：これにより、マルチスレッド環境でもデータ競合を避け、スレッドセーフなコードを実現できます。
初期化：スレッドごとに変数が初期化され、スレッドが終了すると自動的にクリーンアップされます。

使用方法

thread_local は、変数の宣言時に付け加えることで使用します。スレッド間で共有されることなく、各スレッドが独立したインスタンスを持つことを保証します。

thread_local type variable_name;

type は変数の型を指定し、variable_name は変数名です。

例：thread_local の基本的な使用例

#include <stdio.h>
#include <threads.h>  // C23 で追加されたスレッドライブラリ
thread_local int counter = 0;

int thread_func(void *arg) {
    for (int i = 0; i < 5; ++i) {
        counter++;
        printf("Thread %d: counter = %d\n", thrd_current(), counter);
    }
    return 0;
}

int main(void) {
    thrd_t t1, t2;
    thrd_create(&t1, thread_func, NULL);
    thrd_create(&t2, thread_func, NULL);
    thrd_join(t1, NULL);
    thrd_join(t2, NULL);
    return 0;
}

この例では、thread_local を使って counter という変数を宣言しています。counter は各スレッドで独立したインスタンスを持つため、スレッド間でデータ競合が発生しません。各スレッドは自分の counter をインクリメントして表示します。

thread_local の利点

データ競合の回避：スレッドごとに独立したデータを持つため、複数のスレッドが同時にアクセスしてもデータ競合を防げます。
簡単な実装：従来、スレッドごとのデータを管理するためにはミューテックスや条件変数などを使って同期をとる必要がありましたが、thread_local を使うことでそのような複雑な処理なしで簡単にスレッドごとのデータ管理が可能になります。
自動クリーンアップ：スレッドが終了すると、thread_local で宣言された変数も自動的に破棄されます。

使用例

thread_local は特に、スレッドごとに異なる状態を保持する必要がある場合に有効です。例えば、スレッドごとのログ管理や、スレッド固有の設定値などを管理する際に役立ちます。

例：スレッドごとのログ

#include <stdio.h>
#include <threads.h>
thread_local FILE *log_file = NULL;

int thread_func(void *arg) {
    if (log_file == NULL) {
        log_file = fopen("log.txt", "a");
    }
    fprintf(log_file, "Thread %d: Logging some information\n", thrd_current());
    fclose(log_file);
    return 0;
}

int main(void) {
    thrd_t t1, t2;
    thrd_create(&t1, thread_func, NULL);
    thrd_create(&t2, thread_func, NULL);
    thrd_join(t1, NULL);
    thrd_join(t2, NULL);
    return 0;
}

この例では、各スレッドごとに独立したログファイルを扱うために thread_local を使用しています。各スレッドが自分自身のログファイルを開き、ログを出力します。

結論

C23 で導入された thread_local キーワードは、マルチスレッドプログラミングにおける重要なツールです。各スレッドが独立したデータを持つことを保証することで、データ競合を防ぎ、スレッドセーフなコードを簡単に記述できるようになります。これにより、スレッド間で共有データを取り扱う際の複雑な同期処理が不要となり、コードの可読性と保守性が向上します。C23 での thread_local の導入は、スレッドプログラミングをよりシンプルで効率的にする大きな一歩となるでしょう。