目次

概要

注意: 2010年10月時点での CTP (community technology preview)版を元にした記事になっています。 製品版までに変更の可能性があります。 (async や await というキーワードも変更される可能性あり。)

Ver. 5.0

スレッドを使った非同期処理を行いたい動機としては、以下の2つが挙げられます。

  • 非ブロッキング処理: I/O 待ちとかで UI スレッドをフリーズさせないようにする

  • 並列処理: マルチコアを活かした並列処理でパフォーマンス向上

このうち、並列処理に関しては、Parallel クラスや Parallel LINQ で簡単に対応可能 (ラムダ式や LINQ を使えば、並列じゃない場合とほとんど変わらず書けます。 参考: 「[雑記] スレッド プールとタスク」)。 一方の、非ブロッキング処理は、今までは結構面倒だったものの、 async/await の導入でかなり簡素化されることになります。

サンプル

要約 スライド資料

非ブロッキング処理、旧来的な書き方

URL 指定してダウンロードしてきた文字列をテキストボックスに表示という GUI アプリケーションを考えてみましょう。 同期的に書くなら、ボタンに対して以下のようなイベント ハンドラーを登録します。

private void Button_Click(object sender, RoutedEventArgs e)
{
    var client = new WebClient();
    var html = client.DownloadString(this.Url.Text);
    this.Output.Text = html;
}

このように同期でダウンロードを行うと、図1に示すように、ネットワークの通信速度が遅い環境では GUI がフリーズしてしまいます。 そこで、図2に示すように、非同期通信版を使って、UI スレッドをブロッキングしないようにします。

同期実行によって UI スレッドがブロックされる
同期実行によって UI スレッドがブロックされる

非同期実行によって UI スレッドがブロックされないようにする
非同期実行によって UI スレッドがブロックされないようにする

しかし、これまで、非同期呼び出しは少し面倒な書き方をする必要がありました。 いくつかのパターンがありますが、例えば、イベント非同期パターン(EAP: Event-based Asynchronous Pattern)と呼ばれるものの場合、以下のようになります。

private void Button_Click(object sender_, RoutedEventArgs e_)
{
    var client = new WebClient();
    client.DownloadStringCompleted += (sender, e) =>
    {
        this.Output.Text = e.Result;
    };
    client.DownloadStringAsync(new Uri(this.Url.Text));
}

以下のような面倒事が出てきています。

ダウンロード先が1個ならまだましで、例えば、複数の URL からダウンロードしてくる場合にはもっと複雑になります。

private void Button_Click(object sender, RoutedEventArgs e)
{
    var client = new WebClient();
    var urlList = this.Url.Text.Split(',');

    int i = -1;
    Action<DownloadStringCompletedEventArgs> a = null;

    client.DownloadStringCompleted += (sender, e) =>
    {
        var continuation = e.UserState as Action<DownloadStringCompletedEventArgs>;
        continuation(e);
    };

    a = e =>
    {
        if (e != null)
        {
            this.Output.Text += e.Result;
        }

        ++i;
        if (i >= urlList.Length)
        {
            return;
        }
        client.DownloadStringAsync(new Uri(urlList[i]), a);
    };

    this.Output.Text = string.Empty;
    a(null);
}

何番目までダウンロード完了したかを自前で状態管理しています。 やり方を知っていれば同期の場合のコードからこのような非同期コードを機械的な手順で書くこともできますが、 手間はかなりかかりますし、可読性は大きく下がります。

非同期メソッド

Ver. 5.0

C# 5.0 の新機能で、この手の非ブロッキング処理が簡単になりました。

以下のように、async キーワードや await キーワードを使うことで、 同期っぽい書き方で非同期処理を記述できます。 比較のために、同期版と並べてみましょう。 (背景色を変えて強調表示している部分が同期版との差分です。 この部分を削除すればそのまま同期処理として動きます。)

private void Button_Click(object sender_, RoutedEventArgs e_)
{
    var client = new WebClient();
    var html = client.DownloadString(this.Url.Text);
    this.Output.Text = html;
}
private async void Button_Click(object sender_, RoutedEventArgs e_)
{
    var client = new WebClient();
    var html = await client.DownloadStringTaskAsync(this.Url.Text);
    this.Output.Text = html;
}

複雑な場合でも、ずいぶんと楽に書けるようになります。 前節の最後で書いた、複数の URL からダウンロードしてくる処理は以下のように書けます。

private async void Button_Click(object sender_, RoutedEventArgs e_)
{
    var client = new WebClient();
    var urlList = this.Url.Text.Split(',');

    this.Output.Text = string.Empty;

    foreach (var url in urlList)
    {
        var html = await client.DownloadStringTaskAsync(url);
        this.Output.Text += html;
    }
}

同期処理とほとんど同じ書き方ができます。

同期処理からの変更点

追加されたのは、async/await の2つのキーワードと、末尾に「TaskAsync」と付いた拡張メソッドです。

  • async(asynchronous: 非同期 の略)

    • メソッド内で await を使うために、メソッドを async キーワードで装飾します。

    • これ自体は単なる装飾で、コンパイル結果は通常のメソッドと変わりません。 (await という新キーワードが C# 4.0 以前のコードを破壊しないようにという意図のようです。)

    • async 修飾子の付いたメソッド(非同期メソッド)の戻り値の型は、 void、Task、Task<T> 、もしくは、後述する「一般化非同期戻り値」の条件を満たす型である必要があります。

  • await(「待つ」という意味)

    • await のところで、先物と継続(参考:「[雑記] スレッド プールとタスク」)を使って、 いったん別スレッドに制御を移した上で、タスク完了後に続きの処理を再開します。

    • await は「式」が書ける場所ならどこにでも書けます。 (foreach (var item in await task)とかも可能。)

    • await の直後には、Task クラス(もしくは、後述する“awaitable”なクラス)の値を与えます。

  • TaskAsync 拡張メソッド

    • await で非同期処理を行うためには、Task クラス(など)の値が必要なため、 WebClient などの既存のクラスに対する拡張メソッドとして、Task クラスを返すバージョンをライブラリ提供しています。

    • (CTP 版での情報。最終版では通常のメソッドとして追加される可能性もあります。)

    • 通例では、Task を返す非同期メソッドの名前は「Async」という語尾にします。 ただ、既存のクラスに関しては、すでに Async と付いたメソッドが存在している場合があるので、 この場合は「TaskAsync」という語尾を付けます。

非同期メソッドの戻り値の型

C# 6まででは、非同期メソッドの戻り値の型は void、Task、もしくは、Task<T> のいずれかである必要があります。

まず、非同期処理を、最終的に Task.Wait メソッドで完了待ちする必要があるかどうかで戻り値の型選びます。 待つ必要があるなら Task もしくは Task<T> に、 必要なければ void にします。

(非同期でない)普通のメソッドから、(戻り値が Task 型の)非同期メソッドの完了を待つには以下のように書きます。

static void Main(string[] args)
{
    RunAsync().Wait();
}

static async Task RunAsync()
{
    await TaskEx.Delay(1000);
}

ただし、即座に Wait で完了待ちしてしまうと非同期にした意味があまりないので、 通常は、他の作業を並行して行ってから最後に Wait したり、 複数のタスクを同時実行したりします。

var task = RunAsync();
// 並行して別の処理
DoSomeTask();
task.Wait();
// 複数の処理を並行に実行
TaskEx.WhenAll(
    RunAsync(),
    RunAsync(),
    RunAsync()).Wait();

完了待ちが必要ない(戻り値が void)場合というのは、 例えば、GUI アプリケーションのイベント ハンドラーなどで利用します。

private async void Button_Click(object sender, RoutedEventArgs e)
{
    var client = new WebClient();
    var html = await client.DownloadStringTaskAsync(this.Url.Text);
    this.Output.Text = html;
}

一般化非同期戻り値(Task-like)

C# 5.0で非同期メソッドが導入された当初、非同期メソッドの戻り値はTaskTask<T>型である必要がありました。 一方で、C# 7からは、特定の条件を満たす任意の型を非同期メソッドの戻り値として使えるようになりました。 この機能を一般化非同期戻り値(generalized async return types)とよびます。

ここで、この「特定の条件」についてですが、これまでのTaskクラスと似た条件になります。 Taskに似た性質を持った型ということで「task-like」(Task風の)と呼んだりもします。

Task-likeであるための条件は以下の通りです。

  • AsyncMethodBuilder属性(System.Runtime.CompilerServices名前空間)が付いている
  • AsyncMethodBuilder属性で指定した型が所定のメソッドを実装している

最低限の条件を満たす型を書くと以下のようになります。

using System;
using System.Runtime.CompilerServices;

[AsyncMethodBuilder(typeof(AsyncValueTaskMethodBuilder<>))]
struct TaskLike<TResult>
{
}

struct AsyncValueTaskMethodBuilder<TResult>
{
    public static AsyncValueTaskMethodBuilder<TResult> Create() => default(AsyncValueTaskMethodBuilder<TResult>);
    public void Start<TStateMachine>(ref TStateMachine stateMachine) where TStateMachine : IAsyncStateMachine { }
    public void SetStateMachine(IAsyncStateMachine stateMachine) { }
    public void SetResult(TResult result) { }
    public void SetException(Exception exception) { }
    public TaskLike<TResult> Task { get; }
    public void AwaitOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter, ref TStateMachine stateMachine)
        where TAwaiter : INotifyCompletion
        where TStateMachine : IAsyncStateMachine
    { }
    public void AwaitUnsafeOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter, ref TStateMachine stateMachine)
        where TAwaiter : ICriticalNotifyCompletion
        where TStateMachine : IAsyncStateMachine
    { }
}

ちなみに、AsyncMethodBuilder属性は、フルネームさえ一致していればどこに定義されたものであっても構いません。 最終的には標準ライブラリに含まれると思いますが、もし、標準化される前のバージョンで使いたい場合、自前で用意しても大丈夫です (この場合、internalでも構いません)。

namespace System.Runtime.CompilerServices
{
    sealed class AsyncMethodBuilderAttribute : Attribute
    {
        public AsyncMethodBuilderAttribute(Type builderType)
        {
            BuilderType = builderType;
        }

        public Type BuilderType { get; }
    }
}

ValueTask構造体

Task-likeを自作しようと思う場面はほとんどないでしょう。 実質的には、この仕様はあるたった1つの型のために追加された構文です。 その1つの型がValueTask<TResult>構造体です。

ValueTask<TResult>は、名前通り、値型(構造体)版のTask<TResult>です。 正確にいうと、ValueTask<TResult>は、TResultの値、もしくは、Task<TResult>のどちらかを持っています。

どうしてそういう値の持ち方が必要かというと、 非同期メソッドと言っても、実際に非同期が必要な場面が少なく、大半は同期処理になるといったことがあり得るからです。 ごくごく少数の本当に非同期処理が必要な場面でだけTask<TResult>を作り、 大部分の非同期が必要ない場面では直接TResultを作ることで、パフォーマンスの改善が見込めます。 例えば以下のようなコードです。

using System;
using System.Threading.Tasks;

class Program
{
    static async ValueTask<int> XAsync(Random r)
    {
        if (r.NextDouble() < 0.99)
        {
            // 99% ここを通る。
            // この場合、await が1度もなく、非同期処理にならない。
            // 非同期処理じゃないのに Task<int> のインスタンスが作られるのはもったいない
            return 1;
        }

        // こちら側は本当に非同期処理なので、Task<int> が必要。
        await Task.Delay(100);
        return 0;
    }

    static Task<int> _cache;

    // キャッシュしてるものなので、少し時間がたてば、確実に完了済みになる。
    static Task<int> CachedX => _cache ?? (_cache = Task.Run(() => 1));

    // 完了済みだと非同期処理にならない。
    // 非同期処理じゃないのに Task<int> のインスタンスが作られるのはもったいない
    static async ValueTask<int> Y() => await CachedX;
    static async ValueTask<int> Z() => await Y();
}

このValueTask<TResult>構造体は、いずれは標準ライブラリに入る予定です。 .NET Framewor 4.6.2/.NET Standard 1.6以下で使いたい場合には、以下のパッケージの参照が必要です。

C# 6までこの仕組みがなかった理由など、背景説明をBuild Indsiderの記事に書いたことがあるので、詳細に興味あればこちらをご覧ください。

余談: 実は必ずしも非同期ではない

async(非同期)や await(待つ)という名前に反して、 実は必ずしも非同期実行にはなりません。 というのも、Task クラスの値を await する際、タスクがすでに完了済み(IsCompleted プロパティが true)の可能性もあります。 この場合には、別にタスクを「待つ」必要はないので、 そのまま同期的に処理が続行します。

また、非同期であっても、必ずしもマルチスレッドで実行されるわけではありません。 async/await が Task クラスの上に成り立っているため、 可能な限り同じスレッドを使いまわそうとします。 (参考: 「スレッド プール」)

余談2: 戻り値は Task

(書きかけ)

ITask インターフェイスとかにはしなかった。 Task 的なものの独自実装は結構危険。

↑この資料の9ページ目みたいな問題が。

なので、たぶん、インターフェイスや抽象クラスではなく、具象クラスである Task 固定に。

非同期メソッドの制限

await 演算を書ける場所には、いくつか制限があります。

まず、以下のような制限があります。

( このうち下の2つは、C# 13 で書けるようになりました。)

また、匿名関数を非同期にするかどうかは、その非同期メソッドにasync修飾子がついているかどうかで決まります。非同期メソッドの中で定義した匿名関数でも、その匿名関数自体にasync修飾子がない場合には、その中でawaitを使えません。

そして、C# 5.0では、catch句、finally句内にはawaitを書けませんでした。

Ver. 6

C# 6で、catch句、finally句内にawaitを書けるようになりました。

public static async Task XAsync()
{
    try
    {
        await SomeAsyncMethod();
    }
    catch (InvalidOperationException e)
    {
        using (var s = new StreamWriter("error.txt"))
            await s.WriteAsync(e.ToString());
    }
    finally
    {
        using (var s = new StreamWriter("trace.txt"))
            await s.WriteAsync("XAsync done.");
    }

catch句内では、起きた例外の内容をログに記録する処理を書くことが結構ありますが、ログ記録は往々にして非同期処理になったりします。(例えば、Universal Windows アプリを作る場合、ファイルの読み書きもすべて非同期で行う必要があります。)

また、finally句では主にリソースの破棄を行いますが、破棄処理が非同期になる場面も結構あります。

なので、C# 5.0にかかっていたこの制限は結構嫌な制限でした。C# 6ではその問題がなくなります。

余談: 今後

unsafe コンテキスト内でも、ポインターを使わない限り(fixedステートメント以外では)awaitを書けるようにしようという案はあるようです。

進捗報告とキャンセル処理

(書きかけ)

非同期メソッドの引数として、CancellationToke と IProgress を渡す。

キャンセル
CancellationToken を利用。
進捗報告

(参考: サンプルの ProgressSample プロジェクト。)

IProgress インターフェイスと EventProgress クラス

BackgroundWorker は、
  1. 非同期処理
  2. 進捗報告
  3. 完了通知
の3つの役目を1つのクラスで負ってて、機能の切り分けがあまりきれいじゃない。

async/await では、
  1. 非同期処理を同期っぽく書ける
  2. 進捗報告は IProgress インターフェイスを通して行う
  3. 完了通知は、同期っぽく、非同期メソッドの最後に書けばそれだけで OK。

非同期ストリーム

Ver. 8.0

C# 8.0 では非同期メソッドが大幅に拡張されました。

  • 非同期foreach: await foreachという書き方で、非同期なデータ列挙ができる(foreachステートメントの非同期版)
  • 非同期using: await usingという書き方で、非同期なリソース破棄ができる(usingステートメントの非同期版)
  • 非同期イテレーター: 非同期メソッド内にyieldを書けるようになる(イテレーターの非同期版)

一連のデータ(data stream)を、非同期に生成(イテレーター)して非同期に消費(foreach)する機能なので、これらを合わせて非同期ストリーム(async stream)と呼ばれます。

詳しくは「非同期ストリーム」で説明します。

更新履歴

ブログ