Kotlin单线程上下文协程的执行顺序及挂起疑问

代码背景 #

创建单线程协程上下文及对应的Scope：

val serialThreadContext = newSingleThreadContext("mysinglethreadcontext")
fun myScope(): CoroutineScope = CoroutineScope(serialThreadContext)

通过该Scope启动协程：

myScope().launch {
   someOtherMethod()
   ...
}

已知所有通过此Scope启动的协程都会被调度到同一线程，但缺少执行顺序与挂起相关的明确文档，因此产生以下疑问：

1. 若someOtherMethod不包含任何suspend函数，该协程是否仍会被线程挂起？
2. 当线程从调度器中获取协程时，是否存在可保证的执行顺序？

解答 #

问题1：无挂起函数的协程是否会被挂起 #

不会。协程的挂起必须由挂起函数或显式挂起逻辑触发。如果someOtherMethod及后续代码中没有调用任何suspend修饰的函数，也没有触发挂起的操作（比如delay()、withContext()切换上下文等），该协程会在单线程上连续执行，直到完成，不会被主动挂起。

单线程调度器的核心作用是约束协程的执行线程，而非主动挂起协程。只有当协程自身执行到挂起点时，才会主动让出线程，让调度器调度队列中的其他协程。

问题2：协程的执行顺序是否有保证 #

对于newSingleThreadContext创建的单线程调度器，协程执行遵循FIFO（先进先出）的队列顺序。

每次调用launch启动协程时，该协程会被加入调度器的任务队列。线程会依次从队列头部取出协程执行：

• 如果协程执行过程中没有挂起，会一直执行到完成，之后线程再取下一个协程；
• 如果协程执行到挂起点，会暂时让出线程，此时线程会执行队列中的下一个协程；当挂起的协程恢复后，会被放回队列尾部，等待下一次被调度执行。

示例验证：

myScope().launch {
    println("协程1启动")
    delay(100) // 触发挂起
    println("协程1恢复完成")
}

myScope().launch {
    println("协程2启动")
    println("协程2执行完成")
}

输出结果固定为：

协程1启动
协程2启动
协程2执行完成
协程1恢复完成

内容的提问来源于stack exchange，提问作者northsideknight