鸿蒙内核源码分析:双向循环链表篇

Posted CSDN

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了鸿蒙内核源码分析:双向循环链表篇相关的知识,希望对你有一定的参考价值。

鸿蒙内核源码分析:双向循环链表篇

作者 | 深入研究鸿蒙,鸿蒙内核发烧友

出品 | CSDN(ID:CSDNnews)

鸿蒙内核源码分析:双向循环链表篇

为何鸿蒙内核源码分析系列开篇就说 LOS_DL_LIST?


因为它在鸿蒙 LOS 内核中无处不在,可以说在整个内核占了极大的比重,基本通过它把所有的结构体像胶水一样粘在一起,豪不夸张的说理解LOS_DL_LIST及相关函数 是读懂鸿蒙内核的关键。前后指针就像人的两只左右手一样灵活的指挥着系统精准的运行,越是深入分析内核源码,越是能体会在内核开发者对LOS_DL_LIST的非凡的驾驭能力,笔者仿佛看到了无数双手前后相连,拉起了无数个双向循环链表,把指针妙处运用到了极致,这也许就是编程的艺术吧!

致敬鸿蒙内核开发者,鸿蒙内核源码可以作为大学操作系统,数据结构两门课的教学项目。

/** * @ingroup los_list * Structure of a node in a doubly linked list. */
typedef struct LOS_DL_LIST {  struct LOS_DL_LIST *pstPrev; /**< Current node's pointer to the previous node */  struct LOS_DL_LIST *pstNext; /**< Current node's pointer to the next node */} LOS_DL_LIST;
LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListInit(LOS_DL_LIST *list){ list->pstNext = list; list->pstPrev = list;}

真的是无处不在吗?答:是真的,看看使用它的源码吧,无处不在。

鸿蒙内核源码分析:双向循环链表篇
鸿蒙内核源码分析:双向循环链表篇


鸿蒙内核源码分析:双向循环链表篇

基本概念


双向链表是指含有往前和往后两个方向的链表,即每个结点中除存放下一个节点指针外,还增加一个指向其前一个节点的指针。其头指针head是唯一确定的。

从双向链表中的任意一个结点开始,都可以很方便地访问它的前驱结点和后继结点,这种数据结构形式使得双向链表在查找时更加方便,特别是大量数据的遍历。由于双向链表具有对称性,能方便地完成各种插入、删除等操作,但需要注意前后方向的操作。


鸿蒙内核源码分析:双向循环链表篇

功能接口


Huawei LiteOS系统中的双向链表模块为用户提供下面几个接口。

功能分类

接口名

描述

初始化链表

LOS_ListInit

对链表进行初始化。

增加节点

LOS_ListAdd

将新节点添加到链表中。

在链表尾端插入节点

LOS_ListTailInsert

将节点插入到双向链表尾端。

删除节点

LOS_ListDelete

将指定的节点从链表中删除。

判断双向链表是否为空

LOS_ListEmpty

判断链表是否为空。

删除节点并初始化链表

LOS_ListDelInit

将指定的节点从链表中删除,使用该节点初始化链表。

链表中插入链表 LOS_ListAddList 两个循环链表合成一个大循环链表
从尾部插入节点 LOS_ListTailInsert (LOS_DL_LIST *list, LOS_DL_LIST *node)
从头部插入节点 LOS_ListHeadInsert (LOS_DL_LIST *list, LOS_DL_LIST *node)
从尾部插入链表 LOS_ListTailInsertList (LOS_DL_LIST *oldList, LOS_DL_LIST *newList)
从头部插入链表 LOS_ListTailInsertList (LOS_DL_LIST *oldList, LOS_DL_LIST *newList)

鸿蒙使用了双向循环链表来实现结构体数据结构之间的关联,支持单个节点的头尾插入,更精妙的是链表中支持插入另一个链表,将两个循环链表合成一个大循环链表,实现极为巧妙和简单。详见代码

//双向链表初始化LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListInit(LOS_DL_LIST *list){ list->pstNext = list// 前后指针都指向自己 list->pstPrev = list;}
//链表判空,检查前后指针是否指向自己LITE_OS_SEC_ALW_INLINE STATIC INLINE BOOL LOS_ListEmpty(LOS_DL_LIST *list){ return (BOOL)(list->pstNext == list);}//从链表中删除节点LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListDelete(LOS_DL_LIST *node){ node->pstNext->pstPrev = node->pstPrev; node->pstPrev->pstNext = node->pstNext; node->pstNext = NULL; node->pstPrev = NULL;}//指针互换,具体向双向循环链表中插入节点LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListAdd(LOS_DL_LIST *list, LOS_DL_LIST *node){ node->pstNext = list->pstNext; node->pstPrev = list; list->pstNext->pstPrev = node; list->pstNext = node;}// 两个循环链表合成一个大循环列表LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListAddList(LOS_DL_LIST *oldList, LOS_DL_LIST *newList){// 先用临时指针记录头尾位置 LOS_DL_LIST *oldListHead = oldList->pstNext; LOS_DL_LIST *oldListTail = oldList; LOS_DL_LIST *newListHead = newList; LOS_DL_LIST *newListTail = newList->pstPrev;  // 前后指针完成切换 oldListTail->pstNext = newListHead; newListHead->pstPrev = oldListTail; oldListHead->pstPrev = newListTail; newListTail->pstNext = oldListHead;}// 这里与其说插入不如说合并,同样支持从头或尾部合并
LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListTailInsertList(LOS_DL_LIST *oldList, LOS_DL_LIST *newList){ LOS_ListAddList(oldList->pstPrev, newList);}
LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListHeadInsertList(LOS_DL_LIST *oldList, LOS_DL_LIST *newList){ LOS_ListAddList(oldList, newList);}

家在阅读鸿蒙内核源码要实时带着LOS_DL_LIST 这理解 代码之间的关联,构想运行时的场景是怎样的,就能体会到内核代码之精练美妙。


鸿蒙内核源码分析:双向循环链表篇

具体的使用场景


看下它其中的一个使用场景吧,体验设计者的奇妙用心,上代码。

typedef struct ProcessCB { CHAR processName[OS_PCB_NAME_LEN]; /**< Process name */ UINT32 processID; /**< process ID = leader thread ID */ UINT16 processStatus; /**< [15:4] process Status; [3:0] The number of threads currently running in the process */ LOS_DL_LIST pendList; /**< Block list to which the process belongs */ LOS_DL_LIST childrenList; /**< my children process list */ LOS_DL_LIST exitChildList; /**< my exit children process list */ LOS_DL_LIST siblingList; /**< linkage in my parent's children list */ ProcessGroup *group; /**< Process group to which a process belongs */ LOS_DL_LIST subordinateGroupList; /**< linkage in my group list */ UINT32 threadGroupID; /**< Which thread group , is the main thread ID of the process */ UINT32 threadScheduleMap; /**< The scheduling bitmap table for the thread group of the process */ LOS_DL_LIST threadSiblingList; /**< List of threads under this process */ LOS_DL_LIST threadPriQueueList[OS_PRIORITY_QUEUE_NUM]; /**< The process's thread group schedules the LOS_DL_LIST waitList; /**< The process holds the waitLits to support } LosProcessCB;

这是LosProcessCB(进程控制块),因为结构体很复杂,省去了其他定义,留下LOS_DL_LIST 相关的,大家自行对照内核源码阅读,LosProcessCB包含了 七个双向循环链表,而进程组的队列是个数组,又包含了32个就绪队列的双向循环链表。这些链表承载的是一个进程在期生命周期内的运行过程逻辑,进程和线程的关系逻辑,线程的运行过程逻辑等等,是的,必须要有这么复杂的数据结构才能描述进程从出生到消亡的过程。


鸿蒙内核源码分析:双向循环链表篇

任务队列涉及的相关代码


这些是 任务队列出队入队操作,背后都是LOS_DL_LIST的增删过程。 

#define OS_PROCESS_PRI_QUEUE_SIZE(processCB) OsPriQueueProcessSize(g_priQueueList, (processCB)->priority) #define OS_TASK_PRI_QUEUE_ENQUEUE(processCB, taskCB)  OsPriQueueEnqueue((processCB)->threadPriQueueList, &((processCB)->threadScheduleMap),  &((taskCB)->pendList), (taskCB)->priority)#define OS_TASK_PRI_QUEUE_ENQUEUE_HEAD(processCB, taskCB)  OsPriQueueEnqueueHead((processCB)->threadPriQueueList, &((processCB)->threadScheduleMap),  &((taskCB)->pendList), (taskCB)->priority) #define OS_TASK_PRI_QUEUE_DEQUEUE(processCB, taskCB)  OsPriQueueDequeue((processCB)->threadPriQueueList, &((processCB)->threadScheduleMap), &((taskCB)->pendList))  #define OS_TASK_SCHED_QUEUE_ENQUEUE(taskCB, status) OsTaskSchedQueueEnqueue(taskCB, status)#define OS_TASK_SCHED_QUEUE_DEQUEUE(taskCB, status) OsTaskSchedQueueDequeue(taskCB, status) #define OS_PROCESS_PRI_QUEUE_ENQUEUE(processCB)  OsPriQueueEnqueue(g_priQueueList, &g_priQueueBitmap, &((processCB)->pendList), (processCB)->priority)#define OS_PROCESS_PRI_QUEUE_ENQUEUE_HEAD(processCB)  OsPriQueueEnqueueHead(g_priQueueList, &g_priQueueBitmap, &((processCB)->pendList), (processCB)->priority)#define OS_PROCESS_PRI_QUEUE_DEQUEUE(processCB) OsPriQueueProcessDequeue(&((processCB)->pendList)) #define OS_TASK_PRI_QUEUE_SIZE(processCB, taskCB) OsPriQueueSize((processCB)->threadPriQueueList, (taskCB)->priority)#define OS_TASK_GET_NEW(processCB) LOS_DL_LIST_ENTRY(OsPriQueueTop((processCB)->threadPriQueueList,  &((processCB)->threadScheduleMap)),  LosTaskCB, pendList)


鸿蒙内核源码分析:双向循环链表篇

内联函数 inline


鸿蒙内核大量的使用了内联函数,内联函数的好处是什么?不明白自己去查,这里不普及基本知识。源码中只有los_list.h 是.h 文件,木有.c 文件!这些调用最最频繁的内联函数,免去了像普通函数要出栈入栈的时间和空间,效率极高。

/* Define OS code data sections *//* The indicator function is inline */#ifndef LITE_OS_SEC_ALW_INLINE#define LITE_OS_SEC_ALW_INLINE /* __attribute__((always_inline)) */#endif LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListAdd(LOS_DL_LIST *list, LOS_DL_LIST *node){ node->pstNext = list->pstNext; node->pstPrev = list; list->pstNext->pstPrev = node; list->pstNext = node;}LITE_OS_SEC_ALW_INLINE STATIC INLINE VOID LOS_ListTailInsert(LOS_DL_LIST *list, LOS_DL_LIST *node){ LOS_ListAdd(list->pstPrev, node);}

鸿蒙内核源码分析:双向循环链表篇

鸿蒙内核源码分析:双向循环链表篇

更多精彩推荐


 
   
   
 
鸿蒙内核源码分析:双向循环链表篇
点分享
点点赞
点在看

以上是关于鸿蒙内核源码分析:双向循环链表篇的主要内容,如果未能解决你的问题,请参考以下文章

双向循环链表:鸿蒙轻内核中数据的“驿站”

v01.12 鸿蒙内核源码分析(双向链表篇) | 谁是内核最重要结构体? | 开篇致敬鸿蒙内核开发者

LinkedList(JDK1.8)源码分析

双向循环链表list_head WRITE_ONCE READ_ONCE 函数的分析与使用

数据结构-内核的双向循环链表-简单实现

数据结构开发(11):双向循环链表的实现