深入浅出协程、线程和并发问题

"协程是轻量级的线程"，相信大家不止一次听到这种说法。但是您真的理解其中的含义吗?恐怕答案是否定的。

接下来的内容会告诉大家协程是如何在 Android 运行时中被运行的，它们和线程之间的关系是什么，以及在使用 Java 编程语言线程模型时所遇到的并发问题。

协程和线程

协程旨在简化异步执行的代码。对于 Android 运行时的协程，lambda 表达式的代码块会在专门的线程中执行。例如，示例中的 斐波那契 运算:

// 在后台线程中运算第十级斐波那契数 
someScope.launch(Dispatchers.Default) { 
    val fibonacci10 = synchronousFibonacci(10) 
    saveFibonacciInMemory(10, fibonacci10) 
} 

private fun synchronousFibonacci(n: Long): Long { /* ... */ } 

上面 async 协程的代码块，会被分发到由协程库所管理的线程池中执行，实现了同步且阻塞的斐波那契数值运算，并且将结果存入内存，上例中的线程池属于Dispatchers.Default。

该代码块会在未来某些时间在线程池中的某一线程中执行，具体执行时间取决于线程池的策略。

请注意由于上述代码中未包含挂起操作，因此它会在同一个线程中执行。而协程是有可能在不同的线程中执行的，比如将执行部分移动到不同的分发器，或者在使用线程池的分发器中包含带有挂起操作的代码。

如果不使用协程的话，您还可以使用线程自行实现类似的逻辑，代码如下:

1.  // 创建包含 4 个线程的线程池 
2.  val executorService = Executors.newFixedThreadPool(4) 

4.  // 在其中的一个线程中安排并执行代码 
5.  executorService.execute { 
6.  val fibonacci10 = synchronousFibonacci(10) 
7.  saveFibonacciInMemory(10, fibonacci10) 
8.  } 

虽然您可以自行实现线程池的管理，但是我们仍然推荐使用协程作为 Android 开发中首选的异步实现方案，它具备内置的取消机制，可以提供更便捷的异常捕捉和结构式并发，后者可以减少类似内存泄漏问题的发生几率，并且与 Jetpack 库集成度更高。

工作原理

从您创建协程到代码被线程执行这期间发生了什么呢?当您使用标准的协程 builder 创建协程时，您可以指定该协程所运行的 CoroutineDispatcher，如果未指定，系统会默认使用Dispatchers.Default。

CoroutineDispatcher 会负责将协程的执行分配到具体的线程