spintrcritical01/2/3/4/5: Use T_interrupt_test()

This commit is contained in:
Sebastian Huber
2020-07-20 13:07:46 +02:00
parent 857a65dc7e
commit 21f7333979
8 changed files with 194 additions and 104 deletions

View File

@@ -17,7 +17,7 @@
#include <time.h> #include <time.h>
#include <rtems/test.h> #include <rtems/test.h>
#include <rtems/simple-test.h> #include <rtems/test-info.h>
const char rtems_test_name[] = "PSXINTRCRITICAL 1"; const char rtems_test_name[] = "PSXINTRCRITICAL 1";
@@ -53,20 +53,15 @@ static void action(void *arg)
ctx->late = true; ctx->late = true;
T_quiet_psx_success(rv); T_quiet_psx_success(rv);
while (T_interrupt_test_get_state() == T_INTERRUPT_TEST_ACTION) { T_interrupt_test_busy_wait_for_interrupt();
/* Wait */
}
} }
static T_interrupt_test_state interrupt(void *arg) static T_interrupt_test_state interrupt(void *arg)
{ {
test_context *ctx; test_context *ctx;
T_interrupt_test_state state;
int rv; int rv;
state = T_interrupt_test_get_state(); if (T_interrupt_test_get_state() != T_INTERRUPT_TEST_ACTION) {
if (state != T_INTERRUPT_TEST_ACTION) {
return T_INTERRUPT_TEST_EARLY; return T_INTERRUPT_TEST_EARLY;
} }

View File

@@ -1190,9 +1190,7 @@ if TEST_spintrcritical01
sp_tests += spintrcritical01 sp_tests += spintrcritical01
sp_screens += spintrcritical01/spintrcritical01.scn sp_screens += spintrcritical01/spintrcritical01.scn
sp_docs += spintrcritical01/spintrcritical01.doc sp_docs += spintrcritical01/spintrcritical01.doc
spintrcritical01_SOURCES = spintrcritical01/init.c \ spintrcritical01_SOURCES = spintrcritical01/init.c
spintrcritical_support/intrcritical.c \
spintrcritical_support/intrcritical.h
spintrcritical01_CPPFLAGS = $(AM_CPPFLAGS) \ spintrcritical01_CPPFLAGS = $(AM_CPPFLAGS) \
$(TEST_FLAGS_spintrcritical01) $(support_includes) \ $(TEST_FLAGS_spintrcritical01) $(support_includes) \
-I$(top_srcdir)/spintrcritical_support -I$(top_srcdir)/spintrcritical_support
@@ -1202,8 +1200,7 @@ if TEST_spintrcritical02
sp_tests += spintrcritical02 sp_tests += spintrcritical02
sp_screens += spintrcritical02/spintrcritical02.scn sp_screens += spintrcritical02/spintrcritical02.scn
sp_docs += spintrcritical02/spintrcritical02.doc sp_docs += spintrcritical02/spintrcritical02.doc
spintrcritical02_SOURCES = spintrcritical02/init.c \ spintrcritical02_SOURCES = spintrcritical02/init.c
spintrcritical_support/intrcritical.c
spintrcritical02_CPPFLAGS = $(AM_CPPFLAGS) \ spintrcritical02_CPPFLAGS = $(AM_CPPFLAGS) \
$(TEST_FLAGS_spintrcritical02) $(support_includes) \ $(TEST_FLAGS_spintrcritical02) $(support_includes) \
-I$(top_srcdir)/spintrcritical_support -I$(top_srcdir)/spintrcritical_support
@@ -1213,8 +1210,7 @@ if TEST_spintrcritical03
sp_tests += spintrcritical03 sp_tests += spintrcritical03
sp_screens += spintrcritical03/spintrcritical03.scn sp_screens += spintrcritical03/spintrcritical03.scn
sp_docs += spintrcritical03/spintrcritical03.doc sp_docs += spintrcritical03/spintrcritical03.doc
spintrcritical03_SOURCES = spintrcritical03/init.c \ spintrcritical03_SOURCES = spintrcritical03/init.c
spintrcritical_support/intrcritical.c
spintrcritical03_CPPFLAGS = $(AM_CPPFLAGS) \ spintrcritical03_CPPFLAGS = $(AM_CPPFLAGS) \
$(TEST_FLAGS_spintrcritical03) $(support_includes) \ $(TEST_FLAGS_spintrcritical03) $(support_includes) \
-I$(top_srcdir)/spintrcritical_support -I$(top_srcdir)/spintrcritical_support
@@ -1224,8 +1220,7 @@ if TEST_spintrcritical04
sp_tests += spintrcritical04 sp_tests += spintrcritical04
sp_screens += spintrcritical04/spintrcritical04.scn sp_screens += spintrcritical04/spintrcritical04.scn
sp_docs += spintrcritical04/spintrcritical04.doc sp_docs += spintrcritical04/spintrcritical04.doc
spintrcritical04_SOURCES = spintrcritical04/init.c \ spintrcritical04_SOURCES = spintrcritical04/init.c
spintrcritical_support/intrcritical.c
spintrcritical04_CPPFLAGS = $(AM_CPPFLAGS) \ spintrcritical04_CPPFLAGS = $(AM_CPPFLAGS) \
$(TEST_FLAGS_spintrcritical04) $(support_includes) \ $(TEST_FLAGS_spintrcritical04) $(support_includes) \
-I$(top_srcdir)/spintrcritical_support -I$(top_srcdir)/spintrcritical_support
@@ -1235,8 +1230,7 @@ if TEST_spintrcritical05
sp_tests += spintrcritical05 sp_tests += spintrcritical05
sp_screens += spintrcritical05/spintrcritical05.scn sp_screens += spintrcritical05/spintrcritical05.scn
sp_docs += spintrcritical05/spintrcritical05.doc sp_docs += spintrcritical05/spintrcritical05.doc
spintrcritical05_SOURCES = spintrcritical05/init.c \ spintrcritical05_SOURCES = spintrcritical05/init.c
spintrcritical_support/intrcritical.c
spintrcritical05_CPPFLAGS = $(AM_CPPFLAGS) \ spintrcritical05_CPPFLAGS = $(AM_CPPFLAGS) \
$(TEST_FLAGS_spintrcritical05) $(support_includes) \ $(TEST_FLAGS_spintrcritical05) $(support_includes) \
-I$(top_srcdir)/spintrcritical_support -I$(top_srcdir)/spintrcritical_support

View File

@@ -1,6 +1,24 @@
*** TEST INTERRUPT CRITICAL SECTION 01 *** *** BEGIN OF TEST SPINTRCRITICAL 1 ***
Init - Trying to generate semaphore release from ISR while blocking *** TEST VERSION: 6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
Init - Variation is: FIFO/Without Timeout *** TEST STATE: EXPECTED_PASS
Support - rtems_timer_create - creating timer 1 *** TEST BUILD: RTEMS_DEBUG RTEMS_POSIX_API RTEMS_SMP
Init - Case hit *** TEST TOOLS: 10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
*** END OF TEST INTERRUPT CRITICAL SECTION 01 *** A:SPINTRCRITICAL 1
S:Platform:RTEMS
S:Compiler:10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
S:Version:6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
S:BSP:realview_pbx_a9_qemu
S:RTEMS_DEBUG:1
S:RTEMS_MULTIPROCESSING:0
S:RTEMS_POSIX_API:1
S:RTEMS_PROFILING:0
S:RTEMS_SMP:1
B:SemaphoreReleaseFIFOWithoutTimeout
P:0:0:UI1:spintrcritical01impl.h:133
P:1:0:UI1:spintrcritical01impl.h:136
P:2:0:UI1:spintrcritical01impl.h:139
E:SemaphoreReleaseFIFOWithoutTimeout:N:3:F:0:D:0.991790
Z:SPINTRCRITICAL 1:C:1:N:3:F:0:D:0.992984
Y:ReportHash:SHA256:5ae7281f5dd710e1c043bbff2fa3ddff47dc22aa5c35cff545601c8156ec1a87
*** END OF TEST SPINTRCRITICAL 1 ***

View File

@@ -1,4 +1,6 @@
/* /*
* Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
*
* COPYRIGHT (c) 1989-2012. * COPYRIGHT (c) 1989-2012.
* On-Line Applications Research Corporation (OAR). * On-Line Applications Research Corporation (OAR).
* *
@@ -11,38 +13,38 @@
#include "config.h" #include "config.h"
#endif #endif
#include <tmacros.h> #include <rtems/test.h>
#include <intrcritical.h> #include <rtems/test-info.h>
#include <rtems/score/threadimpl.h> #include <rtems/score/threadimpl.h>
#if defined(FIFO_NO_TIMEOUT) #if defined(FIFO_NO_TIMEOUT)
#define TEST_NAME "1" #define TEST_NAME "1"
#define TEST_STRING "FIFO/Without Timeout" #define TEST_STRING FIFOWithoutTimeout
#define SEMAPHORE_OBTAIN_TIMEOUT 0 #define SEMAPHORE_OBTAIN_TIMEOUT 0
#define SEMAPHORE_ATTRIBUTES RTEMS_DEFAULT_ATTRIBUTES #define SEMAPHORE_ATTRIBUTES RTEMS_DEFAULT_ATTRIBUTES
#elif defined(FIFO_WITH_TIMEOUT) #elif defined(FIFO_WITH_TIMEOUT)
#define TEST_NAME "2" #define TEST_NAME "2"
#define TEST_STRING "FIFO/With Timeout" #define TEST_STRING FIFOWithTimeout
#define SEMAPHORE_OBTAIN_TIMEOUT 10 #define SEMAPHORE_OBTAIN_TIMEOUT 10
#define SEMAPHORE_ATTRIBUTES RTEMS_DEFAULT_ATTRIBUTES #define SEMAPHORE_ATTRIBUTES RTEMS_DEFAULT_ATTRIBUTES
#elif defined(PRIORITY_NO_TIMEOUT) #elif defined(PRIORITY_NO_TIMEOUT)
#define TEST_NAME "3" #define TEST_NAME "3"
#define TEST_STRING "Priority/Without Timeout" #define TEST_STRING PriorityWithoutTimeout
#define SEMAPHORE_OBTAIN_TIMEOUT 0 #define SEMAPHORE_OBTAIN_TIMEOUT 0
#define SEMAPHORE_ATTRIBUTES RTEMS_PRIORITY #define SEMAPHORE_ATTRIBUTES RTEMS_PRIORITY
#elif defined(PRIORITY_WITH_TIMEOUT) #elif defined(PRIORITY_WITH_TIMEOUT)
#define TEST_NAME "4" #define TEST_NAME "4"
#define TEST_STRING "Priority/With Timeout" #define TEST_STRING PriorityWithTimeout
#define SEMAPHORE_OBTAIN_TIMEOUT 10 #define SEMAPHORE_OBTAIN_TIMEOUT 10
#define SEMAPHORE_ATTRIBUTES RTEMS_PRIORITY #define SEMAPHORE_ATTRIBUTES RTEMS_PRIORITY
#elif defined(PRIORITY_NO_TIMEOUT_REVERSE) #elif defined(PRIORITY_NO_TIMEOUT_REVERSE)
#define TEST_NAME "5" #define TEST_NAME "5"
#define TEST_STRING "Priority/Without Timeout (Reverse)" #define TEST_STRING PriorityWithoutTimeoutReverse
#define SEMAPHORE_OBTAIN_TIMEOUT 0 #define SEMAPHORE_OBTAIN_TIMEOUT 0
#define SEMAPHORE_ATTRIBUTES RTEMS_PRIORITY #define SEMAPHORE_ATTRIBUTES RTEMS_PRIORITY
@@ -53,82 +55,93 @@
const char rtems_test_name[] = "SPINTRCRITICAL " TEST_NAME; const char rtems_test_name[] = "SPINTRCRITICAL " TEST_NAME;
static Thread_Control *thread; typedef struct {
Thread_Control *thread;
rtems_id semaphore;
} test_context;
static rtems_id Semaphore; static bool is_blocked( Thread_Wait_flags flags )
static bool case_hit;
static bool interrupts_blocking_op(void)
{ {
Thread_Wait_flags flags = _Thread_Wait_flags_get( thread ); return flags == ( THREAD_WAIT_CLASS_OBJECT | THREAD_WAIT_STATE_BLOCKED );
return
flags == ( THREAD_WAIT_CLASS_OBJECT | THREAD_WAIT_STATE_INTEND_TO_BLOCK );
} }
static rtems_timer_service_routine test_release_from_isr( static bool interrupts_blocking_op( Thread_Wait_flags flags )
rtems_id timer,
void *arg
)
{ {
return flags
== ( THREAD_WAIT_CLASS_OBJECT | THREAD_WAIT_STATE_INTEND_TO_BLOCK );
}
static T_interrupt_test_state interrupt( void *arg )
{
test_context *ctx;
T_interrupt_test_state state;
Thread_Wait_flags flags;
rtems_status_code status; rtems_status_code status;
if ( interrupts_blocking_op() ) { ctx = arg;
case_hit = true; flags = _Thread_Wait_flags_get( ctx->thread );
if ( interrupts_blocking_op( flags ) ) {
state = T_INTERRUPT_TEST_DONE;
} else if ( is_blocked( flags ) ) {
state = T_INTERRUPT_TEST_LATE;
} else {
state = T_INTERRUPT_TEST_EARLY;
} }
status = rtems_semaphore_release( Semaphore ); status = rtems_semaphore_release( ctx->semaphore );
directive_failed_with_level( status, "release", -1 ); T_quiet_rsc_success( status );
return state;
} }
static void action( void *arg )
static bool test_body( void *arg )
{ {
test_context *ctx;
rtems_status_code status; rtems_status_code status;
(void) arg; ctx = arg;
status = rtems_semaphore_obtain( status = rtems_semaphore_obtain(
Semaphore, ctx->semaphore,
RTEMS_DEFAULT_OPTIONS, RTEMS_DEFAULT_OPTIONS,
SEMAPHORE_OBTAIN_TIMEOUT SEMAPHORE_OBTAIN_TIMEOUT
); );
directive_failed( status, "rtems_semaphore_obtain" ); T_quiet_rsc_success( status );
return case_hit;
} }
static rtems_task Init( static const T_interrupt_test_config config = {
rtems_task_argument ignored .action = action,
) .interrupt = interrupt,
.max_iteration_count = 10000
};
T_TEST_CASE( RTEMS_XCONCAT( SemaphoreRelease, TEST_STRING ) )
{ {
test_context ctx;
rtems_status_code status; rtems_status_code status;
T_interrupt_test_state state;
TEST_BEGIN(); ctx.thread = _Thread_Get_executing();
thread = _Thread_Get_executing();
puts( "Init - Trying to generate semaphore release from ISR while blocking" );
puts( "Init - Variation is: " TEST_STRING );
status = rtems_semaphore_create( status = rtems_semaphore_create(
rtems_build_name( 'S', 'M', '1', ' ' ), rtems_build_name( 'S', 'M', '1', ' ' ),
0, 0,
SEMAPHORE_ATTRIBUTES, SEMAPHORE_ATTRIBUTES,
RTEMS_NO_PRIORITY, RTEMS_NO_PRIORITY,
&Semaphore &ctx.semaphore
); );
directive_failed( status, "rtems_semaphore_create of SM1" ); T_rsc_success( status );
interrupt_critical_section_test( test_body, NULL, test_release_from_isr ); state = T_interrupt_test( &config, &ctx );
T_eq_int( state, T_INTERRUPT_TEST_DONE );
if ( case_hit ) { rtems_semaphore_delete( ctx.semaphore );
puts( "Init - Case hit" ); T_rsc_success( status );
TEST_END(); }
} else
puts( "Init - Case not hit - ran too long" );
rtems_test_exit(0); static rtems_task Init( rtems_task_argument argument )
{
rtems_test_run( argument, TEST_STATE );
} }
/* configuration information */ /* configuration information */
@@ -137,9 +150,7 @@ static rtems_task Init(
#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER #define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER
#define CONFIGURE_MAXIMUM_TASKS 1 #define CONFIGURE_MAXIMUM_TASKS 1
#define CONFIGURE_MAXIMUM_TIMERS 1
#define CONFIGURE_MAXIMUM_SEMAPHORES 1 #define CONFIGURE_MAXIMUM_SEMAPHORES 1
#define CONFIGURE_MAXIMUM_USER_EXTENSIONS 1
#define CONFIGURE_MICROSECONDS_PER_TICK 1000 #define CONFIGURE_MICROSECONDS_PER_TICK 1000
#if defined(PRIORITY_NO_TIMEOUT_REVERSE) #if defined(PRIORITY_NO_TIMEOUT_REVERSE)
#define CONFIGURE_INIT_TASK_PRIORITY 250 #define CONFIGURE_INIT_TASK_PRIORITY 250

View File

@@ -1,6 +1,24 @@
*** TEST INTERRUPT CRITICAL SECTION 02 *** *** BEGIN OF TEST SPINTRCRITICAL 2 ***
Init - Trying to generate semaphore release from ISR while blocking *** TEST VERSION: 6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
Init - Variation is: FIFO/With Timeout *** TEST STATE: EXPECTED_PASS
Support - rtems_timer_create - creating timer 1 *** TEST BUILD: RTEMS_DEBUG RTEMS_POSIX_API RTEMS_SMP
Init - Case hit *** TEST TOOLS: 10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
*** END OF TEST INTERRUPT CRITICAL SECTION 02 *** A:SPINTRCRITICAL 2
S:Platform:RTEMS
S:Compiler:10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
S:Version:6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
S:BSP:realview_pbx_a9_qemu
S:RTEMS_DEBUG:1
S:RTEMS_MULTIPROCESSING:0
S:RTEMS_POSIX_API:1
S:RTEMS_PROFILING:0
S:RTEMS_SMP:1
B:SemaphoreReleaseFIFOWithTimeout
P:0:0:UI1:spintrcritical01impl.h:133
P:1:0:UI1:spintrcritical01impl.h:136
P:2:0:UI1:spintrcritical01impl.h:139
E:SemaphoreReleaseFIFOWithTimeout:N:3:F:0:D:0.993665
Z:SPINTRCRITICAL 2:C:1:N:3:F:0:D:0.994790
Y:ReportHash:SHA256:39afd278c3a718205440e47e93954d7a87f2bbd49fbae108199b2dbdaeadc79e
*** END OF TEST SPINTRCRITICAL 2 ***

View File

@@ -1,6 +1,24 @@
*** TEST INTERRUPT CRITICAL SECTION 03 *** *** BEGIN OF TEST SPINTRCRITICAL 3 ***
Init - Trying to generate semaphore release from ISR while blocking *** TEST VERSION: 6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
Init - Variation is: Priority/Without Timeout *** TEST STATE: EXPECTED_PASS
Support - rtems_timer_create - creating timer 1 *** TEST BUILD: RTEMS_DEBUG RTEMS_POSIX_API RTEMS_SMP
Init - Case hit *** TEST TOOLS: 10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
*** END OF TEST INTERRUPT CRITICAL SECTION 03 *** A:SPINTRCRITICAL 3
S:Platform:RTEMS
S:Compiler:10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
S:Version:6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
S:BSP:realview_pbx_a9_qemu
S:RTEMS_DEBUG:1
S:RTEMS_MULTIPROCESSING:0
S:RTEMS_POSIX_API:1
S:RTEMS_PROFILING:0
S:RTEMS_SMP:1
B:SemaphoreReleasePriorityWithoutTimeout
P:0:0:UI1:spintrcritical01impl.h:133
P:1:0:UI1:spintrcritical01impl.h:136
P:2:0:UI1:spintrcritical01impl.h:139
E:SemaphoreReleasePriorityWithoutTimeout:N:3:F:0:D:0.992575
Z:SPINTRCRITICAL 3:C:1:N:3:F:0:D:0.993746
Y:ReportHash:SHA256:99f47d1893183fe1353cf36b2de6f27e11bae6e1fe4ce30a88e2140d941f93aa
*** END OF TEST SPINTRCRITICAL 3 ***

View File

@@ -1,6 +1,24 @@
*** TEST INTERRUPT CRITICAL SECTION 04 *** *** BEGIN OF TEST SPINTRCRITICAL 4 ***
Init - Trying to generate semaphore release from ISR while blocking *** TEST VERSION: 6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
Init - Variation is: Priority/With Timeout *** TEST STATE: EXPECTED_PASS
Support - rtems_timer_create - creating timer 1 *** TEST BUILD: RTEMS_DEBUG RTEMS_POSIX_API RTEMS_SMP
Init - Case hit *** TEST TOOLS: 10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
*** END OF TEST INTERRUPT CRITICAL SECTION 04 *** A:SPINTRCRITICAL 4
S:Platform:RTEMS
S:Compiler:10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
S:Version:6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
S:BSP:realview_pbx_a9_qemu
S:RTEMS_DEBUG:1
S:RTEMS_MULTIPROCESSING:0
S:RTEMS_POSIX_API:1
S:RTEMS_PROFILING:0
S:RTEMS_SMP:1
B:SemaphoreReleasePriorityWithTimeout
P:0:0:UI1:spintrcritical01impl.h:133
P:1:0:UI1:spintrcritical01impl.h:136
P:2:0:UI1:spintrcritical01impl.h:139
E:SemaphoreReleasePriorityWithTimeout:N:3:F:0:D:0.992884
Z:SPINTRCRITICAL 4:C:1:N:3:F:0:D:0.994078
Y:ReportHash:SHA256:9881b621230969971c290ca60c366534be09a32a291699bcc786d1e654ce305c
*** END OF TEST SPINTRCRITICAL 4 ***

View File

@@ -1,6 +1,24 @@
*** TEST INTERRUPT CRITICAL SECTION 05 *** *** BEGIN OF TEST SPINTRCRITICAL 5 ***
Init - Trying to generate semaphore release from ISR while blocking *** TEST VERSION: 6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
Init - Variation is: Priority/Without Timeout (Reverse) *** TEST STATE: EXPECTED_PASS
Support - rtems_timer_create - creating timer 1 *** TEST BUILD: RTEMS_DEBUG RTEMS_POSIX_API RTEMS_SMP
Init - Case hit *** TEST TOOLS: 10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
*** END OF TEST INTERRUPT CRITICAL SECTION 05 *** A:SPINTRCRITICAL 5
S:Platform:RTEMS
S:Compiler:10.0.1 20200406 (RTEMS 6, RSB bec88a6dd856892c3e66e4598252ea07d7a0d762, Newlib ece49e4)
S:Version:6.0.0.929e49a54ab4d2d18c9fb8d03610614f63e25b8d
S:BSP:realview_pbx_a9_qemu
S:RTEMS_DEBUG:1
S:RTEMS_MULTIPROCESSING:0
S:RTEMS_POSIX_API:1
S:RTEMS_PROFILING:0
S:RTEMS_SMP:1
B:SemaphoreReleasePriorityWithoutTimeoutReverse
P:0:0:UI1:spintrcritical01impl.h:133
P:1:0:UI1:spintrcritical01impl.h:136
P:2:0:UI1:spintrcritical01impl.h:139
E:SemaphoreReleasePriorityWithoutTimeoutReverse:N:3:F:0:D:0.992161
Z:SPINTRCRITICAL 5:C:1:N:3:F:0:D:0.993438
Y:ReportHash:SHA256:577ac55f827103c83e8a851796041d45d9545e7f02e49417fdb0b876108c6327
*** END OF TEST SPINTRCRITICAL 5 ***