Kenji Arai
Please see my note book http://mbed.org/users/kenjiArai/notebook/freertos-on-mbed-board-with-mbed-cloud-ide--never-/
This is too old.
Below is another FreeRTOS on mbed.
http://developer.mbed.org/users/rgrover1/code/FreeRTOS/
I don't know it works well or not.
I have not evaluated it.
FreeRTOS/Source/include/StackMacros.h@0:d4960fcea8ff, 2011-01-01 (annotated)
- Committer:
- kenjiArai
- Date:
- Sat Jan 01 11:17:45 2011 +0000
- Revision:
- 0:d4960fcea8ff
Who changed what in which revision?
| User | Revision | Line number | New contents of line |
|---|---|---|---|
| kenjiArai | 0:d4960fcea8ff | 1 | /* |
| kenjiArai | 0:d4960fcea8ff | 2 | FreeRTOS V6.0.3 - Copyright (C) 2010 Real Time Engineers Ltd. |
| kenjiArai | 0:d4960fcea8ff | 3 | |
| kenjiArai | 0:d4960fcea8ff | 4 | *************************************************************************** |
| kenjiArai | 0:d4960fcea8ff | 5 | * * |
| kenjiArai | 0:d4960fcea8ff | 6 | * If you are: * |
| kenjiArai | 0:d4960fcea8ff | 7 | * * |
| kenjiArai | 0:d4960fcea8ff | 8 | * + New to FreeRTOS, * |
| kenjiArai | 0:d4960fcea8ff | 9 | * + Wanting to learn FreeRTOS or multitasking in general quickly * |
| kenjiArai | 0:d4960fcea8ff | 10 | * + Looking for basic training, * |
| kenjiArai | 0:d4960fcea8ff | 11 | * + Wanting to improve your FreeRTOS skills and productivity * |
| kenjiArai | 0:d4960fcea8ff | 12 | * * |
| kenjiArai | 0:d4960fcea8ff | 13 | * then take a look at the FreeRTOS eBook * |
| kenjiArai | 0:d4960fcea8ff | 14 | * * |
| kenjiArai | 0:d4960fcea8ff | 15 | * "Using the FreeRTOS Real Time Kernel - a Practical Guide" * |
| kenjiArai | 0:d4960fcea8ff | 16 | * http://www.FreeRTOS.org/Documentation * |
| kenjiArai | 0:d4960fcea8ff | 17 | * * |
| kenjiArai | 0:d4960fcea8ff | 18 | * A pdf reference manual is also available. Both are usually delivered * |
| kenjiArai | 0:d4960fcea8ff | 19 | * to your inbox within 20 minutes to two hours when purchased between 8am * |
| kenjiArai | 0:d4960fcea8ff | 20 | * and 8pm GMT (although please allow up to 24 hours in case of * |
| kenjiArai | 0:d4960fcea8ff | 21 | * exceptional circumstances). Thank you for your support! * |
| kenjiArai | 0:d4960fcea8ff | 22 | * * |
| kenjiArai | 0:d4960fcea8ff | 23 | *************************************************************************** |
| kenjiArai | 0:d4960fcea8ff | 24 | |
| kenjiArai | 0:d4960fcea8ff | 25 | This file is part of the FreeRTOS distribution. |
| kenjiArai | 0:d4960fcea8ff | 26 | |
| kenjiArai | 0:d4960fcea8ff | 27 | FreeRTOS is free software; you can redistribute it and/or modify it under |
| kenjiArai | 0:d4960fcea8ff | 28 | the terms of the GNU General Public License (version 2) as published by the |
| kenjiArai | 0:d4960fcea8ff | 29 | Free Software Foundation AND MODIFIED BY the FreeRTOS exception. |
| kenjiArai | 0:d4960fcea8ff | 30 | ***NOTE*** The exception to the GPL is included to allow you to distribute |
| kenjiArai | 0:d4960fcea8ff | 31 | a combined work that includes FreeRTOS without being obliged to provide the |
| kenjiArai | 0:d4960fcea8ff | 32 | source code for proprietary components outside of the FreeRTOS kernel. |
| kenjiArai | 0:d4960fcea8ff | 33 | FreeRTOS is distributed in the hope that it will be useful, but WITHOUT |
| kenjiArai | 0:d4960fcea8ff | 34 | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| kenjiArai | 0:d4960fcea8ff | 35 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
| kenjiArai | 0:d4960fcea8ff | 36 | more details. You should have received a copy of the GNU General Public |
| kenjiArai | 0:d4960fcea8ff | 37 | License and the FreeRTOS license exception along with FreeRTOS; if not it |
| kenjiArai | 0:d4960fcea8ff | 38 | can be viewed here: http://www.freertos.org/a00114.html and also obtained |
| kenjiArai | 0:d4960fcea8ff | 39 | by writing to Richard Barry, contact details for whom are available on the |
| kenjiArai | 0:d4960fcea8ff | 40 | FreeRTOS WEB site. |
| kenjiArai | 0:d4960fcea8ff | 41 | |
| kenjiArai | 0:d4960fcea8ff | 42 | 1 tab == 4 spaces! |
| kenjiArai | 0:d4960fcea8ff | 43 | |
| kenjiArai | 0:d4960fcea8ff | 44 | http://www.FreeRTOS.org - Documentation, latest information, license and |
| kenjiArai | 0:d4960fcea8ff | 45 | contact details. |
| kenjiArai | 0:d4960fcea8ff | 46 | |
| kenjiArai | 0:d4960fcea8ff | 47 | http://www.SafeRTOS.com - A version that is certified for use in safety |
| kenjiArai | 0:d4960fcea8ff | 48 | critical systems. |
| kenjiArai | 0:d4960fcea8ff | 49 | |
| kenjiArai | 0:d4960fcea8ff | 50 | http://www.OpenRTOS.com - Commercial support, development, porting, |
| kenjiArai | 0:d4960fcea8ff | 51 | licensing and training services. |
| kenjiArai | 0:d4960fcea8ff | 52 | */ |
| kenjiArai | 0:d4960fcea8ff | 53 | |
| kenjiArai | 0:d4960fcea8ff | 54 | #ifndef STACK_MACROS_H |
| kenjiArai | 0:d4960fcea8ff | 55 | #define STACK_MACROS_H |
| kenjiArai | 0:d4960fcea8ff | 56 | |
| kenjiArai | 0:d4960fcea8ff | 57 | /* |
| kenjiArai | 0:d4960fcea8ff | 58 | * Call the stack overflow hook function if the stack of the task being swapped |
| kenjiArai | 0:d4960fcea8ff | 59 | * out is currently overflowed, or looks like it might have overflowed in the |
| kenjiArai | 0:d4960fcea8ff | 60 | * past. |
| kenjiArai | 0:d4960fcea8ff | 61 | * |
| kenjiArai | 0:d4960fcea8ff | 62 | * Setting configCHECK_FOR_STACK_OVERFLOW to 1 will cause the macro to check |
| kenjiArai | 0:d4960fcea8ff | 63 | * the current stack state only - comparing the current top of stack value to |
| kenjiArai | 0:d4960fcea8ff | 64 | * the stack limit. Setting configCHECK_FOR_STACK_OVERFLOW to greater than 1 |
| kenjiArai | 0:d4960fcea8ff | 65 | * will also cause the last few stack bytes to be checked to ensure the value |
| kenjiArai | 0:d4960fcea8ff | 66 | * to which the bytes were set when the task was created have not been |
| kenjiArai | 0:d4960fcea8ff | 67 | * overwritten. Note this second test does not guarantee that an overflowed |
| kenjiArai | 0:d4960fcea8ff | 68 | * stack will always be recognised. |
| kenjiArai | 0:d4960fcea8ff | 69 | */ |
| kenjiArai | 0:d4960fcea8ff | 70 | |
| kenjiArai | 0:d4960fcea8ff | 71 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 72 | |
| kenjiArai | 0:d4960fcea8ff | 73 | #if( configCHECK_FOR_STACK_OVERFLOW == 0 ) |
| kenjiArai | 0:d4960fcea8ff | 74 | |
| kenjiArai | 0:d4960fcea8ff | 75 | /* FreeRTOSConfig.h is not set to check for stack overflows. */ |
| kenjiArai | 0:d4960fcea8ff | 76 | #define taskFIRST_CHECK_FOR_STACK_OVERFLOW() |
| kenjiArai | 0:d4960fcea8ff | 77 | #define taskSECOND_CHECK_FOR_STACK_OVERFLOW() |
| kenjiArai | 0:d4960fcea8ff | 78 | |
| kenjiArai | 0:d4960fcea8ff | 79 | #endif /* configCHECK_FOR_STACK_OVERFLOW == 0 */ |
| kenjiArai | 0:d4960fcea8ff | 80 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 81 | |
| kenjiArai | 0:d4960fcea8ff | 82 | #if( configCHECK_FOR_STACK_OVERFLOW == 1 ) |
| kenjiArai | 0:d4960fcea8ff | 83 | |
| kenjiArai | 0:d4960fcea8ff | 84 | /* FreeRTOSConfig.h is only set to use the first method of |
| kenjiArai | 0:d4960fcea8ff | 85 | overflow checking. */ |
| kenjiArai | 0:d4960fcea8ff | 86 | #define taskSECOND_CHECK_FOR_STACK_OVERFLOW() |
| kenjiArai | 0:d4960fcea8ff | 87 | |
| kenjiArai | 0:d4960fcea8ff | 88 | #endif |
| kenjiArai | 0:d4960fcea8ff | 89 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 90 | |
| kenjiArai | 0:d4960fcea8ff | 91 | #if( ( configCHECK_FOR_STACK_OVERFLOW > 0 ) && ( portSTACK_GROWTH < 0 ) ) |
| kenjiArai | 0:d4960fcea8ff | 92 | /* Only the current stack state is to be checked. */ |
| kenjiArai | 0:d4960fcea8ff | 93 | // Modified by Kenji Arai / JH1PJL, October 31st,2010 |
| kenjiArai | 0:d4960fcea8ff | 94 | #define taskFIRST_CHECK_FOR_STACK_OVERFLOW() \ |
| kenjiArai | 0:d4960fcea8ff | 95 | { \ |
| kenjiArai | 0:d4960fcea8ff | 96 | extern void vApplicationStackOverflowHook( xTaskHandle *pxTask, signed char *pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 97 | \ |
| kenjiArai | 0:d4960fcea8ff | 98 | /* Is the currently saved stack pointer within the stack limit? */ \ |
| kenjiArai | 0:d4960fcea8ff | 99 | if( pxCurrentTCB->pxTopOfStack <= pxCurrentTCB->pxStack ) \ |
| kenjiArai | 0:d4960fcea8ff | 100 | { \ |
| kenjiArai | 0:d4960fcea8ff | 101 | vApplicationStackOverflowHook( ( xTaskHandle *) pxCurrentTCB, pxCurrentTCB->pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 102 | } \ |
| kenjiArai | 0:d4960fcea8ff | 103 | } |
| kenjiArai | 0:d4960fcea8ff | 104 | #endif /* configCHECK_FOR_STACK_OVERFLOW > 0 */ |
| kenjiArai | 0:d4960fcea8ff | 105 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 106 | |
| kenjiArai | 0:d4960fcea8ff | 107 | #if( ( configCHECK_FOR_STACK_OVERFLOW > 0 ) && ( portSTACK_GROWTH > 0 ) ) |
| kenjiArai | 0:d4960fcea8ff | 108 | // Modified by Kenji Arai / JH1PJL, October 31st,2010 |
| kenjiArai | 0:d4960fcea8ff | 109 | /* Only the current stack state is to be checked. */ |
| kenjiArai | 0:d4960fcea8ff | 110 | #define taskFIRST_CHECK_FOR_STACK_OVERFLOW() \ |
| kenjiArai | 0:d4960fcea8ff | 111 | { \ |
| kenjiArai | 0:d4960fcea8ff | 112 | extern void vApplicationStackOverflowHook( xTaskHandle *pxTask, signed char *pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 113 | \ |
| kenjiArai | 0:d4960fcea8ff | 114 | /* Is the currently saved stack pointer within the stack limit? */ \ |
| kenjiArai | 0:d4960fcea8ff | 115 | if( pxCurrentTCB->pxTopOfStack >= pxCurrentTCB->pxEndOfStack ) \ |
| kenjiArai | 0:d4960fcea8ff | 116 | { \ |
| kenjiArai | 0:d4960fcea8ff | 117 | vApplicationStackOverflowHook( ( xTaskHandle *) pxCurrentTCB, pxCurrentTCB->pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 118 | } \ |
| kenjiArai | 0:d4960fcea8ff | 119 | } |
| kenjiArai | 0:d4960fcea8ff | 120 | |
| kenjiArai | 0:d4960fcea8ff | 121 | #endif /* configCHECK_FOR_STACK_OVERFLOW == 1 */ |
| kenjiArai | 0:d4960fcea8ff | 122 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 123 | |
| kenjiArai | 0:d4960fcea8ff | 124 | #if( ( configCHECK_FOR_STACK_OVERFLOW > 1 ) && ( portSTACK_GROWTH < 0 ) ) |
| kenjiArai | 0:d4960fcea8ff | 125 | // Modified by Kenji Arai / JH1PJL, October 31st,2010 |
| kenjiArai | 0:d4960fcea8ff | 126 | #define taskSECOND_CHECK_FOR_STACK_OVERFLOW() \ |
| kenjiArai | 0:d4960fcea8ff | 127 | { \ |
| kenjiArai | 0:d4960fcea8ff | 128 | extern void vApplicationStackOverflowHook( xTaskHandle *pxTask, signed char *pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 129 | static const unsigned char ucExpectedStackBytes[] = { tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 130 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 131 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 132 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 133 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE }; \ |
| kenjiArai | 0:d4960fcea8ff | 134 | \ |
| kenjiArai | 0:d4960fcea8ff | 135 | \ |
| kenjiArai | 0:d4960fcea8ff | 136 | /* Has the extremity of the task stack ever been written over? */ \ |
| kenjiArai | 0:d4960fcea8ff | 137 | if( memcmp( ( void * ) pxCurrentTCB->pxStack, ( void * ) ucExpectedStackBytes, sizeof( ucExpectedStackBytes ) ) != 0 ) \ |
| kenjiArai | 0:d4960fcea8ff | 138 | { \ |
| kenjiArai | 0:d4960fcea8ff | 139 | vApplicationStackOverflowHook( ( xTaskHandle *) pxCurrentTCB, pxCurrentTCB->pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 140 | } \ |
| kenjiArai | 0:d4960fcea8ff | 141 | } |
| kenjiArai | 0:d4960fcea8ff | 142 | |
| kenjiArai | 0:d4960fcea8ff | 143 | #endif /* #if( configCHECK_FOR_STACK_OVERFLOW > 1 ) */ |
| kenjiArai | 0:d4960fcea8ff | 144 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 145 | |
| kenjiArai | 0:d4960fcea8ff | 146 | #if( ( configCHECK_FOR_STACK_OVERFLOW > 1 ) && ( portSTACK_GROWTH > 0 ) ) |
| kenjiArai | 0:d4960fcea8ff | 147 | // Modified by Kenji Arai / JH1PJL, October 31st,2010 |
| kenjiArai | 0:d4960fcea8ff | 148 | #define taskSECOND_CHECK_FOR_STACK_OVERFLOW() \ |
| kenjiArai | 0:d4960fcea8ff | 149 | { \ |
| kenjiArai | 0:d4960fcea8ff | 150 | extern void vApplicationStackOverflowHook( xTaskHandle *pxTask, signed char *pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 151 | char *pcEndOfStack = ( char * ) pxCurrentTCB->pxEndOfStack; \ |
| kenjiArai | 0:d4960fcea8ff | 152 | static const unsigned char ucExpectedStackBytes[] = { tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 153 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 154 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 155 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, \ |
| kenjiArai | 0:d4960fcea8ff | 156 | tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE, tskSTACK_FILL_BYTE }; \ |
| kenjiArai | 0:d4960fcea8ff | 157 | \ |
| kenjiArai | 0:d4960fcea8ff | 158 | \ |
| kenjiArai | 0:d4960fcea8ff | 159 | pcEndOfStack -= sizeof( ucExpectedStackBytes ); \ |
| kenjiArai | 0:d4960fcea8ff | 160 | \ |
| kenjiArai | 0:d4960fcea8ff | 161 | /* Has the extremity of the task stack ever been written over? */ \ |
| kenjiArai | 0:d4960fcea8ff | 162 | if( memcmp( ( void * ) pcEndOfStack, ( void * ) ucExpectedStackBytes, sizeof( ucExpectedStackBytes ) ) != 0 ) \ |
| kenjiArai | 0:d4960fcea8ff | 163 | { \ |
| kenjiArai | 0:d4960fcea8ff | 164 | vApplicationStackOverflowHook( ( xTaskHandle *) pxCurrentTCB, pxCurrentTCB->pcTaskName ); \ |
| kenjiArai | 0:d4960fcea8ff | 165 | } \ |
| kenjiArai | 0:d4960fcea8ff | 166 | } |
| kenjiArai | 0:d4960fcea8ff | 167 | |
| kenjiArai | 0:d4960fcea8ff | 168 | #endif /* #if( configCHECK_FOR_STACK_OVERFLOW > 1 ) */ |
| kenjiArai | 0:d4960fcea8ff | 169 | /*-----------------------------------------------------------*/ |
| kenjiArai | 0:d4960fcea8ff | 170 | |
| kenjiArai | 0:d4960fcea8ff | 171 | #endif /* STACK_MACROS_H */ |
| kenjiArai | 0:d4960fcea8ff | 172 |