mptests/mp03/mptest.ads

0001 -- SPDX-License-Identifier: BSD-2-Clause
0002
0003 --
0004 --  MPTEST / SPECIFICATION
0005 --
0006 --  DESCRIPTION:
0007 --
0008 --  This package is the specification for Test 3 of the RTEMS
0009 --  Multiprocessor Test Suite.
0010 --
0011 --  DEPENDENCIES:
0012 --
0013 --
0014 --
0015 --  COPYRIGHT (c) 1989-2011.
0016 --  On-Line Applications Research Corporation (OAR).
0017 --
0018 --  Redistribution and use in source and binary forms, with or without
0019 --  modification, are permitted provided that the following conditions
0020 --  are met:
0021 --  1. Redistributions of source code must retain the above copyright
0022 --     notice, this list of conditions and the following disclaimer.
0023 --  2. Redistributions in binary form must reproduce the above copyright
0024 --     notice, this list of conditions and the following disclaimer in the
0025 --     documentation and/or other materials provided with the distribution.
0026 --
0027 --  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0028 --  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0029 --  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0030 --  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0031 --  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0032 --  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0033 --  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0034 --  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0035 --  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0036 --  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0037 --  POSSIBILITY OF SUCH DAMAGE.
0038 --
0039
0040 with RTEMS;
0041 with RTEMS.TASKS;
0042
0043 package MPTEST is
0044
0045 --
0046 --  These arrays contain the IDs and NAMEs of all RTEMS tasks created
0047 --  by this test.
0048 --
0049
0050    TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
0051    TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
0052
0053 --
0054 --  These arrays contain the IDs and NAMEs of all RTEMS timers created
0055 --  by this test.
0056 --
0057
0058    TIMER_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.ID;
0059    TIMER_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME;
0060
0061 --
0062 --  This variable contains the ID of the remote task with which this
0063 --  test interacts.
0064 --
0065
0066    REMOTE_TID  : RTEMS.ID;
0067
0068 --
0069 --  This variable contains the node on which the remote task with which
0070 --  this test interacts resides.
0071 --
0072
0073    REMOTE_NODE : RTEMS.UNSIGNED32;
0074
0075 --
0076 --  INIT
0077 --
0078 --  DESCRIPTION:
0079 --
0080 --  This RTEMS task initializes the application.
0081 --
0082
0083    procedure INIT (
0084       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0085    );
0086    pragma Convention (C, INIT);
0087
0088 --
0089 --  DELAYED_SEND_EVENT
0090 --
0091 --  DESCRIPTION:
0092 --
0093 --  This subprogram is a timer service routine which sends an
0094 --  event set to a waiting task.
0095 --
0096
0097    procedure DELAYED_SEND_EVENT (
0098       IGNORED_ID      : in     RTEMS.ID;
0099       IGNORED_ADDRESS : in     RTEMS.ADDRESS
0100    );
0101    pragma Convention (C, DELAYED_SEND_EVENT);
0102
0103 --
0104 --  TEST_TASK
0105 --
0106 --  DESCRIPTION:
0107 --
0108 --  This is the body of the RTEMS tasks which constitute this test.
0109 --
0110
0111    procedure TEST_TASK (
0112       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0113    );
0114    pragma Convention (C, TEST_TASK);
0115
0116 --
0117 --  TEST_TASK_SUPPORT
0118 --
0119 --  DESCRIPTION:
0120 --
0121 --  This subprogram performs the bulk of the test.  Based on the NODE
0122 --  specified, this subprogram loops suspending/resuming a remote task
0123 --  or waiting for itself to be suspended/resumed.
0124 --
0125
0126    procedure TEST_TASK_SUPPORT (
0127       NODE : in     RTEMS.UNSIGNED32
0128    );
0129
0130 end MPTEST;