Quality RTOS & Embedded Software

 Real time embedded FreeRTOS RSS feed 
Quick Start Supported MCUs PDF Books Trace Tools Ecosystem


Loading

Buggy assertion in xTaskGenericCreate?

Posted by alexander5245 on June 27, 2016

Hi,

I've enabled configASSERT and I'm seeing an assertion failure in xTaskGenericCreate (FreeRTOS 8.0.0, PIC32 port). The assertion is:

~~~ configASSERT( ( ( uxPriority & ( UBaseTypet ) ( ~portPRIVILEGEBIT ) ) < ( UBaseTypet ) configMAXPRIORITIES ) ); ~~~

portPRIVILEGEBIT is zero so ~portPRIVILEGEBIT is 0xffffffff. The assertion expects that to be less than the max priority level. Since it's an unsigned comparison (UBaseType_t is an unsigned long) the test will always fail.

So how can this configASSERT test be correct?

Thank you, Bob


Buggy assertion in xTaskGenericCreate?

Posted by rtel on June 27, 2016

Assume:

uxPriority = 5 configMAX_PRIORITIES = 6

Then (all case to unsigned) the assert test becomes:

( uxPriority & 0xffffffff ) < 6

which equals

( 5 & 0xffffffff ) < 6

which equals

5 < 6

so the assertion passes.


Buggy assertion in xTaskGenericCreate?

Posted by alexander5245 on June 27, 2016

Ah, of course! I wasn't reading the parentheses right. Sorry.

Thanks, Bob


[ Back to the top ]    [ About FreeRTOS ]    [ Sitemap ]    [ ]




Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.

Latest News

Meet us at Embedded World. Hall 3A-525.

Hear from Richard Barry at Embedded World. Feb 28, 16:00, Hall 4-428.

Video: Watch James Gosling & Richard Barry at re:Invent, Las Vegas 2017.

FreeRTOS kernel V10.0.1 is available for immediate download. Now MIT licensed.


FreeRTOS Partners

ARM Connected RTOS partner for all ARM microcontroller cores

IAR Partner

Microchip Premier RTOS Partner

RTOS partner of NXP for all NXP ARM microcontrollers

STMicro RTOS partner supporting ARM7, ARM Cortex-M3, ARM Cortex-M4 and ARM Cortex-M0

Texas Instruments MCU Developer Network RTOS partner for ARM and MSP430 microcontrollers

OpenRTOS and SafeRTOS