begriffs open source - freertos/blob - list.c

   1 /*\r
   2  * FreeRTOS Kernel <DEVELOPMENT BRANCH>\r
   3  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.\r
   4  *\r
   5  * SPDX-License-Identifier: MIT\r
   6  *\r
   7  * Permission is hereby granted, free of charge, to any person obtaining a copy of\r
   8  * this software and associated documentation files (the "Software"), to deal in\r
   9  * the Software without restriction, including without limitation the rights to\r
  10  * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of\r
  11  * the Software, and to permit persons to whom the Software is furnished to do so,\r
  12  * subject to the following conditions:\r
  13  *\r
  14  * The above copyright notice and this permission notice shall be included in all\r
  15  * copies or substantial portions of the Software.\r
  16  *\r
  17  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\r
  18  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS\r
  19  * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR\r
  20  * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER\r
  21  * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN\r
  22  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\r
  23  *\r
  24  * https://www.FreeRTOS.org\r
  25  * https://github.com/FreeRTOS\r
  26  *\r
  27  */\r
  28 \r
  29 \r
  30 #include <stdlib.h>\r
  31 \r
  32 /* Defining MPU_WRAPPERS_INCLUDED_FROM_API_FILE prevents task.h from redefining\r
  33  * all the API functions to use the MPU wrappers.  That should only be done when\r
  34  * task.h is included from an application file. */\r
  35 #define MPU_WRAPPERS_INCLUDED_FROM_API_FILE\r
  36 \r
  37 #include "FreeRTOS.h"\r
  38 #include "list.h"\r
  39 \r
  40 /* Lint e9021, e961 and e750 are suppressed as a MISRA exception justified\r
  41  * because the MPU ports require MPU_WRAPPERS_INCLUDED_FROM_API_FILE to be\r
  42  * defined for the header files above, but not in this file, in order to\r
  43  * generate the correct privileged Vs unprivileged linkage and placement. */\r
  44 #undef MPU_WRAPPERS_INCLUDED_FROM_API_FILE /*lint !e961 !e750 !e9021. */\r
  45 \r
  46 /*-----------------------------------------------------------\r
  47 * PUBLIC LIST API documented in list.h\r
  48 *----------------------------------------------------------*/\r
  49 \r
  50 void vListInitialise( List_t * const pxList )\r
  51 {\r
  52     /* The list structure contains a list item which is used to mark the\r
  53      * end of the list.  To initialise the list the list end is inserted\r
  54      * as the only list entry. */\r
  55     pxList->pxIndex = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. */\r
  56 \r
  57     /* The list end value is the highest possible value in the list to\r
  58      * ensure it remains at the end of the list. */\r
  59     pxList->xListEnd.xItemValue = portMAX_DELAY;\r
  60 \r
  61     /* The list end next and previous pointers point to itself so we know\r
  62      * when the list is empty. */\r
  63     pxList->xListEnd.pxNext = ( ListItem_t * ) &( pxList->xListEnd );     /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. */\r
  64     pxList->xListEnd.pxPrevious = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. */\r
  65 \r
  66     pxList->uxNumberOfItems = ( UBaseType_t ) 0U;\r
  67 \r
  68     /* Write known values into the list if\r
  69      * configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES is set to 1. */\r
  70     listSET_LIST_INTEGRITY_CHECK_1_VALUE( pxList );\r
  71     listSET_LIST_INTEGRITY_CHECK_2_VALUE( pxList );\r
  72 }\r
  73 /*-----------------------------------------------------------*/\r
  74 \r
  75 void vListInitialiseItem( ListItem_t * const pxItem )\r
  76 {\r
  77     /* Make sure the list item is not recorded as being on a list. */\r
  78     pxItem->pxContainer = NULL;\r
  79 \r
  80     /* Write known values into the list item if\r
  81      * configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES is set to 1. */\r
  82     listSET_FIRST_LIST_ITEM_INTEGRITY_CHECK_VALUE( pxItem );\r
  83     listSET_SECOND_LIST_ITEM_INTEGRITY_CHECK_VALUE( pxItem );\r
  84 }\r
  85 /*-----------------------------------------------------------*/\r
  86 \r
  87 void vListInsertEnd( List_t * const pxList,\r
  88                      ListItem_t * const pxNewListItem )\r
  89 {\r
  90     ListItem_t * const pxIndex = pxList->pxIndex;\r
  91 \r
  92     /* Only effective when configASSERT() is also defined, these tests may catch\r
  93      * the list data structures being overwritten in memory.  They will not catch\r
  94      * data errors caused by incorrect configuration or use of FreeRTOS. */\r
  95     listTEST_LIST_INTEGRITY( pxList );\r
  96     listTEST_LIST_ITEM_INTEGRITY( pxNewListItem );\r
  97 \r
  98     /* Insert a new list item into pxList, but rather than sort the list,\r
  99      * makes the new list item the last item to be removed by a call to\r
 100      * listGET_OWNER_OF_NEXT_ENTRY(). */\r
 101     pxNewListItem->pxNext = pxIndex;\r
 102     pxNewListItem->pxPrevious = pxIndex->pxPrevious;\r
 103 \r
 104     /* Only used during decision coverage testing. */\r
 105     mtCOVERAGE_TEST_DELAY();\r
 106 \r
 107     pxIndex->pxPrevious->pxNext = pxNewListItem;\r
 108     pxIndex->pxPrevious = pxNewListItem;\r
 109 \r
 110     /* Remember which list the item is in. */\r
 111     pxNewListItem->pxContainer = pxList;\r
 112 \r
 113     ( pxList->uxNumberOfItems )++;\r
 114 }\r
 115 /*-----------------------------------------------------------*/\r
 116 \r
 117 void vListInsert( List_t * const pxList,\r
 118                   ListItem_t * const pxNewListItem )\r
 119 {\r
 120     ListItem_t * pxIterator;\r
 121     const TickType_t xValueOfInsertion = pxNewListItem->xItemValue;\r
 122 \r
 123     /* Only effective when configASSERT() is also defined, these tests may catch\r
 124      * the list data structures being overwritten in memory.  They will not catch\r
 125      * data errors caused by incorrect configuration or use of FreeRTOS. */\r
 126     listTEST_LIST_INTEGRITY( pxList );\r
 127     listTEST_LIST_ITEM_INTEGRITY( pxNewListItem );\r
 128 \r
 129     /* Insert the new list item into the list, sorted in xItemValue order.\r
 130      *\r
 131      * If the list already contains a list item with the same item value then the\r
 132      * new list item should be placed after it.  This ensures that TCBs which are\r
 133      * stored in ready lists (all of which have the same xItemValue value) get a\r
 134      * share of the CPU.  However, if the xItemValue is the same as the back marker\r
 135      * the iteration loop below will not end.  Therefore the value is checked\r
 136      * first, and the algorithm slightly modified if necessary. */\r
 137     if( xValueOfInsertion == portMAX_DELAY )\r
 138     {\r
 139         pxIterator = pxList->xListEnd.pxPrevious;\r
 140     }\r
 141     else\r
 142     {\r
 143         /* *** NOTE ***********************************************************\r
 144         *  If you find your application is crashing here then likely causes are\r
 145         *  listed below.  In addition see https://www.FreeRTOS.org/FAQHelp.html for\r
 146         *  more tips, and ensure configASSERT() is defined!\r
 147         *  https://www.FreeRTOS.org/a00110.html#configASSERT\r
 148         *\r
 149         *   1) Stack overflow -\r
 150         *      see https://www.FreeRTOS.org/Stacks-and-stack-overflow-checking.html\r
 151         *   2) Incorrect interrupt priority assignment, especially on Cortex-M\r
 152         *      parts where numerically high priority values denote low actual\r
 153         *      interrupt priorities, which can seem counter intuitive.  See\r
 154         *      https://www.FreeRTOS.org/RTOS-Cortex-M3-M4.html and the definition\r
 155         *      of configMAX_SYSCALL_INTERRUPT_PRIORITY on\r
 156         *      https://www.FreeRTOS.org/a00110.html\r
 157         *   3) Calling an API function from within a critical section or when\r
 158         *      the scheduler is suspended, or calling an API function that does\r
 159         *      not end in "FromISR" from an interrupt.\r
 160         *   4) Using a queue or semaphore before it has been initialised or\r
 161         *      before the scheduler has been started (are interrupts firing\r
 162         *      before vTaskStartScheduler() has been called?).\r
 163         *   5) If the FreeRTOS port supports interrupt nesting then ensure that\r
 164         *      the priority of the tick interrupt is at or below\r
 165         *      configMAX_SYSCALL_INTERRUPT_PRIORITY.\r
 166         **********************************************************************/\r
 167 \r
 168         for( pxIterator = ( ListItem_t * ) &( pxList->xListEnd ); pxIterator->pxNext->xItemValue <= xValueOfInsertion; pxIterator = pxIterator->pxNext ) /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. *//*lint !e440 The iterator moves to a different value, not xValueOfInsertion. */\r
 169         {\r
 170             /* There is nothing to do here, just iterating to the wanted\r
 171              * insertion position. */\r
 172         }\r
 173     }\r
 174 \r
 175     pxNewListItem->pxNext = pxIterator->pxNext;\r
 176     pxNewListItem->pxNext->pxPrevious = pxNewListItem;\r
 177     pxNewListItem->pxPrevious = pxIterator;\r
 178     pxIterator->pxNext = pxNewListItem;\r
 179 \r
 180     /* Remember which list the item is in.  This allows fast removal of the\r
 181      * item later. */\r
 182     pxNewListItem->pxContainer = pxList;\r
 183 \r
 184     ( pxList->uxNumberOfItems )++;\r
 185 }\r
 186 /*-----------------------------------------------------------*/\r
 187 \r
 188 UBaseType_t uxListRemove( ListItem_t * const pxItemToRemove )\r
 189 {\r
 190 /* The list item knows which list it is in.  Obtain the list from the list\r
 191  * item. */\r
 192     List_t * const pxList = pxItemToRemove->pxContainer;\r
 193 \r
 194     pxItemToRemove->pxNext->pxPrevious = pxItemToRemove->pxPrevious;\r
 195     pxItemToRemove->pxPrevious->pxNext = pxItemToRemove->pxNext;\r
 196 \r
 197     /* Only used during decision coverage testing. */\r
 198     mtCOVERAGE_TEST_DELAY();\r
 199 \r
 200     /* Make sure the index is left pointing to a valid item. */\r
 201     if( pxList->pxIndex == pxItemToRemove )\r
 202     {\r
 203         pxList->pxIndex = pxItemToRemove->pxPrevious;\r
 204     }\r
 205     else\r
 206     {\r
 207         mtCOVERAGE_TEST_MARKER();\r
 208     }\r
 209 \r
 210     pxItemToRemove->pxContainer = NULL;\r
 211     ( pxList->uxNumberOfItems )--;\r
 212 \r
 213     return pxList->uxNumberOfItems;\r
 214 }\r
 215 /*-----------------------------------------------------------*/\r