[PATCH] rtems: Simplify rtems_signal_catch()
Sebastian Huber
sebastian.huber at embedded-brains.de
Tue Mar 2 13:10:56 UTC 2021
In uniprocessor configurations, we can simplify rtems_signal_catch().
Add a validation tests for the SMP special case.
---
cpukit/rtems/src/signalcatch.c | 19 +-
testsuites/validation/tc-signal-catch.c | 648 ++++++++++++++++++++----
2 files changed, 566 insertions(+), 101 deletions(-)
diff --git a/cpukit/rtems/src/signalcatch.c b/cpukit/rtems/src/signalcatch.c
index e80d2c082a..fffa6cc0e4 100644
--- a/cpukit/rtems/src/signalcatch.c
+++ b/cpukit/rtems/src/signalcatch.c
@@ -58,17 +58,34 @@ rtems_status_code rtems_signal_catch(
asr->handler = asr_handler;
asr->mode_set = mode_set;
+#if defined(RTEMS_SMP)
if ( asr_handler == NULL ) {
Chain_Node *node;
- asr->signals_pending = 0;
+ /*
+ * In SMP configurations, signals may be sent on other processors
+ * (interrupts or threads) in parallel. This will cause an inter-processor
+ * interrupt which may be blocked by the above interrupt disable.
+ */
+
node = &api->Signal_action.Node;
+ _Assert( asr->signals_pending == 0 || !_Chain_Is_node_off_chain( node ) );
if ( !_Chain_Is_node_off_chain( node ) ) {
+ asr->signals_pending = 0;
_Chain_Extract_unprotected( node );
_Chain_Set_off_chain( node );
}
}
+#else
+ /*
+ * In uniprocessor configurations, as soon as interrupts are disabled above
+ * nobody can send signals to the executing thread. So, pending signals at
+ * this point cannot appear.
+ */
+ _Assert( _Chain_Is_node_off_chain( node ) );
+ _Assert( asr->signals_pending == 0 );
+#endif
_Thread_State_release( executing, &lock_context );
return RTEMS_SUCCESSFUL;
diff --git a/testsuites/validation/tc-signal-catch.c b/testsuites/validation/tc-signal-catch.c
index acca855ede..5cbb0e2eff 100644
--- a/testsuites/validation/tc-signal-catch.c
+++ b/testsuites/validation/tc-signal-catch.c
@@ -53,6 +53,8 @@
#endif
#include <rtems.h>
+#include <string.h>
+#include <rtems/score/smpbarrier.h>
#include <rtems/test.h>
@@ -65,6 +67,12 @@
* @{
*/
+typedef enum {
+ RtemsSignalReqCatch_Pre_Pending_Yes,
+ RtemsSignalReqCatch_Pre_Pending_No,
+ RtemsSignalReqCatch_Pre_Pending_NA
+} RtemsSignalReqCatch_Pre_Pending;
+
typedef enum {
RtemsSignalReqCatch_Pre_Handler_Invalid,
RtemsSignalReqCatch_Pre_Handler_Valid,
@@ -136,6 +144,16 @@ typedef enum {
* @brief Test context for spec:/rtems/signal/req/catch test case.
*/
typedef struct {
+ rtems_id runner_id;
+
+ rtems_id worker_id;
+
+ uint32_t pending_signals;
+
+ SMP_barrier_Control barrier;
+
+ SMP_barrier_State runner_barrier_state;
+
uint32_t default_handler_calls;
uint32_t handler_calls;
@@ -155,7 +173,7 @@ typedef struct {
/**
* @brief This member defines the pre-condition states for the next action.
*/
- size_t pcs[ 5 ];
+ size_t pcs[ 6 ];
/**
* @brief This member indicates if the test action loop is currently
@@ -167,6 +185,12 @@ typedef struct {
static RtemsSignalReqCatch_Context
RtemsSignalReqCatch_Instance;
+static const char * const RtemsSignalReqCatch_PreDesc_Pending[] = {
+ "Yes",
+ "No",
+ "NA"
+};
+
static const char * const RtemsSignalReqCatch_PreDesc_Handler[] = {
"Invalid",
"Valid",
@@ -198,6 +222,7 @@ static const char * const RtemsSignalReqCatch_PreDesc_IntLvl[] = {
};
static const char * const * const RtemsSignalReqCatch_PreDesc[] = {
+ RtemsSignalReqCatch_PreDesc_Pending,
RtemsSignalReqCatch_PreDesc_Handler,
RtemsSignalReqCatch_PreDesc_Preempt,
RtemsSignalReqCatch_PreDesc_Timeslice,
@@ -215,7 +240,11 @@ static void DefaultHandler( rtems_signal_set signal_set )
ctx = T_fixture_context();
++ctx->default_handler_calls;
- T_eq_u32( signal_set, 0xdeadbeef );
+ if ( ctx->pending_signals != 0 && ctx->default_handler_calls == 1 ) {
+ T_eq_u32( signal_set, 0x600df00d );
+ } else {
+ T_eq_u32( signal_set, 0xdeadbeef );
+ }
}
static void SignalHandler( rtems_signal_set signal_set )
@@ -233,7 +262,11 @@ static void SignalHandler( rtems_signal_set signal_set )
);
T_rsc_success( sc );
- T_eq_u32( signal_set, 0xdeadbeef );
+ if ( ctx->pending_signals != 0 && ctx->handler_calls == 1 ) {
+ T_eq_u32( signal_set, 0x600df00d );
+ } else {
+ T_eq_u32( signal_set, 0xdeadbeef );
+ }
}
static void CheckHandlerMode( Context *ctx, rtems_mode mask, rtems_mode mode )
@@ -244,6 +277,55 @@ static void CheckHandlerMode( Context *ctx, rtems_mode mask, rtems_mode mode )
}
}
+static void Worker( rtems_task_argument arg )
+{
+ Context *ctx;
+ SMP_barrier_State barrier_state;
+
+ ctx = (Context *) arg;
+ _SMP_barrier_State_initialize( &barrier_state );
+
+ while ( true ) {
+ rtems_status_code sc;
+
+ _SMP_barrier_Wait( &ctx->barrier, &barrier_state, 2 );
+
+ sc = rtems_signal_send( ctx->runner_id, 0x600df00d );
+ T_rsc_success( sc );
+
+ _SMP_barrier_Wait( &ctx->barrier, &barrier_state, 2 );
+ }
+}
+
+static void RtemsSignalReqCatch_Pre_Pending_Prepare(
+ RtemsSignalReqCatch_Context *ctx,
+ RtemsSignalReqCatch_Pre_Pending state
+)
+{
+ switch ( state ) {
+ case RtemsSignalReqCatch_Pre_Pending_Yes: {
+ /*
+ * Where the system has more than one processor, when
+ * rtems_signal_catch() is called, the calling task shall have pending
+ * signals.
+ */
+ ctx->pending_signals = ( rtems_scheduler_get_processor_maximum() > 1 ) ? 1 : 0;
+ break;
+ }
+
+ case RtemsSignalReqCatch_Pre_Pending_No: {
+ /*
+ * The calling task shall have no pending signals.
+ */
+ ctx->pending_signals = 0;
+ break;
+ }
+
+ case RtemsSignalReqCatch_Pre_Pending_NA:
+ break;
+ }
+}
+
static void RtemsSignalReqCatch_Pre_Handler_Prepare(
RtemsSignalReqCatch_Context *ctx,
RtemsSignalReqCatch_Pre_Handler state
@@ -466,10 +548,10 @@ static void RtemsSignalReqCatch_Post_Send_Check(
if ( ctx->catch_status == RTEMS_SUCCESSFUL ) {
T_eq_u32( ctx->default_handler_calls, 0 );
- T_eq_u32( ctx->handler_calls, 1 );
+ T_eq_u32( ctx->handler_calls, 1 + ctx->pending_signals );
T_ne_u32( ctx->handler_mode, 0xffffffff );
} else {
- T_eq_u32( ctx->default_handler_calls, 1 );
+ T_eq_u32( ctx->default_handler_calls, 1 + ctx->pending_signals );
T_eq_u32( ctx->handler_calls, 0 );
T_eq_u32( ctx->handler_mode, 0xffffffff );
}
@@ -490,7 +572,7 @@ static void RtemsSignalReqCatch_Post_Send_Check(
T_eq_u32( ctx->handler_mode, 0xffffffff );
} else {
T_rsc_success( ctx->send_status );
- T_eq_u32( ctx->default_handler_calls, 1 );
+ T_eq_u32( ctx->default_handler_calls, 1 + ctx->pending_signals );
T_eq_u32( ctx->handler_calls, 0 );
T_eq_u32( ctx->handler_mode, 0xffffffff );
}
@@ -627,10 +709,60 @@ static void RtemsSignalReqCatch_Post_IntLvl_Check(
}
}
+static void RtemsSignalReqCatch_Setup( RtemsSignalReqCatch_Context *ctx )
+{
+ memset( ctx, 0, sizeof( *ctx ) );
+ ctx->runner_id = rtems_task_self();
+ _SMP_barrier_Control_initialize( &ctx->barrier );
+ _SMP_barrier_State_initialize( &ctx->runner_barrier_state );
+
+ if ( rtems_scheduler_get_processor_maximum() > 1 ) {
+ rtems_status_code sc;
+ rtems_id scheduler_id;
+
+ sc = rtems_task_create(
+ rtems_build_name( 'W', 'O', 'R', 'K' ),
+ 1,
+ RTEMS_MINIMUM_STACK_SIZE,
+ RTEMS_DEFAULT_MODES,
+ RTEMS_DEFAULT_ATTRIBUTES,
+ &ctx->worker_id
+ );
+ T_assert_rsc_success( sc );
+
+ sc = rtems_scheduler_ident_by_processor( 1, &scheduler_id );
+ T_assert_rsc_success( sc );
+
+ sc = rtems_task_set_scheduler( ctx->worker_id, scheduler_id, 1 );
+ T_assert_rsc_success( sc );
+
+ sc = rtems_task_start(
+ ctx->worker_id,
+ Worker,
+ (rtems_task_argument) ctx
+ );
+ T_assert_rsc_success( sc );
+ }
+}
+
+static void RtemsSignalReqCatch_Setup_Wrap( void *arg )
+{
+ RtemsSignalReqCatch_Context *ctx;
+
+ ctx = arg;
+ ctx->in_action_loop = false;
+ RtemsSignalReqCatch_Setup( ctx );
+}
+
static void RtemsSignalReqCatch_Teardown( RtemsSignalReqCatch_Context *ctx )
{
rtems_status_code sc;
+ if ( ctx->worker_id != 0 ) {
+ sc = rtems_task_delete( ctx->worker_id );
+ T_rsc_success( sc );
+ }
+
sc = rtems_signal_catch( NULL, RTEMS_DEFAULT_MODES );
T_rsc_success( sc );
}
@@ -658,7 +790,7 @@ static size_t RtemsSignalReqCatch_Scope( void *arg, char *buf, size_t n )
}
static T_fixture RtemsSignalReqCatch_Fixture = {
- .setup = NULL,
+ .setup = RtemsSignalReqCatch_Setup_Wrap,
.stop = NULL,
.teardown = RtemsSignalReqCatch_Teardown_Wrap,
.scope = RtemsSignalReqCatch_Scope,
@@ -890,11 +1022,236 @@ static const uint8_t RtemsSignalReqCatch_TransitionMap[][ 6 ] = {
RtemsSignalReqCatch_Post_Timeslice_No,
RtemsSignalReqCatch_Post_ASR_No,
RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_NotDef,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_Ok,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_Yes,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_Yes,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_Yes,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplNoPreempt,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Zero
+ }, {
+ RtemsSignalReqCatch_Post_Status_NotImplIntLvl,
+ RtemsSignalReqCatch_Post_Send_New,
+ RtemsSignalReqCatch_Post_Preempt_No,
+ RtemsSignalReqCatch_Post_Timeslice_No,
+ RtemsSignalReqCatch_Post_ASR_No,
+ RtemsSignalReqCatch_Post_IntLvl_Positive
}
};
static const struct {
uint8_t Skip : 1;
+ uint8_t Pre_Pending_NA : 1;
uint8_t Pre_Handler_NA : 1;
uint8_t Pre_Preempt_NA : 1;
uint8_t Pre_Timeslice_NA : 1;
@@ -902,69 +1259,133 @@ static const struct {
uint8_t Pre_IntLvl_NA : 1;
} RtemsSignalReqCatch_TransitionInfo[] = {
{
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
}, {
- 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
+ }, {
+ 0, 0, 0, 0, 0, 0, 0
}
};
@@ -988,7 +1409,17 @@ static void RtemsSignalReqCatch_Action( RtemsSignalReqCatch_Context *ctx )
rtems_status_code sc;
rtems_mode mode;
- ctx->catch_status = rtems_signal_catch( ctx->handler, ctx->mode );
+ if ( ctx->pending_signals != 0 ) {
+ rtems_interrupt_level level;
+
+ rtems_interrupt_local_disable(level);
+ _SMP_barrier_Wait( &ctx->barrier, &ctx->runner_barrier_state, 2 );
+ _SMP_barrier_Wait( &ctx->barrier, &ctx->runner_barrier_state, 2 );
+ ctx->catch_status = rtems_signal_catch( ctx->handler, ctx->mode );
+ rtems_interrupt_local_enable(level);
+ } else {
+ ctx->catch_status = rtems_signal_catch( ctx->handler, ctx->mode );
+ }
sc = rtems_task_mode( ctx->normal_mode, RTEMS_ALL_MODE_MASKS, &mode );
T_rsc_success( sc );
@@ -1012,13 +1443,14 @@ T_TEST_CASE_FIXTURE( RtemsSignalReqCatch, &RtemsSignalReqCatch_Fixture )
index = 0;
for (
- ctx->pcs[ 0 ] = RtemsSignalReqCatch_Pre_Handler_Invalid;
- ctx->pcs[ 0 ] < RtemsSignalReqCatch_Pre_Handler_NA;
+ ctx->pcs[ 0 ] = RtemsSignalReqCatch_Pre_Pending_Yes;
+ ctx->pcs[ 0 ] < RtemsSignalReqCatch_Pre_Pending_NA;
++ctx->pcs[ 0 ]
) {
- if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Handler_NA ) {
- ctx->pcs[ 0 ] = RtemsSignalReqCatch_Pre_Handler_NA;
- index += ( RtemsSignalReqCatch_Pre_Handler_NA - 1 )
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Pending_NA ) {
+ ctx->pcs[ 0 ] = RtemsSignalReqCatch_Pre_Pending_NA;
+ index += ( RtemsSignalReqCatch_Pre_Pending_NA - 1 )
+ * RtemsSignalReqCatch_Pre_Handler_NA
* RtemsSignalReqCatch_Pre_Preempt_NA
* RtemsSignalReqCatch_Pre_Timeslice_NA
* RtemsSignalReqCatch_Pre_ASR_NA
@@ -1026,88 +1458,104 @@ T_TEST_CASE_FIXTURE( RtemsSignalReqCatch, &RtemsSignalReqCatch_Fixture )
}
for (
- ctx->pcs[ 1 ] = RtemsSignalReqCatch_Pre_Preempt_Yes;
- ctx->pcs[ 1 ] < RtemsSignalReqCatch_Pre_Preempt_NA;
+ ctx->pcs[ 1 ] = RtemsSignalReqCatch_Pre_Handler_Invalid;
+ ctx->pcs[ 1 ] < RtemsSignalReqCatch_Pre_Handler_NA;
++ctx->pcs[ 1 ]
) {
- if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Preempt_NA ) {
- ctx->pcs[ 1 ] = RtemsSignalReqCatch_Pre_Preempt_NA;
- index += ( RtemsSignalReqCatch_Pre_Preempt_NA - 1 )
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Handler_NA ) {
+ ctx->pcs[ 1 ] = RtemsSignalReqCatch_Pre_Handler_NA;
+ index += ( RtemsSignalReqCatch_Pre_Handler_NA - 1 )
+ * RtemsSignalReqCatch_Pre_Preempt_NA
* RtemsSignalReqCatch_Pre_Timeslice_NA
* RtemsSignalReqCatch_Pre_ASR_NA
* RtemsSignalReqCatch_Pre_IntLvl_NA;
}
for (
- ctx->pcs[ 2 ] = RtemsSignalReqCatch_Pre_Timeslice_Yes;
- ctx->pcs[ 2 ] < RtemsSignalReqCatch_Pre_Timeslice_NA;
+ ctx->pcs[ 2 ] = RtemsSignalReqCatch_Pre_Preempt_Yes;
+ ctx->pcs[ 2 ] < RtemsSignalReqCatch_Pre_Preempt_NA;
++ctx->pcs[ 2 ]
) {
- if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Timeslice_NA ) {
- ctx->pcs[ 2 ] = RtemsSignalReqCatch_Pre_Timeslice_NA;
- index += ( RtemsSignalReqCatch_Pre_Timeslice_NA - 1 )
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Preempt_NA ) {
+ ctx->pcs[ 2 ] = RtemsSignalReqCatch_Pre_Preempt_NA;
+ index += ( RtemsSignalReqCatch_Pre_Preempt_NA - 1 )
+ * RtemsSignalReqCatch_Pre_Timeslice_NA
* RtemsSignalReqCatch_Pre_ASR_NA
* RtemsSignalReqCatch_Pre_IntLvl_NA;
}
for (
- ctx->pcs[ 3 ] = RtemsSignalReqCatch_Pre_ASR_Yes;
- ctx->pcs[ 3 ] < RtemsSignalReqCatch_Pre_ASR_NA;
+ ctx->pcs[ 3 ] = RtemsSignalReqCatch_Pre_Timeslice_Yes;
+ ctx->pcs[ 3 ] < RtemsSignalReqCatch_Pre_Timeslice_NA;
++ctx->pcs[ 3 ]
) {
- if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_ASR_NA ) {
- ctx->pcs[ 3 ] = RtemsSignalReqCatch_Pre_ASR_NA;
- index += ( RtemsSignalReqCatch_Pre_ASR_NA - 1 )
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_Timeslice_NA ) {
+ ctx->pcs[ 3 ] = RtemsSignalReqCatch_Pre_Timeslice_NA;
+ index += ( RtemsSignalReqCatch_Pre_Timeslice_NA - 1 )
+ * RtemsSignalReqCatch_Pre_ASR_NA
* RtemsSignalReqCatch_Pre_IntLvl_NA;
}
for (
- ctx->pcs[ 4 ] = RtemsSignalReqCatch_Pre_IntLvl_Zero;
- ctx->pcs[ 4 ] < RtemsSignalReqCatch_Pre_IntLvl_NA;
+ ctx->pcs[ 4 ] = RtemsSignalReqCatch_Pre_ASR_Yes;
+ ctx->pcs[ 4 ] < RtemsSignalReqCatch_Pre_ASR_NA;
++ctx->pcs[ 4 ]
) {
- if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_IntLvl_NA ) {
- ctx->pcs[ 4 ] = RtemsSignalReqCatch_Pre_IntLvl_NA;
- index += ( RtemsSignalReqCatch_Pre_IntLvl_NA - 1 );
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_ASR_NA ) {
+ ctx->pcs[ 4 ] = RtemsSignalReqCatch_Pre_ASR_NA;
+ index += ( RtemsSignalReqCatch_Pre_ASR_NA - 1 )
+ * RtemsSignalReqCatch_Pre_IntLvl_NA;
}
- if ( RtemsSignalReqCatch_TransitionInfo[ index ].Skip ) {
+ for (
+ ctx->pcs[ 5 ] = RtemsSignalReqCatch_Pre_IntLvl_Zero;
+ ctx->pcs[ 5 ] < RtemsSignalReqCatch_Pre_IntLvl_NA;
+ ++ctx->pcs[ 5 ]
+ ) {
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Pre_IntLvl_NA ) {
+ ctx->pcs[ 5 ] = RtemsSignalReqCatch_Pre_IntLvl_NA;
+ index += ( RtemsSignalReqCatch_Pre_IntLvl_NA - 1 );
+ }
+
+ if ( RtemsSignalReqCatch_TransitionInfo[ index ].Skip ) {
+ ++index;
+ continue;
+ }
+
+ RtemsSignalReqCatch_Prepare( ctx );
+ RtemsSignalReqCatch_Pre_Pending_Prepare( ctx, ctx->pcs[ 0 ] );
+ RtemsSignalReqCatch_Pre_Handler_Prepare( ctx, ctx->pcs[ 1 ] );
+ RtemsSignalReqCatch_Pre_Preempt_Prepare( ctx, ctx->pcs[ 2 ] );
+ RtemsSignalReqCatch_Pre_Timeslice_Prepare( ctx, ctx->pcs[ 3 ] );
+ RtemsSignalReqCatch_Pre_ASR_Prepare( ctx, ctx->pcs[ 4 ] );
+ RtemsSignalReqCatch_Pre_IntLvl_Prepare( ctx, ctx->pcs[ 5 ] );
+ RtemsSignalReqCatch_Action( ctx );
+ RtemsSignalReqCatch_Post_Status_Check(
+ ctx,
+ RtemsSignalReqCatch_TransitionMap[ index ][ 0 ]
+ );
+ RtemsSignalReqCatch_Post_Send_Check(
+ ctx,
+ RtemsSignalReqCatch_TransitionMap[ index ][ 1 ]
+ );
+ RtemsSignalReqCatch_Post_Preempt_Check(
+ ctx,
+ RtemsSignalReqCatch_TransitionMap[ index ][ 2 ]
+ );
+ RtemsSignalReqCatch_Post_Timeslice_Check(
+ ctx,
+ RtemsSignalReqCatch_TransitionMap[ index ][ 3 ]
+ );
+ RtemsSignalReqCatch_Post_ASR_Check(
+ ctx,
+ RtemsSignalReqCatch_TransitionMap[ index ][ 4 ]
+ );
+ RtemsSignalReqCatch_Post_IntLvl_Check(
+ ctx,
+ RtemsSignalReqCatch_TransitionMap[ index ][ 5 ]
+ );
++index;
- continue;
}
-
- RtemsSignalReqCatch_Prepare( ctx );
- RtemsSignalReqCatch_Pre_Handler_Prepare( ctx, ctx->pcs[ 0 ] );
- RtemsSignalReqCatch_Pre_Preempt_Prepare( ctx, ctx->pcs[ 1 ] );
- RtemsSignalReqCatch_Pre_Timeslice_Prepare( ctx, ctx->pcs[ 2 ] );
- RtemsSignalReqCatch_Pre_ASR_Prepare( ctx, ctx->pcs[ 3 ] );
- RtemsSignalReqCatch_Pre_IntLvl_Prepare( ctx, ctx->pcs[ 4 ] );
- RtemsSignalReqCatch_Action( ctx );
- RtemsSignalReqCatch_Post_Status_Check(
- ctx,
- RtemsSignalReqCatch_TransitionMap[ index ][ 0 ]
- );
- RtemsSignalReqCatch_Post_Send_Check(
- ctx,
- RtemsSignalReqCatch_TransitionMap[ index ][ 1 ]
- );
- RtemsSignalReqCatch_Post_Preempt_Check(
- ctx,
- RtemsSignalReqCatch_TransitionMap[ index ][ 2 ]
- );
- RtemsSignalReqCatch_Post_Timeslice_Check(
- ctx,
- RtemsSignalReqCatch_TransitionMap[ index ][ 3 ]
- );
- RtemsSignalReqCatch_Post_ASR_Check(
- ctx,
- RtemsSignalReqCatch_TransitionMap[ index ][ 4 ]
- );
- RtemsSignalReqCatch_Post_IntLvl_Check(
- ctx,
- RtemsSignalReqCatch_TransitionMap[ index ][ 5 ]
- );
- ++index;
}
}
}
--
2.26.2
More information about the devel
mailing list