面试题答案
一键面试1. 当M阻塞时调度器对关联G的处理
- G迁移：调度器会将与阻塞的M关联的G（goroutine）迁移到其他空闲的M上继续执行。如果没有空闲的M，这些G会被放入全局G队列或者本地G队列（P的本地队列）中，等待其他M来获取执行。
- 创建新M：调度器可能会创建一个新的M来替代阻塞的M，以便继续执行这些G。新的M会从全局G队列或本地G队列中获取G来执行。
2. 调试和优化关注的关键环节及数据结构
- 关键环节
- 上下文切换：频繁的上下文切换会带来性能开销。需要关注G在不同M之间迁移时上下文切换的频率和耗时，优化切换过程以减少开销。
- 队列操作：全局G队列和本地G队列（P的本地队列）的操作。例如，G在队列中的入队和出队操作是否高效，队列满或空时的处理逻辑是否合理，因为这些操作影响着G的调度效率。
- M的管理：包括M的创建、销毁以及阻塞和唤醒机制。例如，过多地创建和销毁M会带来额外的资源开销，不合理的阻塞和唤醒机制可能导致G长时间等待。
- 关键数据结构
- G（goroutine）结构体：其中包含了G的状态（如运行、就绪、阻塞等）、栈信息等。了解G的状态变化以及栈的使用情况有助于分析G的调度问题。
- M（操作系统线程）结构体：包含了M与P（处理器）的关联关系、当前执行的G等信息。通过分析M的结构体，可以了解M的运行状态以及它与G和P之间的交互。
- P（处理器）结构体：包含本地G队列等信息。P管理着一部分G，其本地队列的状态和操作直接影响G的调度，关注P的结构体有助于优化G在本地队列中的调度逻辑。