鸿蒙轻内核M核源码分析系列二 数据结构-任务就绪队列

在鸿蒙轻内核源码分析上一个系列，我们分析了双向循环链表的源码。本文会继续给读者介绍源码中重要的数据结构，任务基于优先级的就绪队列Priority Queue。在讲解时，会结合数据结构相关绘图，培养读者们的数据结构的平面想象能力，帮助更好的学习和理解这些数据结构的用法。

1 任务就绪队列

在任务调度模块，就绪队列是个重要的数据结构。任务创建后即进入就绪态，并放入就绪队列。在鸿蒙轻内核中，就绪队列是一个双向循环链表数组，每个数组元素就是一个链表，相同优先级的任务放入同一个链表。

任务就绪队列Priority Queue主要供内部使用，用户进行业务开发时不涉及，所以并未对外提供接口。双向循环链表数组能够更加方便的支持任务基于优先级进行调度。任务就绪队列的核心代码在kernel\src\los_task.c文件中。

1.1 任务就绪队列的定义

在kernel\src\los_task.c文件中定义了和任务就绪队列相关的主要变量。

源码如下：

⑴ LITE_OS_SEC_BSS LOS_DL_LIST *g_losPriorityQueueList = NULL;

⑵ static LITE_OS_SEC_BSS UINT32 g_priqueueBitmap = 0;

⑶ #define PRIQUEUE_PRIOR0_BIT              (UINT32)0x80000000

⑷ #define OS_PRIORITY_QUEUE_PRIORITYNUM    32

其中⑴表示任务就绪队列，是一个双向链表数组，后文初始化该数组时会将数组长度设置为⑷处定义的OS_PRIORITY_QUEUE_PRIORITYNUM；⑵表示优先级位图，标识了任务就绪队列中已挂载的就绪任务所在的优先级；⑶表示优先级为0的比特位；⑷表示任务就绪队列支持的优先级个数32，所以鸿蒙轻内核优先级的取值范围为0-31，数值越小优先级越大。

优先级位图g_priqueueBitmap的bit位和优先级的关系为bit=31-priority，优先级数组g_losPriorityQueueList[priority]包含了OS_PRIORITY_QUEUE_PRIORITYNUM个数组元素，每个数组元素都是一个双向链表，同一优先级的处于就绪状态的所有任务都会挂载到对应优先级的双向链表中。

示意图如下：

2 任务就绪队列操作