/*
* COPYRIGHT (c) 1989-2012.
* On-Line Applications Research Corporation (OAR).
*
* Copyright (c) 2013, 2020 embedded brains GmbH.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
* http://www.rtems.org/license/LICENSE.
*/
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include <tmacros.h>
#include <rtems/test.h>
#include <rtems/score/threadimpl.h>
#include <rtems/rtems/eventimpl.h>
const char rtems_test_name[] = "SPINTRCRITICAL 10";
#define MAX_ITERATION_COUNT 10000
#define GREEN RTEMS_EVENT_0
#define RED RTEMS_EVENT_1
#define EVENTS (GREEN | RED)
#define DEADBEEF 0xdeadbeef
typedef struct {
Thread_Control *thread;
} test_context;
static bool blocks_for_event(Thread_Wait_flags flags)
{
return flags == (THREAD_WAIT_CLASS_EVENT | THREAD_WAIT_STATE_INTEND_TO_BLOCK)
|| flags == (THREAD_WAIT_CLASS_EVENT | THREAD_WAIT_STATE_BLOCKED);
}
static bool interrupts_blocking_op(Thread_Wait_flags flags)
{
return
flags == (THREAD_WAIT_CLASS_EVENT | THREAD_WAIT_STATE_INTEND_TO_BLOCK);
}
static T_interrupt_test_state any_satisfy_before_timeout_interrupt(void *arg)
{
rtems_status_code sc;
test_context *ctx = arg;
Thread_Control *thread = ctx->thread;
Thread_Wait_flags flags = _Thread_Wait_flags_get(thread);
T_interrupt_test_state state;
if (blocks_for_event(flags)) {
if (interrupts_blocking_op(flags)) {
state = T_INTERRUPT_TEST_DONE;
} else {
state = T_INTERRUPT_TEST_LATE;
}
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == DEADBEEF
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
sc = rtems_event_send(thread->Object.id, GREEN);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == GREEN
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
sc = rtems_event_send(thread->Object.id, RED);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == GREEN
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
_Thread_Timeout(&thread->Timer.Watchdog);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == GREEN
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
if (state == T_INTERRUPT_TEST_DONE) {
rtems_test_assert(
_Thread_Wait_flags_get(thread) == THREAD_WAIT_STATE_READY
);
}
rtems_test_assert(thread->Wait.count == EVENTS);
} else {
state = T_INTERRUPT_TEST_EARLY;
}
return state;
}
static void any_satisfy_before_timeout_action(void *arg)
{
rtems_status_code sc;
rtems_event_set out;
(void) arg;
out = DEADBEEF;
sc = rtems_event_receive(EVENTS, RTEMS_EVENT_ANY | RTEMS_WAIT, 1, &out);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(out == GREEN);
out = DEADBEEF;
sc = rtems_event_receive(EVENTS, RTEMS_EVENT_ANY | RTEMS_NO_WAIT, 0, &out);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(out == RED);
}
static const T_interrupt_test_config any_satisfy_before_timeout_config = {
.action = any_satisfy_before_timeout_action,
.interrupt = any_satisfy_before_timeout_interrupt,
.max_iteration_count = MAX_ITERATION_COUNT
};
T_TEST_CASE(EventAnySatisfyBeforeTimeout)
{
test_context ctx;
T_interrupt_test_state state;
ctx.thread = _Thread_Get_executing();
state = T_interrupt_test(&any_satisfy_before_timeout_config, &ctx);
T_eq_int(state, T_INTERRUPT_TEST_DONE);
}
static T_interrupt_test_state all_satisfy_before_timeout_interrupt(void *arg)
{
rtems_status_code sc;
test_context *ctx = arg;
Thread_Control *thread = ctx->thread;
Thread_Wait_flags flags = _Thread_Wait_flags_get(thread);
T_interrupt_test_state state;
if (blocks_for_event(flags)) {
if (interrupts_blocking_op(flags)) {
state = T_INTERRUPT_TEST_DONE;
} else {
state = T_INTERRUPT_TEST_LATE;
}
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == DEADBEEF
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
sc = rtems_event_send(thread->Object.id, GREEN);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == DEADBEEF
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
sc = rtems_event_send(thread->Object.id, RED);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == EVENTS
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
_Thread_Timeout(&thread->Timer.Watchdog);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == EVENTS
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
if (state == T_INTERRUPT_TEST_DONE) {
rtems_test_assert(
_Thread_Wait_flags_get(thread) == THREAD_WAIT_STATE_READY
);
}
rtems_test_assert(thread->Wait.count == EVENTS);
} else {
state = T_INTERRUPT_TEST_EARLY;
}
return state;
}
static void all_satisfy_before_timeout_action(void *arg)
{
rtems_status_code sc;
rtems_event_set out;
out = DEADBEEF;
sc = rtems_event_receive(EVENTS, RTEMS_EVENT_ALL | RTEMS_WAIT, 1, &out);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(out == EVENTS);
}
static const T_interrupt_test_config all_satisfy_before_timeout_config = {
.action = all_satisfy_before_timeout_action,
.interrupt = all_satisfy_before_timeout_interrupt,
.max_iteration_count = MAX_ITERATION_COUNT
};
T_TEST_CASE(EventAllSatisfyBeforeTimeout)
{
test_context ctx;
T_interrupt_test_state state;
ctx.thread = _Thread_Get_executing();
state = T_interrupt_test(&all_satisfy_before_timeout_config, &ctx);
T_eq_int(state, T_INTERRUPT_TEST_DONE);
}
static T_interrupt_test_state timeout_before_satisfied_interrupt(void *arg)
{
rtems_status_code sc;
test_context *ctx = arg;
Thread_Control *thread = ctx->thread;
Thread_Wait_flags flags = _Thread_Wait_flags_get(thread);
T_interrupt_test_state state;
if (blocks_for_event(flags)) {
if (interrupts_blocking_op(flags)) {
state = T_INTERRUPT_TEST_DONE;
} else {
state = T_INTERRUPT_TEST_LATE;
}
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == DEADBEEF
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_SUCCESSFUL);
_Thread_Timeout(&thread->Timer.Watchdog);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == DEADBEEF
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_TIMEOUT);
sc = rtems_event_send(thread->Object.id, EVENTS);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(
*(rtems_event_set *) thread->Wait.return_argument == DEADBEEF
);
rtems_test_assert(_Thread_Wait_get_status(thread) == STATUS_TIMEOUT);
if (state == T_INTERRUPT_TEST_DONE) {
rtems_test_assert(
_Thread_Wait_flags_get(thread) == THREAD_WAIT_STATE_READY
);
}
rtems_test_assert(thread->Wait.count == EVENTS);
} else {
state = T_INTERRUPT_TEST_EARLY;
}
return state;
}
static void timeout_before_satisfied_action(void *arg)
{
rtems_event_set out;
rtems_status_code sc;
out = DEADBEEF;
sc = rtems_event_receive(EVENTS, RTEMS_EVENT_ALL | RTEMS_WAIT, 1, &out);
rtems_test_assert(sc == RTEMS_TIMEOUT);
rtems_test_assert(out == DEADBEEF);
out = DEADBEEF;
sc = rtems_event_receive(EVENTS, RTEMS_EVENT_ALL | RTEMS_NO_WAIT, 0, &out);
rtems_test_assert(sc == RTEMS_SUCCESSFUL);
rtems_test_assert(out == EVENTS);
}
static const T_interrupt_test_config timeout_before_satisfied_config = {
.action = timeout_before_satisfied_action,
.interrupt = timeout_before_satisfied_interrupt,
.max_iteration_count = MAX_ITERATION_COUNT
};
T_TEST_CASE(EventTimeoutBeforeSatisfied)
{
test_context ctx;
T_interrupt_test_state state;
ctx.thread = _Thread_Get_executing();
state = T_interrupt_test(&timeout_before_satisfied_config, &ctx);
T_eq_int(state, T_INTERRUPT_TEST_DONE);
}
static rtems_task Init( rtems_task_argument argument )
{
rtems_test_run( argument, TEST_STATE );
}
/* configuration information */
#define CONFIGURE_APPLICATION_NEEDS_SIMPLE_CONSOLE_DRIVER
#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER
#define CONFIGURE_MAXIMUM_TASKS 1
#define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION
#define CONFIGURE_RTEMS_INIT_TASKS_TABLE
#define CONFIGURE_MICROSECONDS_PER_TICK 1000
#define CONFIGURE_INIT
#include <rtems/confdefs.h>