Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 1 | **Table of contents** |
| 2 | |
| 3 | <!--- TOC --> |
| 4 | |
| 5 | * [Debugging coroutines](#debugging-coroutines) |
| 6 | * [Debug mode](#debug-mode) |
| 7 | * [Stacktrace recovery](#stacktrace-recovery) |
| 8 | * [Stacktrace recovery machinery](#stacktrace-recovery-machinery) |
| 9 | * [Debug agent](#debug-agent) |
Vsevolod Tolstopyatov | 4764e98 | 2019-02-04 12:39:34 +0300 | [diff] [blame] | 10 | * [Debug agent and Android](#debug-agent-and-android) |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 11 | |
| 12 | <!--- END_TOC --> |
| 13 | |
| 14 | |
| 15 | ## Debugging coroutines |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 16 | Debugging asynchronous programs is challenging, because multiple concurrent coroutines are typically working at the same time. |
| 17 | To help with that, `kotlinx.coroutines` comes with additional features for debugging: debug mode, stacktrace recovery |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 18 | and debug agent. |
| 19 | |
| 20 | ## Debug mode |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 21 | |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 22 | The first debugging feature of `kotlinx.coroutines` is debug mode. |
| 23 | It can be enabled either by setting system property [DEBUG_PROPERTY_NAME] or by running Java with enabled assertions (`-ea` flag). |
| 24 | The latter is helpful to have debug mode enabled by default in unit tests. |
| 25 | |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 26 | Debug mode attaches a unique [name][CoroutineName] to every launched coroutine. |
| 27 | Coroutine name can be seen in a regular Java debugger, |
| 28 | in a string representation of the coroutine or in the thread name executing named coroutine. |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 29 | Overhead of this feature is negligible and it can be safely turned on by default to simplify logging and diagnostic. |
| 30 | |
| 31 | ## Stacktrace recovery |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 32 | |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 33 | Stacktrace recovery is another useful feature of debug mode. It is enabled by default in the debug mode, |
| 34 | but can be separately disabled by setting `kotlinx.coroutines.stacktrace.recovery` system property to `false`. |
| 35 | |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 36 | Stacktrace recovery tries to stitch asynchronous exception stacktrace with a stacktrace of the receiver by copying it, providing |
Vsevolod Tolstopyatov | 4764e98 | 2019-02-04 12:39:34 +0300 | [diff] [blame] | 37 | not only information where an exception was thrown, but also where it was asynchronously rethrown or caught. |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 38 | |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 39 | It is easy to demonstrate with actual stacktraces of the same program that awaits asynchronous operation in `main` function |
| 40 | (runnable code is [here](../kotlinx-coroutines-debug/test/RecoveryExample.kt)): |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 41 | |
| 42 | | Without recovery | With recovery | |
| 43 | | - | - | |
| 44 | |  |  | |
| 45 | |
| 46 | The only downside of this approach is losing referential transparency of the exception. |
| 47 | |
| 48 | ### Stacktrace recovery machinery |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 49 | |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 50 | This section explains the inner mechanism of stacktrace recovery and can be skipped. |
| 51 | |
| 52 | When an exception is rethrown between coroutines (e.g. through `withContext` or `Deferred.await` boundary), stacktrace recovery |
| 53 | machinery tries to create a copy of the original exception (with the original exception as the cause), then rewrite stacktrace |
| 54 | of the copy with coroutine-related stack frames (using [Throwable.setStackTrace](https://docs.oracle.com/javase/9/docs/api/java/lang/Throwable.html#setStackTrace-java.lang.StackTraceElement:A-)) |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 55 | and then throws the resulting exception instead of the original one. |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 56 | |
| 57 | Exception copy logic is straightforward: |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 58 | 1) If the exception class implements [CopyableThrowable], [CopyableThrowable.createCopy] is used. |
| 59 | 2) If the exception class has class-specific fields not inherited from Throwable, the exception is not copied. |
| 60 | 3) Otherwise, one of the public exception's constructor is invoked reflectively with an optional `initCause` call. |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 61 | |
| 62 | ## Debug agent |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 63 | |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 64 | [kotlinx-coroutines-debug](../kotlinx-coroutines-debug) module provides one of the most powerful debug capabilities in `kotlinx.coroutines`. |
| 65 | |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 66 | This is a separate module with a JVM agent that keeps track of all alive coroutines, introspects and dumps them similar to thread dump command, |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 67 | additionally enhancing stacktraces with information where coroutine was created. |
| 68 | |
Vsevolod Tolstopyatov | f528898 | 2019-02-18 14:46:58 +0300 | [diff] [blame] | 69 | The full tutorial of how to use debug agent can be found in the corresponding [readme](../kotlinx-coroutines-debug/README.md). |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 70 | |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 71 | ### Debug agent and Android |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 72 | |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 73 | Unfortunately, Android runtime does not support Instrument API necessary for `kotlinx-coroutines-debug` to function, triggering `java.lang.NoClassDefFoundError: Failed resolution of: Ljava/lang/management/ManagementFactory;`. |
| 74 | |
Mike Nakhimovich | da2cf23 | 2019-05-22 09:04:22 -0400 | [diff] [blame] | 75 | Nevertheless, it will be possible to support debug agent on Android as soon as [GradleAspectJ-Android](https://github.com/Archinamon/android-gradle-aspectj) will support android-gradle 3.3 |
Vsevolod Tolstopyatov | a68376c | 2019-02-01 18:13:39 +0300 | [diff] [blame] | 76 | |
| 77 | <!--- |
| 78 | Make an exception googlable |
| 79 | java.lang.NoClassDefFoundError: Failed resolution of: Ljava/lang/management/ManagementFactory; |
| 80 | at kotlinx.coroutines.repackaged.net.bytebuddy.agent.ByteBuddyAgent$ProcessProvider$ForCurrentVm$ForLegacyVm.resolve(ByteBuddyAgent.java:1055) |
| 81 | at kotlinx.coroutines.repackaged.net.bytebuddy.agent.ByteBuddyAgent$ProcessProvider$ForCurrentVm.resolve(ByteBuddyAgent.java:1038) |
| 82 | at kotlinx.coroutines.repackaged.net.bytebuddy.agent.ByteBuddyAgent.install(ByteBuddyAgent.java:374) |
| 83 | at kotlinx.coroutines.repackaged.net.bytebuddy.agent.ByteBuddyAgent.install(ByteBuddyAgent.java:342) |
| 84 | at kotlinx.coroutines.repackaged.net.bytebuddy.agent.ByteBuddyAgent.install(ByteBuddyAgent.java:328) |
| 85 | at kotlinx.coroutines.debug.internal.DebugProbesImpl.install(DebugProbesImpl.kt:39) |
| 86 | at kotlinx.coroutines.debug.DebugProbes.install(DebugProbes.kt:49) |
| 87 | --> |
Vsevolod Tolstopyatov | 418ba80 | 2019-02-01 14:54:06 +0300 | [diff] [blame] | 88 | |
| 89 | <!--- MODULE kotlinx-coroutines-core --> |
| 90 | <!--- INDEX kotlinx.coroutines --> |
| 91 | [DEBUG_PROPERTY_NAME]: https://kotlin.github.io/kotlinx.coroutines/kotlinx-coroutines-core/kotlinx.coroutines/-d-e-b-u-g_-p-r-o-p-e-r-t-y_-n-a-m-e.html |
| 92 | [CoroutineName]: https://kotlin.github.io/kotlinx.coroutines/kotlinx-coroutines-core/kotlinx.coroutines/-coroutine-name/index.html |
| 93 | [CopyableThrowable]: https://kotlin.github.io/kotlinx.coroutines/kotlinx-coroutines-core/kotlinx.coroutines/-copyable-throwable/index.html |
| 94 | [CopyableThrowable.createCopy]: https://kotlin.github.io/kotlinx.coroutines/kotlinx-coroutines-core/kotlinx.coroutines/-copyable-throwable/create-copy.html |
| 95 | <!--- MODULE kotlinx-coroutines-debug --> |
| 96 | <!--- END --> |