Coroutine：withContextでスレッドを切り替え

投稿日: 　更新日:

コルーチン（Coroutine）は「非同期処理プログラミングの手法」の１つです。

Kotlinが提供します。

withContextはCoroutineContextを切り替えてスレッドを起動するSuspend関数です。

このwithContextについて、まとめます。

スポンサーリンク

withContextとは

withContextは、引数に指定されたCoroutineContextへ切り替えて、タスクブロックを実行するSuspend関数です。

また、タスクの戻り値を返すことができます。

Contextの切り替え

内部は次のように記述されています。

withContext（Builders.common.ktより抜粋）
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
public suspend fun <T> withContext(
    context: CoroutineContext,
    block: suspend CoroutineScope.() -> T
): T {
    contract {
        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
    }
    return suspendCoroutineUninterceptedOrReturn sc@ { uCont ->
        val oldContext = uCont.context
        val newContext = oldContext + context  // newContextを基にスレッドを起動
        newContext.checkCompletion()
        // 同一なContextの場合
        if (newContext === oldContext) {
            val coroutine = ScopeCoroutine(newContext, uCont)
            return@sc coroutine.startUndispatchedOrReturn(coroutine, block)
        }
        // 同値なDispatchersの場合
        if (newContext[ContinuationInterceptor] == oldContext[ContinuationInterceptor]) {
            val coroutine = UndispatchedCoroutine(newContext, uCont)
            withCoroutineContext(newContext, null) {
                return@sc coroutine.startUndispatchedOrReturn(coroutine, block)
            }
        }
        // 異なるContextの場合
        val coroutine = DispatchedCoroutine(newContext, uCont) // コールバックを受け取る
        coroutine.initParentJob()
        block.startCoroutineCancellable(coroutine, coroutine)  // 新スレッドでタスク実行
        coroutine.getResult()   // COROUTINE_SUSPENDEDを返す⇒旧スレッドは一時停止
    }
}

「CoroutineContextの切り替え」は、現状のContextと引数のContextの加算で生まれたnewContextを基に、スレッドを起動しているだけです。

スポンサーリンク

スレッドを切り替え

withContextの最も有効な場面はスレッドを切り替えたい時です。

withContextでスレッドの切り替え　Main⇒Default
1
2
3
4
5
6
7
8
9
10
11
12
// withContextでスレッドの切り替え
scope = SampleScope()
scope?.launch(Dispatchers.Main) {
    println("Time = ${getTime()} Start top Thread = ${getThread()}")
    val _result = withContext(Dispatchers.Default) {
        println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
        Thread.sleep(1000)     // 重い処理の代わり
        "***"                  // 重い処理の戻り値
    }
    println("Time = ${getTime()} Result = ${_result}")
    println("Time = ${getTime()} End   top")
}
SampleScope（CoroutineScopeインターフェースを実装）
1
2
3
4
class SampleScope : CoroutineScope {
    override val coroutineContext: CoroutineContext =
        Job() + Dispatchers.Default + CoroutineName("Hoge") // Contextを定義
}

withContextでスレッドの切り替え

Time = 7439 Start top Thread = main
Time = 7441   Start sub Thread = DefaultDispatcher-worker-1
Time = 8444 Result = ***
Time = 8444 End   top

withContextで切り替えられたCoroutineContextは子孫（入れ子の子・孫…）に引き継がれます。

withContextでスレッドの切り替え　子孫に引き継がれる
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// withContextの子供
scope = SampleScope()
scope?.launch(Dispatchers.Main) {
    println("Time = ${getTime()} Start top Thread = ${getThread()}")
    val _result = withContext(Dispatchers.Default) {
        println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
        async {                  // withContextのCoroutineContextが引き継がれる
            println("Time = ${getTime()}     Start sub*2 Thread = ${getThread()}")
            Thread.sleep(1000)     // 重い処理の代わり
            "***"                  // 重い処理の戻り値
        }.await()
    }
    println("Time = ${getTime()} Result = ${_result}")
    println("Time = ${getTime()} End   top")
}
Time = 2044 Start top Thread = main
Time = 2054   Start sub Thread = DefaultDispatcher-worker-2
Time = 2057     Start sub*2 Thread = DefaultDispatcher-worker-1
Time = 3062 Result = ***
Time = 3062 End   top
スポンサーリンク

asyncとの比較

「スレッドの切り替え」はasyncで同様に行うことができます。

asyncでスレッドの切り替え　Main⇒Default
1
2
3
4
5
6
7
8
9
10
11
12
13
14
findViewById<Button>(R.id.btnStart).setOnClickListener {
    // asyncでスレッドの切り替え
    scope = SampleScope()
    scope?.launch(Dispatchers.Main) {
        println("Time = ${getTime()} Start top Thread = ${getThread()}")
        val _result = async(Dispatchers.Default) {
            println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
            Thread.sleep(1000)     // 重い処理の代わり
            "***"                  // 重い処理の戻り値
        }.await()
        println("Time = ${getTime()} Result = ${_result}")
        println("Time = ${getTime()} End   top")
    }
}
Time = 8179 Start top Thread = main
Time = 8190   Start sub Thread = DefaultDispatcher-worker-1
Time = 9193 Result = ***
Time = 9193 End   top

withContextとasyncの動作（仕組み）はほぼ同等ですが、比較すると次にあげる違いがあります。

項目withContextasync
記述val result = withContext(context) {
　　タスク
}		val result = async(context) {
　　タスク
}.await()
コルーチンの機能名Suspend関数ビルダー
実行の所在Suspend関数内で実行CoroutineScopeを起点に起動
動作（仕組み）ほぼ同等
・タスクブロックの実行方法
・結果の返し方
スタートオプションなしあり
スレッド切り替え以下の条件で切り替えない
　・同一なContext
　・同値なDispatchers
※カレントのスレッドで処理		必ず切り替える

※切り替えの前後で
　同じスレッドになる場合がある
※context：CoroutineContext
スポンサーリンク

スレッドを切り替えない条件

「asyncとの比較」でも書きましたが、withContextはスレッドを切り替えない条件があります。

この時、タスクブロックは現在のスレッドで処理されます。

Contextが同値・同一の場合

同一なContext

同一なContextになる場合です。

同一なCoroutineContext
1
2
3
4
5
6
7
8
9
10
11
12
13
14
    // 同一なCoroutineContext
    scope = SampleScope()
    scope?.launch(Dispatchers.Default) {
        println("Time = ${getTime()} Start top Thread = ${getThread()}")
        val _result = withContext(EmptyCoroutineContext) {
            println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
            Thread.sleep(1000)     // 重い処理の代わり
            "***"                  // 重い処理の戻り値
        }
        Thread.sleep(100)          // subの開始よりも先にtopが終了するのを防ぐ
        println("Time = ${getTime()} Result = ${_result}")
        println("Time = ${getTime()} End   top")
    }
}
Time = 6723 Start top Thread = DefaultDispatcher-worker-1
Time = 6726   Start sub Thread = DefaultDispatcher-worker-1
Time = 7729 Result = ***
Time = 7729 End   top
参考：同一なCoroutineContext（asyncの場合）
同一なCoroutineContext（asyncの場合）
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// 同一なCoroutineContext（async）
scope = SampleScope()
scope?.launch(Dispatchers.Default) {
    println("Time = ${getTime()} Start top Thread = ${getThread()}")
    val _deferred = async(EmptyCoroutineContext) {
        println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
        Thread.sleep(1000)     // 重い処理の代わり
        "***"                  // 重い処理の戻り値
    }
    Thread.sleep(100)          // subの開始よりも先にtopが終了するのを防ぐ
    val _result = _deferred.await()
    println("Time = ${getTime()} Result = ${_result}")
    println("Time = ${getTime()} End   top")
}
Time = 3926 Start top Thread = DefaultDispatcher-worker-1
Time = 3929   Start sub Thread = DefaultDispatcher-worker-2
Time = 4933 Result = ***
Time = 4934 End   top

topとsubのスレッド名が同じです。つまり、スレッドの切り替えは行われていません。

内部では以下のようなCoroutineContext加算が行われることになります。

　　　newContext = oldContext + EmptyCoroutineContext
　　　※EmptyCoroutineContext：空のContext

この時、newContextとoldContextは同一（演算子：===）です。

同値なDispatchers

同値なDispatcherになる場合です。

同値なDispatchers
1
2
3
4
5
6
7
8
9
10
11
12
13
// 同値なDispatchers
scope = SampleScope()
scope?.launch(Dispatchers.Default) {
    println("Time = ${getTime()} Start top Thread = ${getThread()}")
    val _result = withContext(Dispatchers.Default) {
        println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
        Thread.sleep(1000)     // 重い処理の代わり
        "***"                  // 重い処理の戻り値
    }
    Thread.sleep(100)          // subの開始よりも先にtopが終了するのを防ぐ
    println("Time = ${getTime()} Result = ${_result}")
    println("Time = ${getTime()} End   top")
}
Time = 8805 Start top Thread = DefaultDispatcher-worker-1
Time = 8807   Start sub Thread = DefaultDispatcher-worker-1
Time = 9810 Result = ***
Time = 9810 End   top
参考：同値なDispatchers（asyncの場合）
同値なDispatchers（asyncの場合）
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// 同値なDispatchers
scope = SampleScope()
scope?.launch(Dispatchers.Default) {
    println("Time = ${getTime()} Start top Thread = ${getThread()}")
    val _deferred = async(Dispatchers.Default) {
        println("Time = ${getTime()}   Start sub Thread = ${getThread()}")
        Thread.sleep(1000)     // 重い処理の代わり
        "***"                  // 重い処理の戻り値
    }
    Thread.sleep(100)          // subの開始よりも先にtopが終了するのを防ぐ
    val _result = _deferred.await()
    println("Time = ${getTime()} Result = ${_result}")
    println("Time = ${getTime()} End   top")
}
Time = 4652 Start top Thread = DefaultDispatcher-worker-2
Time = 4653   Start sub Thread = DefaultDispatcher-worker-1
Time = 5657 Result = ***
Time = 5657 End   top

topとsubのスレッド名が同じです。つまり、スレッドの切り替えは行われていません。

スポンサーリンク
ページのトップへ

関連記事：

Kotlin：コルーチン（Coroutine）
近頃の携帯端末はクワッドコア（プロセッサが4つ）やオクタコア（プロセッサが8つ）が当たり前になりました。 サクサク動作するアプリを作るために、この恩恵を使わなければ損です。 となると、必然的に非同期処理（マルチスレッド）を使うことになります。 JavaのThreadクラス、Android APIのAsyncTaskクラスが代表的な手法です。 Kotlinは上記に加えて「コルーチン（Coroutine）」が使えるようになっています。 今回は、このコルーチンについて、まとめます。 ...
続きを読む
Coroutine：blockingとnon-blockingの違い
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 特徴としてnon-blocking動作をサポートします。 このnon-blocking動作についてまとめます。 ...
続きを読む
Coroutine：Suspend関数とその仕組み
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 コルーチンの構成要素であるSuspend関数について、まとめます。 ...
続きを読む
Coroutine：launchビルダーでコルーチン開始
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 コルーチンはビルダー（Builder）により開始されます。 ビルダーは3つの種類があり、その中の1つがlaunchです。 このlaunchビルダーについて、まとめます。 ...
続きを読む
Coroutine：launchビルダーの仕組み
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 コルーチンを開始するlaunchビルダーの仕組みについて、まとめます。 ※仕組みの解析は次のバージョンを対象に行っています。 　　　Kotlin：Ver 1.6.10 　　　org.jetbrains.kotlinx:kotlinx-coroutines-android:1.3.9 ...
続きを読む
Coroutine：asyncビルダーでコルーチン開始
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 コルーチンはビルダー（Builder）により開始されます。 ビルダーは3つの種類があり、その中の1つがasyncです。 このasyncビルダーについて、まとめます。 ...
続きを読む
Coroutine：asyncビルダーの仕組み
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 コルーチンを開始するasyncビルダーの仕組みについて、まとめます。 ※仕組みの解析は次のバージョンを対象に行っています。 　　　Kotlin：Ver 1.6.10 　　　org.jetbrains.kotlinx:kotlinx-coroutines-android:1.3.9 ...
続きを読む
Coroutine：runBlockingビルダーでコルーチン開始
コルーチン（Coroutine）は「非同期処理の手法」の１つです。 Kotlinが提供します。 コルーチンはビルダー（Builder）により開始されます。 ビルダーは3つの種類があり、その中の1つがrunBlockingです。 このrunBlockingビルダーについて、まとめます。 ...
続きを読む
Coroutine：CoroutineContextのName属性を出力
CoroutineContextはコルーチンで起動されるスレッドの属性を格納しています。 その中にコルーチンの名前を表現するName属性があります。 Name属性を出力する方法を紹介します。 ...
続きを読む
Coroutine：コルーチン間でメッセージの送受信
コルーチン間でメッセージ（データ）の送受信を行うことが出来ます。 ここで紹介する「メッセージの送受信」を使えば、非同期処理の間で確実にデータを受け渡し出来ます。 それにより、非同期処理の連携が容易になります。 今回は、メッセージの送受信についての基礎と、Channelを使った最も基本的な送受信の動作をまとめます。 ※環境：Android Studio Flamingo | 2022.2.1 　　　：org.jetbrains.kotlinx:kotlinx-coroutines-android:1.6.4 ...
続きを読む
Coroutine：Produce
KotlinのコルーチンAPIは「コルーチン間でメッセージを送受信する仕組み」を提供しています。 Channel、Produce、Flow、SharedFlow、StateFlowなどです。 これらは、「メッセージを送受信する」という本命の動作は変わりませんが、特徴や違いを持ちます。 プログラミングで利用する際は、特徴や違いを理解して、使い分けが必要になります。 ですので、各々を比較しつつ、まとめました。 この記事は「Produce」について、まとめたものです。 ※環境：Android Studio Koala Feature Drop | 2024.1.2 　　　　Kotlin 1.9.0 　　　　Compose Compiler 1.5.1 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-android 1.7.3 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-core 1.7.3 ...
続きを読む
Coroutine：Flow（SafeFlow）
KotlinのコルーチンAPIは「コルーチン間でメッセージを送受信する仕組み」を提供しています。 Channel、Produce、Flow、SharedFlow、StateFlowなどです。 これらは、「メッセージを送受信する」という本命の動作は変わりませんが、特徴や違いを持ちます。 プログラミングで利用する際は、特徴や違いを理解して、使い分けが必要になります。 ですので、各々を比較しつつ、まとめました。 この記事は「Flow」について、まとめたものです。 ※環境：Android Studio Koala Feature Drop | 2024.1.2 　　　　Kotlin 1.9.0 　　　　Compose Compiler 1.5.1 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-android 1.7.3 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-core 1.7.3 ...
続きを読む
Coroutine：SharedFlow
KotlinのコルーチンAPIは「コルーチン間でメッセージを送受信する仕組み」を提供しています。 Channel、Produce、Flow、SharedFlow、StateFlowなどです。 これらは、「メッセージを送受信する」という本命の動作は変わりませんが、特徴や違いを持ちます。 プログラミングで利用する際は、特徴や違いを理解して、使い分けが必要になります。 ですので、各々を比較しつつ、まとめました。 この記事は「SharedFlow」について、まとめたものです。 ※環境：Android Studio Koala Feature Drop | 2024.1.2 　　　　Kotlin 1.9.0 　　　　Compose Compiler 1.5.1 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-android 1.7.3 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-core 1.7.3 ...
続きを読む
Coroutine：StateFlow
KotlinのコルーチンAPIは「コルーチン間でメッセージを送受信する仕組み」を提供しています。 Channel、Produce、Flow、SharedFlow、StateFlowなどです。 これらは、「メッセージを送受信する」という本命の動作は変わりませんが、特徴や違いを持ちます。 プログラミングで利用する際は、特徴や違いを理解して、使い分けが必要になります。 ですので、各々を比較しつつ、まとめました。 この記事は「StateFlow」について、まとめたものです。 ※環境：Android Studio Koala Feature Drop | 2024.1.2 　　　　Kotlin 1.9.0 　　　　Compose Compiler 1.5.1 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-android 1.7.3 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-core 1.7.3 ...
続きを読む
Coroutine：Flowのストリームデータ変更（中間演算）
Flowはメンバー関数や拡張関数で様々な機能を提供しています。 これらの関数は大きく分けて、中間演算（Intermediate operators）と終端演算（Terminal operators）に分けられます。 中間演算とは、withIndex、map、filter、drop、take、zip、merge、combineなどです。通信経路（Flow）の途中に位置して、ストリームデータを変更したり、Flowを統合したりします。 終端演算とは、collect、single、reduce、toListなどです。通信経路の末端に位置して、ストリームデータを収集します。 今回は、この「Flowの中間演算」のwithIndex、map、filter、drop、takeを取り上げて、まとめます。 ※環境：Android Studio Koala Feature Drop | 2024.1.2 Patch 1 　　　　Kotlin 1.9.0 　　　　Compose Compiler 1.5.1 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-androi ...
続きを読む
Coroutine：Flowの統合（中間演算）
Flowはメンバー関数や拡張関数で様々な機能を提供しています。 これらの関数は大きく分けて、中間演算（Intermediate operators）と終端演算（Terminal operators）に分けられます。 中間演算とは、withIndex、map、filter、drop、take、zip、merge、combineなどです。通信経路（Flow）の途中に位置して、ストリームデータを変更したり、Flowを統合したりします。 終端演算とは、collect、single、reduce、toListなどです。通信経路の末端に位置して、ストリームデータを収集します。 今回は、この「Flowの中間演算」のzip、merge、combineを取り上げて、まとめます。 ※環境：Android Studio Koala Feature Drop | 2024.1.2 Patch 1 　　　　Kotlin 1.9.0 　　　　Compose Compiler 1.5.1 　　　　org.jetbrains.kotlinx:kotlinx-coroutines-android 1.7.3 　　　　o ...
続きを読む
スポンサーリンク