5个状态,Python 中线程的生命周期
当程序中包含多个线程时,CPU 不是一直被特定的线程霸占,而是轮流执行各个线程。
那么,CPU 在轮换执行线程的过程中,即从创建到消亡的整个过程,可能会历经 5 种状态,分别是新建、就绪、运行、阻塞和死亡。
线程的新建状态
无论是通过 Thread 类直接实例化对象创建线程,还是通过继承自 Thread 类的子类实例化创建线程,新创建的线程在调用 start() 方法之前,不会得到执行,此阶段的线程就处于新建状态。
线程的就绪状态
当位于新建状态的线程调用 start() 方法后,该线程就转换到就绪状态。
所谓就绪,就是告诉 CPU,该线程已经可以执行了,但是具体什么时候执行,取决于 CPU 什么时候调度它。
换句话说,如果一个线程处于就绪状态,只能说明此线程已经做好了准备,随时等待 CPU 调度执行,并不是说执行了 start() 方法此线程就会立即被执行。
线程的运行状态
当位于就绪状态的线程得到了 CPU,并开始执行 target 参数执行的目标函数或者 run() 方法,就表明当前线程处于运行状态。
但如果当前有多个线程处于就绪状态(等待 CPU 调度)时,处于运行状态的线程将无法一直霸占 CPU 资源,为了使其它线程也有执行的机会,CPU 会在一定时间内强制当前运行的线程让出 CPU 资源,以供其他线程使用。
线程的阻塞状态
当 CPU 对多个线程进行调度时,对于获得 CPU 调度却没有执行完毕的线程,就会进入阻塞状态。
目前几乎所有的桌面和服务器操作系统,都采用的是抢占式优先级调度策略。即 CPU 会给每一个就绪线程一段固定时间来处理任务,当该时间用完后,系统就会阻止该线程继续使用 CPU 资源,让其他线程获得执行的机会。
对于具体选择那个线程上 CPU,不同的平台采用不同的算法,比如先进先出算法(FIFO)、时间片轮转算法、优先级算法等,每种算法各有优缺点,适用于不同的场景。
除此之外,如果处于运行状态的线程发生如下几种情况,也将会由运行状态转到阻塞状态:
- 线程调用了 sleep() 方法;
- 线程等待接收用户输入的数据;
- 线程试图获取某个对象的同步锁时,如果该锁被其他线程所持有,则当前线程进入阻塞状态;
- 线程调用 wait() 方法,等待特定条件的满足。
以上几种情况都会导致线程阻塞,只有解决了线程遇到的问题之后,该线程才会由阻塞状态转到就绪状态,继续等待 CPU 调度。
以上 4 种可能发生线程阻塞的情况,解决措施分别如下:
- sleep() 方法规定的时间已过;
- 线程接收到了用户输入的数据;
- 其他线程释放了该同步锁,并由该线程获得;
- 调用 set() 方法发出通知。
线程死亡状态
对于获得 CPU 调度却未执行完毕的线程,它会转入阻塞状态,待条件成熟之后继续转入就绪状态,重复争取 CPU 资源,直到其执行结束。
执行结束的线程将处于死亡状态。
线程执行结束,除了正常执行结束外,如果程序执行过程发生异常(Exception)或者错误(Error),线程也会进入死亡状态。
对于处于死亡状态的线程,有以下 2 点需要注意:
- 主线程死亡,并不意味着所有线程全部死亡。也就是说,主线程的死亡,不会影响子线程继续执行;反之也是如此。
- 对于死亡的线程,无法再调用 start() 方法使其重新启动,否则 Python 解释器将抛出 RuntimeError 异常。