現代のソフトウェア開発において、システムの性能を最大限に引き出すためには並行処理の理解が欠かせません。

特にC言語を用いたシステムプログラミングでは、ハードウェアに近いレイヤーでリソースを制御するため、マルチスレッドの効率的な活用が求められます。

マルチスレッドプログラミングを習得することで、複数のタスクを同時に実行し、アプリケーションの応答性や計算効率を劇的に向上させることが可能になります。

本記事では、UNIX系オペレーティングシステムで標準的に利用されるPOSIXスレッド(Pthreads)に焦点を当て、その基礎から実装、注意点までを詳しく解説します。

マルチスレッドプログラミングの基礎概念

マルチスレッドとは、一つのプロセス内で複数の実行単位(スレッド)を並行して動作させる技術のことです。

従来のシングルスレッドプログラムでは、命令が一つずつ順番に実行されるため、重い処理が行われている間は他の処理が停滞してしまいます。

一方、マルチスレッドを利用すれば、通信待ちの間に計算を行ったり、複数のCPUコアを活用して大規模なデータを分散処理したりすることができます。

ここで、プロセスとスレッドの違いを正しく理解しておくことが重要です。

プロセスはOSから割り当てられた独立したメモリ空間を持ちますが、スレッドは同一プロセス内のメモリ空間を共有します。

このメモリ共有という特性により、スレッド間のデータ受け渡しは高速に行えますが、同時にデータの不整合を防ぐための管理が必要となります。

項目プロセススレッド
メモリ空間独立している共有される
生成コスト高い(重い)低い(軽い)
通信手段プロセス間通信(IPC)共有メモリ・グローバル変数

POSIXスレッド(Pthreads)の導入

C言語でマルチスレッドを実現するための最も一般的なライブラリがPOSIXスレッド(Pthreads)です。

PthreadsはIEEEによって標準化されたAPIであり、LinuxやmacOSなどの多くのUNIX系OSでサポートされています。

Pthreadsを利用するには、ソースコード内で #include <pthread.h> を記述する必要があります。

また、コンパイル時には -lpthread オプションを付与して、スレッドライブラリをリンクさせる必要があります。

現代のC11規格以降では標準ライブラリとしての threads.h も存在しますが、既存の資産や詳細な制御のしやすさから、依然としてPthreadsが主流です。

スレッドの作成と終了の基本手順

スレッドを操作する上での基本となるのは、スレッドの「作成」と「同期」です。

pthread_create関数の役割

新しいスレッドを生成するには、pthread_create 関数を使用します。

この関数には、スレッド識別子を格納する変数、スレッドの属性、実行する関数、そしてその関数に渡す引数を指定します。

スレッドとして実行される関数は、必ず void* 型の引数を受け取り、 void* 型の戻り値を返す形式で定義しなければなりません。

pthread_joinによる同期

メインスレッドは、生成した子スレッドが処理を終えるのを待機する必要がある場合があります。

そのために使用されるのが pthread_join 関数です。

この関数を呼び出すことで、特定のスレッドが終了するまで呼び出し側のスレッドをブロックし、リソースを適切に回収することができます。

もし pthread_join を行わずにメインスレッドが終了してしまうと、子スレッドの処理が途中で強制終了される可能性があるため注意が必要です。

基本的なスレッド作成のコード例

以下に、2つのスレッドを作成してメッセージを表示する簡単なプログラムを示します。

C言語
#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

// スレッドで実行する関数
void* print_message(void* ptr) {
    char* message = (char*)ptr;
    for (int i = 0; i < 3; i++) {
        printf("%s: %d\n", message, i);
        sleep(1); // 1秒待機
    }
    return NULL;
}

int main() {
    pthread_t thread1, thread2;
    const char* msg1 = "Thread 1";
    const char* msg2 = "Thread 2";

    // スレッド1の作成
    if (pthread_create(&thread1, NULL, print_message, (void*)msg1) != 0) {
        perror("pthread_create");
        return 1;
    }

    // スレッド2の作成
    if (pthread_create(&thread2, NULL, print_message, (void*)msg2) != 0) {
        perror("pthread_create");
        return 1;
    }

    // 各スレッドの終了を待機
    pthread_join(thread1, NULL);
    pthread_join(thread2, NULL);

    printf("すべてのスレッドが終了しました。\n");
    return 0;
}
実行結果
Thread 1: 0
Thread 2: 0
Thread 1: 1
Thread 2: 1
Thread 1: 2
Thread 2: 2
すべてのスレッドが終了しました。

データ共有と排他制御の重要性

マルチスレッドプログラミングにおいて最も注意すべき点は、複数のスレッドが同時に同じメモリ領域を書き換えることで発生する問題です。

レースコンディション(競合状態)の発生

複数のスレッドが共有変数に対して読み込みと書き込みを同時に行うと、期待しない計算結果を招くことがあります。

これを「レースコンディション(競合状態)」と呼びます。

例えば、変数 count を1増やす処理は、CPUレベルでは「読み込み」「加算」「書き戻し」の3ステップで行われます。

2つのスレッドが同時に「読み込み」を行うと、両者が同じ値をベースに加算してしまうため、最終的な値が1しか増えないといったバグが発生します。

ミューテックス(Mutex)による保護

レースコンディションを防ぐための最も一般的な仕組みがミューテックス(Mutex)です。

ミューテックスは「相互排他(Mutual Exclusion)」の略称で、一度に一つのスレッドしか特定のコードセクションを実行できないように制御します。

スレッドが共有データにアクセスする前に pthread_mutex_lock でロックを取得し、アクセスが終わったら pthread_mutex_unlock で解除します。

これにより、データの一貫性を保証することができます。

ミューテックスを使用した安全なカウント処理

次に、ミューテックスを使用して、複数のスレッドから安全に共有変数を更新する例を示します。

C言語
#include <stdio.h>
#include <pthread.h>

#define NUM_THREADS 5
#define COUNT_LIMIT 10000

int counter = 0; // 共有変数
pthread_mutex_t lock; // ミューテックスオブジェクト

void* increment_counter(void* arg) {
    for (int i = 0; i < COUNT_LIMIT; i++) {
        // クリティカルセクションの開始
        pthread_mutex_lock(&lock);
        
        counter++; // 安全に更新
        
        // クリティカルセクションの終了
        pthread_mutex_unlock(&lock);
    }
    return NULL;
}

int main() {
    pthread_t threads[NUM_THREADS];

    // ミューテックスの初期化
    if (pthread_mutex_init(&lock, NULL) != 0) {
        return 1;
    }

    // スレッドの生成
    for (int i = 0; i < NUM_THREADS; i++) {
        pthread_create(&threads[i], NULL, increment_counter, NULL);
    }

    // 全スレッドの待機
    for (int i = 0; i < NUM_THREADS; i++) {
        pthread_join(threads[i], NULL);
    }

    printf("最終カウント結果: %d (期待値: %d)\n", counter, NUM_THREADS * COUNT_LIMIT);

    // ミューテックスの破棄
    pthread_mutex_destroy(&lock);

    return 0;
}
実行結果
最終カウント結果: 50000 (期待値: 50000)

マルチスレッド設計における注意点とベストプラクティス

マルチスレッドは強力ですが、設計を誤るとプログラムの複雑さを増大させ、デバッグが極めて困難なバグを引き起こします。

デッドロックの回避

複数のミューテックスを使用する場合、デッドロックに注意しなければなりません。

デッドロックとは、スレッドAがロック1を保持してロック2を待ち、スレッドBがロック2を保持してロック1を待つことで、両者が永遠に停止する状態を指します。

デッドロックを防ぐためには、すべてのスレッドで「ロックを取得する順番を統一する」ことが鉄則です。

スレッドセーフな関数の使用

ライブラリ関数を使用する際は、その関数が「スレッドセーフ」であるかを確認してください。

スレッドセーフとは、複数のスレッドから同時に呼び出されても正しく動作することを意味します。

例えば、 strtok 関数は内部的に静的変数を使用しているため、マルチスレッド環境では strtok_r という再入可能(リエントラント)な版を使用する必要があります。

スレッドの生存期間とリソース管理

不要になったスレッドは確実に pthread_join するか、または pthread_detach を使用してリソースを自動解放するように設定しましょう。

リソースの回収を忘れると、メモリリークの原因となり、長期間稼働するシステムでは致命的な問題となります。

デタッチ状態のスレッド

スレッドの終了を待つ必要がない場合は、pthread_detach(pthread_self()) を実行することで、終了時に即座にリソースをOSに返却できます。

これはバックグラウンドで動き続けるログ出力スレッドや、監視タスクなどに適しています。

パフォーマンス向上のためのヒント

スレッドを増やせば増やすほど性能が上がるわけではありません。

スレッドのオーバーヘッド

スレッドの生成や切り替え(コンテキストスイッチ)にはコストがかかります。

極端に短いタスクのためにスレッドを生成すると、並列化によるメリットよりもオーバーヘッドの方が上回ってしまうことがあります。

このような場合は、あらかじめ一定数のスレッドを生成しておき、タスクを順次割り当てる「スレッドプール」の導入を検討してください。

CPUアフィニティとキャッシュ効率

高度な最適化として、特定のCPUコアにスレッドを固定する「CPUアフィニティ(親和性)」の設定があります。

これにより、キャッシュメモリの有効活用が可能になり、特にハイパフォーマンスコンピューティングの分野では大きな効果を発揮します。

C言語ではOS固有のAPI(Linuxであれば pthread_setaffinity_np など)を用いて、どのコアで実行するかを明示的に指定できます。

よくある実装エラーとトラブルシューティング

初心者が陥りやすいミスの一つに、スレッドに渡す引数の有効期間の問題があります。

ローカル変数のアドレスをスレッド関数に渡してしまうと、親関数が終了した後にスレッドがその領域にアクセスし、未定義の動作を引き起こします。

スレッドにデータを渡す際は、 malloc で動的にメモリを確保するか、構造体を用いて必要なデータをパッケージ化するのが安全です。

また、セグメンテーションフォールトが発生した場合は、各スレッドのスタックサイズが不足していないかを確認することも重要です。

まとめ

C言語におけるマルチスレッドプログラミングは、リソースを最大限に活用するための強力な武器です。

POSIXスレッド(Pthreads)を使いこなすことで、高度な並行処理システムを構築できるようになります。

一方で、共有リソースへのアクセス管理やデッドロックの回避など、シングルスレッドにはない特有の難しさも存在します。

本記事で紹介したミューテックスによる排他制御スレッドセーフな設計を意識することで、堅牢で効率的なプログラムを作成することが可能になります。

まずはシンプルなスレッド作成から始め、徐々に複雑な同期機構の扱いに慣れていくことをお勧めします。

並行処理の深い理解は、より高度なシステムエンジニアへの道を切り拓く重要なステップとなるでしょう。