Home English

Kuina-chan

くいなちゃんAug 22, 2017


6さいからのプログラミング」第13話は、同時に複数の処理を実行する「マルチスレッド」と、効率良くエラーを処理する「例外」について解説します。

マルチスレッド

「マルチスレッド」とは、プログラム中の複数の処理を同時に実行することです。 処理を順番に実行していく流れのことを「スレッド」といい、今まで解説してきたような同時に1つだけ処理が実行される場合は「シングルスレッド」と呼びます(シングルスレッドとマルチスレッド)。
シングルスレッドとマルチスレッド
シングルスレッドとマルチスレッド
マルチスレッドの利点はいくつかあります。 例えば「ファイルをダウンロードする」というプログラムを書くと、ダウンロードに10分かかった場合は10分間操作ができなくなりますが、「ファイルをダウンロードする」と「画面にダウンロード待ちのアニメーションを表示する」のようなプログラムをマルチスレッドで実行させると、ダウンロードしながら別の処理を同時に行うことができます。
多くのCPUには同時に複数の処理を行う能力があり、マルチスレッドを活用すると計算を並列化させて高速化させることもできます。

ロック

さて、そのような便利なマルチスレッドですが、スレッドが複数あるとそれぞれの処理のタイミングが予測できないため、例えば同じ変数にアクセスするのように、同じ変数にアクセスしている場合などに予期しない動作をすることがあります。
同じ変数にアクセスする
同じ変数にアクセスする
この図では、スレッド1では「aが0である」という前提で処理したいにもかかわらず、スレッド2の処理のタイミングによってif文の中でaが1になってしまうことがあります。
このような問題を解決するために、マルチスレッドには「ロック」という仕組みが用意されています。 「ロック」とは、あるスレッドがロック状態になっているときに他のスレッドがロックしようとすると、後からロックしようとしたスレッドはロック状態が解除されるまで待ち続けるという機能です(ロック)。
ロック
ロック
この図では、スレッド2がロックしようとしたときにスレッド1が既にロック状態だった場合、スレッド1のロックが解除されるまでスレッド2は待ち続けるので、if文内でaが1になることはなく、画面には必ず「0」が表示されます。
このようなロックの方法は、一般的に「ミューテックス(mutex)」と呼ばれます。 このほかにも同時にロックできるスレッドの数を複数指定できる「セマフォ(semaphore)」など、いろいろなロックの方法があります。

プログラム上で書くには

プログラムで実際にマルチスレッド処理を書くには、C言語や古いC++の規格には標準でこの仕組みが用意されていないため、OSが提供する機能を利用して実現することになります。
例えば、Windows上でVisual C++を用いて先ほどのようなプログラムを書く場合、Windows.hに含まれる関数を用いてmultithreading.cのように書きます。 説明なしには細部がよく解らないと思いますが、全体の流れや雰囲気を掴んでください。
#include <stdio.h>
#include <Windows.h>
  
int a;
CRITICAL_SECTION cs; /* ロックの機能 */
  
/* スレッド1 */
DWORD WINAPI Thread1(LPVOID param)
{
  EnterCriticalSection(&cs); /* ロック */
  if (a == 0)
  {
    /* 0が表示されるはず */
    printf("%d", a);
  }
  LeaveCriticalSection(&cs); /* ロック解除 */
  return TRUE;
}
  
/* スレッド2 */
DWORD WINAPI Thread2(LPVOID param)
{
  EnterCriticalSection(&cs); /* ロック */
  a = 1;
  LeaveCriticalSection(&cs); /* ロック解除 */
  return TRUE;
}
  
int main(void)
{
  a = 0;
  InitializeCriticalSection(&cs); /* ロック機能の準備 */
  CreateThread(NULL, 0, Thread1, Thread1, 0, NULL); /* スレッド1を開始 */
  CreateThread(NULL, 0, Thread2, Thread2, 0, NULL); /* スレッド2を開始 */
  return 0;
}
multithreading.c
「Thread1」と「Thread2」という関数を作成し、Windows.hの「CreateThread」という関数を使って33~34行目でこれらをマルチスレッドで実行しています。 CreateThread関数を実行した瞬間、Thread1やThread2はメインのスレッドとは別のスレッドとして開始されます。
ロックを行うには、「CRITICAL_SECTION」型の変数csを「InitializeCreateSection」関数で初期化しておき、「EnterCriticalSection」関数でロックし、「LeaveCriticalSection」関数でロック解除する流れです。
また、C#やJavaには標準でロックの仕組みが用意されています。 例えばC#で先ほどのプログラムを書く場合は、multithreading.csのようになります。
class Multithreading
{
  static int a;
  static object cs; /* ロックに使用する変数 */
  
  /* スレッド1 */
  static void Thread1()
  {
    /* lock(...){} で囲んだ部分がロックされる */
    lock (cs)
    {
      if (a == 0)
      {
        /* 0が表示されるはず */
        System.Console.WriteLine(a);
      }
    }
  }
  
  /* スレッド2 */
  static void Thread2()
  {
    lock (cs)
    {
      a = 1;
    }
  }
  
  static void Main(string[] args)
  {
    a = 0;
    cs = new object(); /* ロック機能の準備 */
    new System.Threading.Thread(new System.Threading.ThreadStart(Thread1)).Start(); /* スレッド1を開始 */
    new System.Threading.Thread(new System.Threading.ThreadStart(Thread2)).Start(); /* スレッド2を開始 */
  }
}
multithreading.cs
以上が「マルチスレッド」の説明になります。

例外

ここからは「例外」について解説します。
例外れいがい」とはその名の通り、本来行われるべきではない例外的な処理、つまりエラーを扱う仕組みです。 C言語にはありませんが、C++、C#、Javaなど多くの言語に搭載されています。
「例外」の機能を使わずにエラーを扱う場合は、関数の戻り値でエラーコードを返すことがよく行われます(関数の戻り値でエラー処理をする)。
int G(void)
{
  /* エラーが発生したら1を返す */
  return 1;
}
関数の戻り値でエラー処理をする
この例では、処理に成功した場合は0を、失敗した場合は1を返すことにより、関数の呼び出し元でエラーが発生したかどうかを知ることができます。
しかし、エラー以外に返したい戻り値がある関数では、戻り値が既に使われているために工夫をする必要があります。 また関数の中で関数を呼ぶのように、関数の中で関数が呼び出される場合にはエラー処理を何重にも書く必要があり煩雑になります。
int G(void)
{
  /* エラーが発生したら1を返す */
  return 1;
}
  
int F(void)
{
  /* 関数G内でエラーが発生したら1を返す */
  if (G() != 0)
  {
    return 1;
  }
  else
  {
    return 0;
  }
}
関数の中で関数を呼ぶ

例外のthrowとcatch

そこで、関数を縦断してエラー情報を受け渡せる仕組みが作られました。 それが「例外」です。 エラー情報を含めたインスタンスのことを「例外」と呼び、例外を発生させることを「throwスロー」といいます。 そしてthrowされた例外を「catchキャッチ」してエラー処理を行います(例外のthrowとcatch)。
例外のthrowとcatch
例外のthrowとcatch
例外がthrowされると、catchされるまで関数を次々と抜けていきます。 この図では例外はmain関数でのみcatchしているため、関数Fや関数Gで発生したエラーはすべてmain関数で処理することになります。
「どこで例外が発生したか」は無関係に「どのような例外が発生したか」で処理できるため、様々な関数で発生するエラーをまとめて扱うことができます。

finally

このように、例外がthrowされると関数を抜けていきますが、ヒープから確保した領域を解放したいなど、関数を抜ける前に必ず行っておきたい後処理があります。 それを実現するのが「finallyファイナリー」です。
catchの代わりにfinallyを書くと、例外がthrowされたときにはfinally内の処理を行ってから関数を抜け、外側の関数のcatch処理に任せます。 例外がthrowされなかった場合でも、finally内の処理を行ってから次の処理へと進みます。

プログラム上で書くには

プログラム上で例外処理を書く場合、例外のthrowには「throw文」を使い、例外のcatchやfinallyには「try-catch-finally文」を使います。 どの範囲で発生する例外に対し処理するかを「try」で囲んで示し、必要に応じてcatchやfinallyを記述します。
例えばC++ではexception_handling.cppのように書きます。
void G()
{
  /* エラーが発生したら「1」という例外をthrowする */
  throw 1;
}
  
void F()
{
  G();
}
  
int main()
{
  try
  {
    F();
  }
  catch (int e) /* catchした例外がeに入る */
  {
    /* ここにエラー処理を書く */
  }
  return 0;
}
exception_handling.cpp
この場合、関数Gでthrowした「1」という例外は、main関数でcatchされ、変数eには「1」が入ります。 仮に関数G内で例外をthrowしなかった場合は、main関数の「catch{}」内に書いた処理はスキップされて実行されません。
ちなみにC++にはfinallyは無く、finallyに相当する処理は別の方法で実現します。
また、C#ではexception_handling.csのように書きます。
class ExceptionHandling
{
  static void G()
  {
    /* エラーが発生したらSystem.Exceptionのインスタンスをthrowする */
    throw new System.Exception();
  }
  
  static void F()
  {
    try
    {
      G();
    }
    finally
    {
      /* 解放処理などを書く */
    }
  }
  
  static void Main(string[] args)
  {
    try
    {
      F();
    }
    catch (System.Exception e) /* catchした例外がeに入る */
    {
      /* ここにエラー処理を書く */
    }
  }
}
exception_handling.cs
この場合、関数Gで例外がthrowされると、関数Fの「finally{}」の処理が行われてから、Main関数でcatchされます。
今回は「マルチスレッド」と「例外」について説明しました。 次回は、基本編の最終回。 世の中の実際のプログラムがどのように作られているのかを紹介します。
1503412935ja