SYS-OSS/FRET-FreeRTOS
4
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix clear on notify take

Browse Source
This commit is contained in:
Alwin Berger 2023-04-20 09:21:31 +02:00
parent a1393d2e14
commit 8bf6ccf6ee
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_waters.c
View File

@ -301,7 +301,7 @@ static void prvTask78( void * pvParameters ) {
// Exectime: f(x,y) = c + y*20000 + rng(x)*50000 // Exectime: f(x,y) = c + y*20000 + rng(x)*50000
// Output: g(x,y) = y * (x % 4) // Output: g(x,y) = y * (x % 4)
uint16_t x = fuzz_short_next(); uint16_t x = fuzz_short_next();
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
volatile int torun = 6035; volatile int torun = 6035;
if (y > 0) { if (y > 0) {
torun += 20000; torun += 20000;
@ -323,7 +323,7 @@ static void prvTask400( void * pvParameters ) {
// Actions -------------------------------------- // Actions --------------------------------------
// Exectime: f(x,y) = rng(x)*y*c or (rng(x) % 1000) // Exectime: f(x,y) = rng(x)*y*c or (rng(x) % 1000)
uint32_t x = fuzz_long_next(); uint32_t x = fuzz_long_next();
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
volatile int torun = 0; volatile int torun = 0;
if (y == 2 && DEBUG_VAL(CHANCE_1_IN_POWOF2(x, 2), 1)) { if (y == 2 && DEBUG_VAL(CHANCE_1_IN_POWOF2(x, 2), 1)) {
torun = 1765; torun = 1765;
@ -351,9 +351,9 @@ static void prvTask397( void * pvParameters ) {
xTaskNotify(xTask90, DEBUG_VAL(x & 0x1, 0), eSetValueWithOverwrite); xTaskNotify(xTask90, DEBUG_VAL(x & 0x1, 0), eSetValueWithOverwrite);
// 3 different activation strategies ------------- // 3 different activation strategies -------------
// activate sporadically from interrupts // activate sporadically from interrupts
// ulTaskNotifyTake(pdTRUE,portMAX_DELAY); ulTaskNotifyTake(pdTRUE,portMAX_DELAY);
// activate with worst possible frequency (700us, but tick resolution is too low) // activate with worst possible frequency (700us, but tick resolution is too low)
vTaskDelayUntil( &xLastWakeTime, xFrequency ); // vTaskDelayUntil( &xLastWakeTime, xFrequency );
// wait pseudo random many ticks // wait pseudo random many ticks
// vTaskDelayUntil( &xLastWakeTime, CLAMP(RNG, 1, 100) / portTICK_PERIOD_MS ); // vTaskDelayUntil( &xLastWakeTime, CLAMP(RNG, 1, 100) / portTICK_PERIOD_MS );
} }
@ -367,7 +367,7 @@ static void prvTask90( void * pvParameters ) {
// Actions -------------------------------------- // Actions --------------------------------------
// Exectime: f(x) = c + x // Exectime: f(x) = c + x
// Output: g(x) = x % 4 // Output: g(x) = x % 4
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
volatile uint16_t x = fuzz_short_next(); volatile uint16_t x = fuzz_short_next();
DEBUG_WCET(x=20048;) DEBUG_WCET(x=20048;)
int torun = 0; int torun = 0;
@ -391,7 +391,7 @@ static void prvTask1107( void * pvParameters ) {
// Exectime: f(x) = c - x*y // Exectime: f(x) = c - x*y
volatile uint16_t x = fuzz_short_next(); volatile uint16_t x = fuzz_short_next();
DEBUG_WCET(x=0;) DEBUG_WCET(x=0;)
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
int torun = 76865-((int)x)*y; int torun = 76865-((int)x)*y;
WCET_CLAMP(torun, 10000, 76865, TASK_1107_MESSAGE) WCET_CLAMP(torun, 10000, 76865, TASK_1107_MESSAGE)
// --------------------------------------------- // ---------------------------------------------
@ -428,7 +428,7 @@ static void prvTask1009( void * pvParameters ) {
// Exectime: f(x,y) = if x%8 == y ? 40000+x : x (<40k) // Exectime: f(x,y) = if x%8 == y ? 40000+x : x (<40k)
// Output: g(x) = x % 8 == y // Output: g(x) = x % 8 == y
uint16_t x = fuzz_short_next(); uint16_t x = fuzz_short_next();
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
volatile int torun = 0; volatile int torun = 0;
if (x % 8 == y) { if (x % 8 == y) {
torun = 40000 + x; torun = 40000 + x;
@ -455,7 +455,7 @@ static void prvTask1129( void * pvParameters ) {
// longmax - shortmax: 39505 // longmax - shortmax: 39505
// most likely long case, which causes a short case in next task // most likely long case, which causes a short case in next task
volatile uint32_t x = (uint32_t)fuzz_short_next(); volatile uint32_t x = (uint32_t)fuzz_short_next();
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
DEBUG_WCET( DEBUG_WCET(
static char flag=0; static char flag=0;
if (flag++ == 0 | flag == 5 | flag == 8 | flag == 9) {x = 65529;} if (flag++ == 0 | flag == 5 | flag == 8 | flag == 9) {x = 65529;}
@ -483,7 +483,7 @@ static void prvTask416( void * pvParameters ) {
// Exectime: f(x,y) = if y ? c1+2*x : c2-x // Exectime: f(x,y) = if y ? c1+2*x : c2-x
// longmax - shortmax: 76955 // longmax - shortmax: 76955
volatile uint32_t x = (uint32_t)fuzz_short_next(); volatile uint32_t x = (uint32_t)fuzz_short_next();
int y = ulTaskNotifyTake(pdFALSE, 0); int y = ulTaskNotifyTake(pdTRUE, 0);
volatile int torun = 0; volatile int torun = 0;
if (y) { if (y) {
DEBUG_WCET(x=0xffff;) DEBUG_WCET(x=0xffff;)