如何让Kotlin协程按调用顺序串行执行指定挂起函数？

这个问题我之前也踩过坑——Mutex只能保证互斥，但默认是非公平锁，很容易出现后调用的任务先抢到锁执行的情况，完全没法保证外部库的调用顺序。而单线程Dispatcher加runBlocking的问题在于会阻塞调用线程，严重影响性能和响应性。

推荐用Kotlin协程的Channel来实现一个串行任务队列，这是最贴合需求的方案：Channel天然保证发送顺序等于消费顺序，而且全程用挂起操作，不会阻塞线程，同时还能轻松实现operation3和operation4的串行执行，其他任务正常并行。

具体实现步骤 #

1. 创建串行任务通道与消费协程
   先定义一个全局的Channel来接收operation3和operation4的任务，同时启动一个后台协程专门按顺序消费这些任务：

   // 用UNLIMITED容量避免发送方挂起（如果外部调用频率极高，也可以用Rendezvous，根据实际场景调整）
   private val serialTaskChannel = Channel<suspend () -> Unit>(Channel.UNLIMITED)
   
   // 启动消费协程，确保它的生命周期和应用一致（比如在Application初始化时启动）
   init {
       // 用SupervisorJob避免单个任务失败导致整个消费协程崩溃
       CoroutineScope(Dispatchers.Default + SupervisorJob()).launch {
           for (task in serialTaskChannel) {
               try {
                   task() // 按顺序执行每个任务
               } catch (e: Exception) {
                   // 这里可以添加异常日志或处理逻辑
                   println("Serial task failed: ${e.message}")
               }
           }
       }
   }
   

2. 封装operation3和operation4
   把原来的operation3和operation4的逻辑包装后发送到Channel里，外部库调用时就会自动加入串行队列：

   suspend fun operation3() {
       serialTaskChannel.send {
           // 原来的operation3业务代码
           // 比如：delay(1000)、网络请求等
       }
   }
   
   suspend fun operation4() {
       serialTaskChannel.send {
           // 原来的operation4业务代码
       }
   }
   

3. 其他函数保持原样
   operation1、operation2、operation5不需要任何修改，它们依然可以在默认Dispatcher下并行执行：

   suspend fun operation1(){ /* 原有并行逻辑 */ }
   suspend fun operation2(){ /* 原有并行逻辑 */ }
   suspend fun operation5(){ /* 原有并行逻辑 */ }
   

方案优势对比 #

• 严格保证顺序：外部库调用operation3/4的顺序，就是它们实际执行的顺序，Channel的FIFO特性从根本上解决了Mutex的顺序问题。
• 非阻塞高性能：用挂起函数send代替runBlocking的阻塞操作，不会占用额外线程或卡住外部库的调用线程。
• 资源高效：只需要一个后台协程处理串行任务，其他任务正常并行，避免了单线程Dispatcher的资源浪费。
• 侵入性极低：不需要修改外部库的calledByLibrary函数，只需要封装operation3和operation4的实现即可。

额外注意事项 #

• 确保消费协程不会被意外取消，建议绑定到应用的生命周期（比如Android中用Application的CoroutineScope）。
• 如果任务执行可能抛出异常，一定要在消费协程中添加try-catch，避免单个任务崩溃导致整个串行队列停止工作。

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