FreeRTOS 内核中的链表

FreeRTOS 内核中采用双向循环链表来进行任务调度，对任务总数没有限制，同一优先级的任务数也没有限制。相对于uC/OS-II 来说是一个大的优点。不过，有利必有弊。采用双向链表后代码相对来说要复杂一些。

FreeRTOS 中的链表和链表元素的定义如下：

typedef struct xLIST{    volatile unsigned portBASE_TYPE uxNumberOfItems; // 链表中有多少元素    volatile xListItem * pxIndex;      volatile xMiniListItem xListEnd; } xList;struct xLIST_ITEM{     portTickType xItemValue;     volatile struct xLIST_ITEM * pxNext;    volatile struct xLIST_ITEM * pxPrevious;     void * pvOwner;     void * pvContainer; };typedef struct xLIST_ITEM xListItem;

先从链表元素开始分析，FreeRTOS 中的 xListItem 在其他代码中通常被称为 Node，也就是链表节点。

结构体中各个部分的含义如下：

xItemValue：存放链表节点的值，在 FreeRTOS 中，用这个值来存放时间，用于延时相关的功能。因此，这个变量的类型是 portTickType。

pxNext 和 pxPrevious： 是双向链表两个方向的指针。分别指向后一个元素和前一个节点。

pvOwner：xListItem 本身是包含在 tskTCB 结构中的（tskTCB结构存放任务的各种信息，一个tskTCB 对应的就是一个任务），pvOwner 指向所在的 tskTCB 结构。因此，通过xListItem 就知道对应的是哪个任务了。

pvContainer：pvContainer 指向它所在的xList，根据这个指针，就能知道任务是在就绪任务链表中还是阻塞任务链表中。当xListItem不在任何链表中时，pvContainer的值为 NULL。

链表节点只有初始化后采用使用，初始化函数是：void vListInitialiseItem( xListItem *pxItem )，初始化函数只做了一件事，就是将pvContainer 设为 NULL。

xList 表示对应的链表。各个元素的含义如下：

uxNumberOfItems：记录链表中有多少个节点（不包含xListEnd节点）。

pxIndex：是一个指针，用来遍历链表。

xListEnd：是链表中一个不能删除的节点。xListEnd 的后续节点指向的就是真正有用的链表节点。当没有其他链表元素时，xListEnd 的前后指针都指向自己。

链表初始化函数比较简单，下面列出代码：

void vListInitialise( xList *pxList ){     pxList->pxIndex = ( xListItem * ) &( pxList->xListEnd );     pxList->xListEnd.xItemValue = portMAX_DELAY;     pxList->xListEnd.pxNext = ( xListItem * ) &( pxList->xListEnd );     pxList->xListEnd.pxPrevious = ( xListItem * ) &( pxList->xListEnd );     pxList->uxNumberOfItems = ( unsigned portBASE_TYPE ) 0U; }

链表操作主要有两大方面：将节点插入到链表，和从链表中删除节点。下面分别介绍。

FreeRTOS 将节点插入到链表又有两种操作。一个是将节点按照升序插入到链表的合适的位置。第二个是将节点插入到链表的结尾。

vListInsert 函数将节点按照升序插入到链表的合适的位置，前提是链表原本就是按照升序排序的。算法很简单，就是从第一个元素（xListEnd.pxNext）开始往后遍历，直到找到合适的位置，然后将节点插进去。

void vListInsert( xList *pxList, xListItem *pxNewListItem ){     volatile xListItem *pxIterator;     portTickType xValueOfInsertion;     xValueOfInsertion = pxNewListItem->xItemValue;     if( xValueOfInsertion == portMAX_DELAY )     {          pxIterator = pxList->xListEnd.pxPrevious;      }     else     {           for( pxIterator = ( xListItem * ) &( pxList->xListEnd ); pxIterator->pxNext->xItemValue <= xValueOfInsertion; pxIterator = pxIterator->pxNext );      }     pxNewListItem->pxNext = pxIterator->pxNext;     pxNewListItem->pxNext->pxPrevious = ( volatile xListItem * ) pxNewListItem;     pxNewListItem->pxPrevious = pxIterator;     pxIterator->pxNext = ( volatile xListItem * ) pxNewListItem;     pxNewListItem->pvContainer = ( void * ) pxList;     ( pxList->uxNumberOfItems )++; }

vListInsertEnd 函数将节点插入到链表的最后。所谓的最后，其实就是让  pxList->pxIndex 指向它就行了，因为遍历时是从 pxIndex->pxNext 的开始的，遍历一圈之后最后才能到 pxIndex。算法很简单，下面是代码。

void vListInsertEnd( xList *pxList, xListItem *pxNewListItem ){       volatile xListItem * pxIndex;        pxIndex = pxList->pxIndex;        pxNewListItem->pxNext = pxIndex->pxNext;        pxNewListItem->pxPrevious = pxList->pxIndex;        pxIndex->pxNext->pxPrevious = ( volatile xListItem * ) pxNewListItem;        pxIndex->pxNext = ( volatile xListItem * ) pxNewListItem;        pxList->pxIndex = ( volatile xListItem * ) pxNewListItem;        pxNewListItem->pvContainer = ( void * ) pxList;        ( pxList->uxNumberOfItems )++;}

从这两种将节点插入到链表的方法也能看出它们是不能混用的，将节点插入到链表最后是不能保证链表是升序排列的。FreeRTOS 的作者当然明白这个道理。在 FreeRTOS 中这两个函数各有自己的用途，当我们需要将一个任务延时一定时间时，使用vListInsert函数将其插入到xDelayedTaskList1 或xDelayedTaskList2。具体插入到那个链表要看延时值是否溢出了。而将一个任务设置为就绪状态时要将其按照优先级n 插入到pxReadyTasksLists[n]的最后，这时就要用vListInsertEnd函数了。插入到xPendingReadyList 和 xTasksWaitingTermination 链表时也要插入到最后，因此也用vListInsertEnd函数。总结一下，只有涉及到延时时才会用到vListInsert函数。

vListRemove 将节点从链表中删除，下面是代码。

void vListRemove( xListItem *pxItemToRemove ){        xList * pxList;        pxItemToRemove->pxNext->pxPrevious = pxItemToRemove->pxPrevious;        pxItemToRemove->pxPrevious->pxNext = pxItemToRemove->pxNext;        pxList = ( xList * ) pxItemToRemove->pvContainer;            if( pxList->pxIndex == pxItemToRemove )        {                pxList->pxIndex = pxItemToRemove->pxPrevious;            }        pxItemToRemove->pvContainer = NULL;        ( pxList->uxNumberOfItems )--;    }

链表的另一个重要操作就是遍历链表，在 FreeRTOS 源码中用宏来实现的。算法很简单，就是将 pxIndex 指向的下一个节点的对应的 TCB 结构指针返回来，然后pxIndex向后挪移个位置。需要注意的就是pxIndex的下一个节点是 xListEnd 的时候要再向后挪一下。

#define listGET_OWNER_OF_NEXT_ENTRY( pxTCB, pxList ) \{ xList * const pxConstList = ( pxList ); \( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext; \if( ( pxConstList )->pxIndex == ( xListItem * ) &( ( pxConstList )->xListEnd ) ) \{ \( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext; \} \( pxTCB ) = ( pxConstList )->pxIndex->pvOwner; \}

至此，链表有关的操作就都分析完了。实际上 FreeRTOS 源码中只用到了双向循环链表的最基本的功能。上面的分析也非常粗略，如果想更深入的学习链表的相关知识，可以找本算法或数据结构的教材来看看。不过，对于理解 FreeRTOS内核 ，上面这些已经够了。