发布时间:2024-11-21 23:13:58
携程（Coroutine）是一种轻量级线程，也被称为用户线程或绿色线程。与传统的线程/M:N多对多模型不同，携程使用了一对一模型，将线程与协程进行一一映射。
携程在执行过程中会出现不同的状态，包括: 新建（New）、运行（Runnable）、等待（Waiting）、睡眠（Sleeping）、阻塞（Blocked）、结束（Dead）等。下面，我们将详细介绍每种状态的含义及转移。
新建状态表示携程已创建但尚未执行。在携程被创建后，它将处于这一状态，直到调用go关键字进行启动。例如：
go func() {...
代码中的匿名函数会被编译为一个携程，此时携程处于新建状态。
一旦携程启动，将会进入并发调度器中的等待队列，随后转移到运行状态。
运行状态表示携程正在执行中。在运行状态下，携程将占用线程并与其他携程进行抢占式调度。一个处于运行状态的携程可以执行计算、I/O操作等任务，并在某个点上主动放弃线程的控制权，以便让其他携程有机会执行。
等待状态表示携程暂时停止执行，等待一些特定的事件发生。这些事件可能是I/O操作、锁的释放等。当携程执行到这些操作时，它将进入等待状态，并将自身放到等待队列中等待事件的发生。
一旦等待的事件发生，例如外部数据就绪或锁被释放，携程将被唤醒，重新转变为运行状态，并参与到调度器的竞争中。
睡眠状态表示携程主动挂起一段时间。与等待状态不同，睡眠状态不依赖于外部的特定事件，而是由程序代码主动调用time.Sleep等方法来触发。
处于睡眠状态的携程暂时不会参与调度器的调度，因此也不会占用线程资源，直到指定的时间段过去后携程将被唤醒，回到运行状态。
阻塞状态表示携程被其他资源所阻塞。例如，当携程试图获取一个互斥锁但发现已经被其他携程占用时，它将进入阻塞状态，并将自身放到等待队列中等待锁的释放。
类似地，当携程发起I/O操作，在数据准备好之前，它也会进入阻塞状态。携程在阻塞状态下不会占用线程资源，直到被阻塞的条件解除后，才能重新转移到运行状态。
结束状态表示携程的生命周期已经结束。当携程的任务完成或遇到异常时，它将进入结束状态，不再参与任何调度和执行过程，由垃圾回收器负责清理相关资源。
通过上述介绍，我们了解了Golang携程的不同状态及其转移。这种一对一的协程模型使得Golang在处理高并发应用时非常高效。携程通过轻量级的调度器以及用户态的线程实现了高效的并发调度，提供了更快的上下文切换和更小的资源消耗。
通过合理地使用携程的状态转移，开发人员可以充分利用Golang的协程特性，提高程序运行效率和系统的吞吐量。
总而言之，Golang携程的状态图为我们揭示了携程创建、执行以及完成的整个生命周期，帮助我们更好地理解和使用携程，从而开发出高效稳定的并发应用。