Kotlin concurrency and Flow
Core principle
Give asynchronous work an explicit owner and lifetime, then model durable state and transient events with primitives whose delivery and replay semantics match the product contract.
Procedure
- Identify each coroutine owner, cancellation boundary, producer, consumer, durable state, and transient event.
- Before changing an API, compare its existing caller-visible contract with
the required owner and lifetime. If a suspend API already gives its caller
cancellation, result, and failure ownership, finish with no change; do not
add a scope,
launch, callback, or deferred wrapper merely for convenience. - Select a scope whose lifecycle owns the work; do not retain arbitrary scopes or hide unstructured launches behind non-suspending APIs.
- Model renderable, current data as state and imperative one-shot work as an event only when its loss and replay behavior are explicitly acceptable.
- Choose Flow sharing and buffering semantics from the producer and consumer lifetimes rather than from a default.
- Read the focused reference for the material concern below.
- Finish when cancellation, restart, replay, and failure behavior are all observable from the public API and no caller must guess who owns the work.
Topic router
| Signal | Read |
|---|---|
Stored CoroutineScope, init { launch }, fire-and-forget API, runBlocking, broad catch, or cancellation boundary |
Structured concurrency |
StateFlow, SharedFlow, Channel, stateIn, SharingStarted, .value, state updates, sentinel values, or one-shot events |
Flow state and events |
| Compose collection or UI effect handling | Compose state and effects |
RED/GREEN agent scenarios
- RED stores a long-lived
CoroutineScopein a service and launches from arbitrary callers. GREEN makes ownership and cancellation follow a defined lifecycle boundary. - Novel case: a screen needs replayable loading state and non-replayable navigation. GREEN uses distinct state and event contracts with documented delivery semantics.
- Counterexample: a suspend function already has a caller-owned scope. GREEN reports that no code change is necessary rather than adding an internal scope merely to make the API look asynchronous.