Стек задачи создается следующим образом (tasks.c):
Код
static tskTCB *prvAllocateTCBAndStack( unsigned portSHORT usStackDepth )
{
...
pxNewTCB->pxStack = ( portSTACK_TYPE * ) pvPortMalloc( ( ( size_t )}
...
}
signed portBASE_TYPE xTaskCreate( pdTASK_CODE pvTaskCode, const signed portCHAR * const pcName, unsigned portSHORT usStackDepth, void *pvParameters, unsigned portBASE_TYPE uxPriority, xTaskHandle *pxCreatedTask )
{
...
pxNewTCB = prvAllocateTCBAndStack( usStackDepth );
if( pxNewTCB != NULL )
{
portSTACK_TYPE *pxTopOfStack;
#if portSTACK_GROWTH < 0
{
pxTopOfStack = pxNewTCB->pxStack + ( usStackDepth - 1 );
}
#else
{
pxTopOfStack = pxNewTCB->pxStack;
}
#endif
...
{
...
pxNewTCB->pxStack = ( portSTACK_TYPE * ) pvPortMalloc( ( ( size_t )}
...
}
signed portBASE_TYPE xTaskCreate( pdTASK_CODE pvTaskCode, const signed portCHAR * const pcName, unsigned portSHORT usStackDepth, void *pvParameters, unsigned portBASE_TYPE uxPriority, xTaskHandle *pxCreatedTask )
{
...
pxNewTCB = prvAllocateTCBAndStack( usStackDepth );
if( pxNewTCB != NULL )
{
portSTACK_TYPE *pxTopOfStack;
#if portSTACK_GROWTH < 0
{
pxTopOfStack = pxNewTCB->pxStack + ( usStackDepth - 1 );
}
#else
{
pxTopOfStack = pxNewTCB->pxStack;
}
#endif
...
В prvAllocateTCBAndStack все хорошо - получаем указатель, выровненный по границе 8-и байт. А вот в xTaskCreate случается бяка: pxTopOfStack = pxNewTCB->pxStack + ( usStackDepth - 1 ) - стек уже выровнен по границе 4-х байт, и в таком виде его получает задача.
При этом в стандарте ATPCS прямо указывается необходимость выравнивания стека по 8-и байтной границе:
Цитата
When a publicly visible function is called, the stack pointer value is 8-byte aligned.
Обходится все это дело легко, жалко только времени, потраченного на вылавливание "странных глюков".
Это я один такой счастливый?