]> git.sur5r.net Git - freertos/blobdiff - FreeRTOS/Source/include/list.h
Add additional critical section to the default tickless implementations.
[freertos] / FreeRTOS / Source / include / list.h
index f95ecc800231a553bad74820cdff54632b5419ef..7511be3b598d70cbec8bad24e611c9723c146d37 100644 (file)
@@ -1,48 +1,37 @@
 /*\r
-    FreeRTOS V7.4.1 - Copyright (C) 2013 Real Time Engineers Ltd.\r
+    FreeRTOS V7.5.2 - Copyright (C) 2013 Real Time Engineers Ltd.\r
 \r
-    FEATURES AND PORTS ARE ADDED TO FREERTOS ALL THE TIME.  PLEASE VISIT\r
-    http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.\r
+    VISIT http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.\r
 \r
     ***************************************************************************\r
      *                                                                       *\r
-     *    FreeRTOS tutorial books are available in pdf and paperback.        *\r
-     *    Complete, revised, and edited pdf reference manuals are also       *\r
-     *    available.                                                         *\r
+     *    FreeRTOS provides completely free yet professionally developed,    *\r
+     *    robust, strictly quality controlled, supported, and cross          *\r
+     *    platform software that has become a de facto standard.             *\r
      *                                                                       *\r
-     *    Purchasing FreeRTOS documentation will not only help you, by       *\r
-     *    ensuring you get running as quickly as possible and with an        *\r
-     *    in-depth knowledge of how to use FreeRTOS, it will also help       *\r
-     *    the FreeRTOS project to continue with its mission of providing     *\r
-     *    professional grade, cross platform, de facto standard solutions    *\r
-     *    for microcontrollers - completely free of charge!                  *\r
+     *    Help yourself get started quickly and support the FreeRTOS         *\r
+     *    project by purchasing a FreeRTOS tutorial book, reference          *\r
+     *    manual, or both from: http://www.FreeRTOS.org/Documentation        *\r
      *                                                                       *\r
-     *    >>> See http://www.FreeRTOS.org/Documentation for details. <<<     *\r
-     *                                                                       *\r
-     *    Thank you for using FreeRTOS, and thank you for your support!      *\r
+     *    Thank you!                                                         *\r
      *                                                                       *\r
     ***************************************************************************\r
 \r
-\r
     This file is part of the FreeRTOS distribution.\r
 \r
     FreeRTOS is free software; you can redistribute it and/or modify it under\r
     the terms of the GNU General Public License (version 2) as published by the\r
-    Free Software Foundation AND MODIFIED BY the FreeRTOS exception.\r
+    Free Software Foundation >>!AND MODIFIED BY!<< the FreeRTOS exception.\r
 \r
-    >>>>>>NOTE<<<<<< The modification to the GPL is included to allow you to\r
-    distribute a combined work that includes FreeRTOS without being obliged to\r
-    provide the source code for proprietary components outside of the FreeRTOS\r
-    kernel.\r
+    >>! NOTE: The modification to the GPL is included to allow you to distribute\r
+    >>! a combined work that includes FreeRTOS without being obliged to provide\r
+    >>! the source code for proprietary components outside of the FreeRTOS\r
+    >>! kernel.\r
 \r
     FreeRTOS is distributed in the hope that it will be useful, but WITHOUT ANY\r
     WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS\r
-    FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more\r
-    details. You should have received a copy of the GNU General Public License\r
-    and the FreeRTOS license exception along with FreeRTOS; if not it can be\r
-    viewed here: http://www.freertos.org/a00114.html and also obtained by\r
-    writing to Real Time Engineers Ltd., contact details for whom are available\r
-    on the FreeRTOS WEB site.\r
+    FOR A PARTICULAR PURPOSE.  Full license text is available from the following\r
+    link: http://www.freertos.org/a00114.html\r
 \r
     1 tab == 4 spaces!\r
 \r
      *                                                                       *\r
     ***************************************************************************\r
 \r
-\r
-    http://www.FreeRTOS.org - Documentation, books, training, latest versions, \r
+    http://www.FreeRTOS.org - Documentation, books, training, latest versions,\r
     license and Real Time Engineers Ltd. contact details.\r
 \r
     http://www.FreeRTOS.org/plus - A selection of FreeRTOS ecosystem products,\r
-    including FreeRTOS+Trace - an indispensable productivity tool, and our new\r
-    fully thread aware and reentrant UDP/IP stack.\r
-\r
-    http://www.OpenRTOS.com - Real Time Engineers ltd license FreeRTOS to High \r
-    Integrity Systems, who sell the code with commercial support, \r
-    indemnification and middleware, under the OpenRTOS brand.\r
-    \r
-    http://www.SafeRTOS.com - High Integrity Systems also provide a safety \r
-    engineered and independently SIL3 certified version for use in safety and \r
+    including FreeRTOS+Trace - an indispensable productivity tool, a DOS\r
+    compatible FAT file system, and our tiny thread aware UDP/IP stack.\r
+\r
+    http://www.OpenRTOS.com - Real Time Engineers ltd license FreeRTOS to High\r
+    Integrity Systems to sell under the OpenRTOS brand.  Low cost OpenRTOS\r
+    licenses offer ticketed support, indemnification and middleware.\r
+\r
+    http://www.SafeRTOS.com - High Integrity Systems also provide a safety\r
+    engineered and independently SIL3 certified version for use in safety and\r
     mission critical applications that require provable dependability.\r
+\r
+    1 tab == 4 spaces!\r
 */\r
 \r
 /*\r
 #ifndef LIST_H\r
 #define LIST_H\r
 \r
+/*\r
+ * The list structure members are modified from within interrupts, and therefore\r
+ * by rights should be declared volatile.  However, they are only modified in a\r
+ * functionally atomic way (within critical sections of with the scheduler\r
+ * suspended) and are either passed by reference into a function or indexed via\r
+ * a volatile variable.  Therefore, in all use cases tested so far, the volatile\r
+ * qualifier can be omitted in order to provide a moderate performance\r
+ * improvement without adversely affecting functional behaviour.  The assembly\r
+ * instructions generated by the IAR, ARM and GCC compilers when the respective\r
+ * compiler's options were set for maximum optimisation has been inspected and\r
+ * deemed to be as intended.  That said, as compiler technology advances, and\r
+ * especially if aggressive cross module optimisation is used (a use case that\r
+ * has not been exercised to any great extend) then it is feasible that the\r
+ * volatile qualifier will be needed for correct optimisation.  It is expected\r
+ * that a compiler removing essential code because, without the volatile\r
+ * qualifier on the list structure members and with aggressive cross module\r
+ * optimisation, the compiler deemed the code unnecessary will result in\r
+ * complete and obvious failure of the scheduler.  If this is ever experienced\r
+ * then the volatile qualifier can be inserted in the relevant places within the\r
+ * list structures by simply defining configLIST_VOLATILE to volatile in\r
+ * FreeRTOSConfig.h (as per the example at the bottom of this comment block).  \r
+ * If configLIST_VOLATILE is not defined then the preprocessor directives below \r
+ * will simply #define configLIST_VOLATILE away completely.\r
+ *\r
+ * To use volatile list structure members then add the following line to\r
+ * FreeRTOSConfig.h (without the quotes):\r
+ * "#define configLIST_VOLATILE volatile"\r
+ */\r
+#ifndef configLIST_VOLATILE\r
+       #define configLIST_VOLATILE\r
+#endif /* configSUPPORT_CROSS_MODULE_OPTIMISATION */\r
+\r
 #ifdef __cplusplus\r
 extern "C" {\r
 #endif\r
@@ -112,19 +134,19 @@ extern "C" {
  */\r
 struct xLIST_ITEM\r
 {\r
-       portTickType xItemValue;                                /*< The value being listed.  In most cases this is used to sort the list in descending order. */\r
-       volatile struct xLIST_ITEM * pxNext;    /*< Pointer to the next xListItem in the list. */\r
-       volatile struct xLIST_ITEM * pxPrevious;/*< Pointer to the previous xListItem in the list. */\r
-       void * pvOwner;                                                 /*< Pointer to the object (normally a TCB) that contains the list item.  There is therefore a two way link between the object containing the list item and the list item itself. */\r
-       void * pvContainer;                                             /*< Pointer to the list in which this list item is placed (if any). */\r
+       configLIST_VOLATILE portTickType xItemValue;    /*< The value being listed.  In most cases this is used to sort the list in descending order. */\r
+       struct xLIST_ITEM * configLIST_VOLATILE pxNext; /*< Pointer to the next xListItem in the list. */\r
+       struct xLIST_ITEM * configLIST_VOLATILE pxPrevious;/*< Pointer to the previous xListItem in the list. */\r
+       void * pvOwner;                                                                 /*< Pointer to the object (normally a TCB) that contains the list item.  There is therefore a two way link between the object containing the list item and the list item itself. */\r
+       void * configLIST_VOLATILE pvContainer;                 /*< Pointer to the list in which this list item is placed (if any). */\r
 };\r
-typedef struct xLIST_ITEM xListItem;           /* For some reason lint wants this as two separate definitions. */\r
+typedef struct xLIST_ITEM xListItem;                           /* For some reason lint wants this as two separate definitions. */\r
 \r
 struct xMINI_LIST_ITEM\r
 {\r
-       portTickType xItemValue;\r
-       volatile struct xLIST_ITEM *pxNext;\r
-       volatile struct xLIST_ITEM *pxPrevious;\r
+       configLIST_VOLATILE portTickType xItemValue;\r
+       struct xLIST_ITEM * configLIST_VOLATILE pxNext;\r
+       struct xLIST_ITEM * configLIST_VOLATILE pxPrevious;\r
 };\r
 typedef struct xMINI_LIST_ITEM xMiniListItem;\r
 \r
@@ -133,9 +155,9 @@ typedef struct xMINI_LIST_ITEM xMiniListItem;
  */\r
 typedef struct xLIST\r
 {\r
-       volatile unsigned portBASE_TYPE uxNumberOfItems;\r
-       volatile xListItem * pxIndex;                   /*< Used to walk through the list.  Points to the last item returned by a call to pvListGetOwnerOfNextEntry (). */\r
-       volatile xMiniListItem xListEnd;                /*< List item that contains the maximum possible item value meaning it is always at the end of the list and is therefore used as a marker. */\r
+       configLIST_VOLATILE unsigned portBASE_TYPE uxNumberOfItems;\r
+       xListItem * configLIST_VOLATILE pxIndex;                /*< Used to walk through the list.  Points to the last item returned by a call to pvListGetOwnerOfNextEntry (). */\r
+       xMiniListItem xListEnd;                                                 /*< List item that contains the maximum possible item value meaning it is always at the end of the list and is therefore used as a marker. */\r
 } xList;\r
 \r
 /*\r
@@ -145,7 +167,7 @@ typedef struct xLIST
  * \page listSET_LIST_ITEM_OWNER listSET_LIST_ITEM_OWNER\r
  * \ingroup LinkedList\r
  */\r
-#define listSET_LIST_ITEM_OWNER( pxListItem, pxOwner )         ( pxListItem )->pvOwner = ( void * ) ( pxOwner )\r
+#define listSET_LIST_ITEM_OWNER( pxListItem, pxOwner )         ( ( pxListItem )->pvOwner = ( void * ) ( pxOwner ) )\r
 \r
 /*\r
  * Access macro to get the owner of a list item.  The owner of a list item\r
@@ -163,7 +185,7 @@ typedef struct xLIST
  * \page listSET_LIST_ITEM_VALUE listSET_LIST_ITEM_VALUE\r
  * \ingroup LinkedList\r
  */\r
-#define listSET_LIST_ITEM_VALUE( pxListItem, xValue )          ( pxListItem )->xItemValue = ( xValue )\r
+#define listSET_LIST_ITEM_VALUE( pxListItem, xValue )          ( ( pxListItem )->xItemValue = ( xValue ) )\r
 \r
 /*\r
  * Access macro to retrieve the value of the list item.  The value can\r
@@ -191,7 +213,7 @@ typedef struct xLIST
  * \page listLIST_IS_EMPTY listLIST_IS_EMPTY\r
  * \ingroup LinkedList\r
  */\r
-#define listLIST_IS_EMPTY( pxList )                            ( ( pxList )->uxNumberOfItems == ( unsigned portBASE_TYPE ) 0 )\r
+#define listLIST_IS_EMPTY( pxList )                            ( ( portBASE_TYPE ) ( ( pxList )->uxNumberOfItems == ( unsigned portBASE_TYPE ) 0 ) )\r
 \r
 /*\r
  * Access macro to return the number of items in the list.\r
@@ -217,17 +239,17 @@ typedef struct xLIST
  * \page listGET_OWNER_OF_NEXT_ENTRY listGET_OWNER_OF_NEXT_ENTRY\r
  * \ingroup LinkedList\r
  */\r
-#define listGET_OWNER_OF_NEXT_ENTRY( pxTCB, pxList )                                                                   \\r
-{                                                                                                                                                                              \\r
-xList * const pxConstList = ( pxList );                                                                                                        \\r
-       /* Increment the index to the next item and return the item, ensuring */                        \\r
-       /* we don't return the marker used at the end of the list.  */                                          \\r
-       ( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                                            \\r
-       if( ( pxConstList )->pxIndex == ( xListItem * ) &( ( pxConstList )->xListEnd ) )        \\r
-       {                                                                                                                                                                       \\r
-               ( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                                    \\r
-       }                                                                                                                                                                       \\r
-       ( pxTCB ) = ( pxConstList )->pxIndex->pvOwner;                                                                          \\r
+#define listGET_OWNER_OF_NEXT_ENTRY( pxTCB, pxList )                                                                           \\r
+{                                                                                                                                                                                      \\r
+xList * const pxConstList = ( pxList );                                                                                                                \\r
+       /* Increment the index to the next item and return the item, ensuring */                                \\r
+       /* we don't return the marker used at the end of the list.  */                                                  \\r
+       ( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                                                    \\r
+       if( ( void * ) ( pxConstList )->pxIndex == ( void * ) &( ( pxConstList )->xListEnd ) )  \\r
+       {                                                                                                                                                                               \\r
+               ( pxConstList )->pxIndex = ( pxConstList )->pxIndex->pxNext;                                            \\r
+       }                                                                                                                                                                               \\r
+       ( pxTCB ) = ( pxConstList )->pxIndex->pvOwner;                                                                                  \\r
 }\r
 \r
 \r
@@ -259,7 +281,7 @@ xList * const pxConstList = ( pxList );                                                                                                     \
  * @return pdTRUE is the list item is in the list, otherwise pdFALSE.\r
  * pointer against\r
  */\r
-#define listIS_CONTAINED_WITHIN( pxList, pxListItem ) ( ( pxListItem )->pvContainer == ( void * ) ( pxList ) )\r
+#define listIS_CONTAINED_WITHIN( pxList, pxListItem ) ( ( portBASE_TYPE ) ( ( pxListItem )->pvContainer == ( void * ) ( pxList ) ) )\r
 \r
 /*\r
  * Return the list a list item is contained within (referenced from).\r
@@ -286,7 +308,7 @@ xList * const pxConstList = ( pxList );                                                                                                     \
  * \page vListInitialise vListInitialise\r
  * \ingroup LinkedList\r
  */\r
-void vListInitialise( xList *pxList );\r
+void vListInitialise( xList * const pxList );\r
 \r
 /*\r
  * Must be called before a list item is used.  This sets the list container to\r
@@ -297,7 +319,7 @@ void vListInitialise( xList *pxList );
  * \page vListInitialiseItem vListInitialiseItem\r
  * \ingroup LinkedList\r
  */\r
-void vListInitialiseItem( xListItem *pxItem );\r
+void vListInitialiseItem( xListItem * const pxItem );\r
 \r
 /*\r
  * Insert a list item into a list.  The item will be inserted into the list in\r
@@ -310,7 +332,7 @@ void vListInitialiseItem( xListItem *pxItem );
  * \page vListInsert vListInsert\r
  * \ingroup LinkedList\r
  */\r
-void vListInsert( xList *pxList, xListItem *pxNewListItem );\r
+void vListInsert( xList * const pxList, xListItem * const pxNewListItem );\r
 \r
 /*\r
  * Insert a list item into a list.  The item will be inserted in a position\r
@@ -331,7 +353,7 @@ void vListInsert( xList *pxList, xListItem *pxNewListItem );
  * \page vListInsertEnd vListInsertEnd\r
  * \ingroup LinkedList\r
  */\r
-void vListInsertEnd( xList *pxList, xListItem *pxNewListItem );\r
+void vListInsertEnd( xList * const pxList, xListItem * const pxNewListItem );\r
 \r
 /*\r
  * Remove an item from a list.  The list item has a pointer to the list that\r
@@ -339,14 +361,14 @@ void vListInsertEnd( xList *pxList, xListItem *pxNewListItem );
  *\r
  * @param uxListRemove The item to be removed.  The item will remove itself from\r
  * the list pointed to by it's pxContainer parameter.\r
- * \r
+ *\r
  * @return The number of items that remain in the list after the list item has\r
  * been removed.\r
  *\r
  * \page uxListRemove uxListRemove\r
  * \ingroup LinkedList\r
  */\r
-unsigned portBASE_TYPE uxListRemove( xListItem *pxItemToRemove );\r
+unsigned portBASE_TYPE uxListRemove( xListItem * const pxItemToRemove );\r
 \r
 #ifdef __cplusplus\r
 }\r