mptests/mp09/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 9 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 --  Buffer Record similar to that used by RTEMS 3.2.1.  Using this
0047 --  avoids changes to the test.
0048 --
0049
0050    type BUFFER is
0051       record
0052          FIELD1 : RTEMS.NAME;   -- TEMPORARY UNTIL VARIABLE LENGTH
0053          FIELD2 : RTEMS.NAME;
0054          FIELD3 : RTEMS.NAME;
0055          FIELD4 : RTEMS.NAME;
0056       end record;
0057
0058 --
0059 --  These arrays contain the IDs and NAMEs of all RTEMS tasks created
0060 --  by this test.
0061 --
0062
0063    TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
0064    TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
0065
0066 --
0067 --  These arrays contain the IDs and NAMEs of all RTEMS message
0068 --  queues created by this test.
0069 --
0070
0071    QUEUE_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.ID;
0072    QUEUE_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 2 ) of RTEMS.NAME;
0073
0074 --
0075 --  The following are message buffers used to contain the test messages
0076 --  and pointers to those buffers.
0077 --
0078
0079    RECEIVE_BUFFER_AREA : MPTEST.BUFFER;
0080    BUFFER_AREA_1       : MPTEST.BUFFER;
0081    BUFFER_AREA_2       : MPTEST.BUFFER;
0082    BUFFER_AREA_3       : MPTEST.BUFFER;
0083    BUFFER_AREA_4       : MPTEST.BUFFER;
0084
0085    RECEIVE_BUFFER : RTEMS.ADDRESS;
0086    BUFFER_1       : RTEMS.ADDRESS;
0087    BUFFER_2       : RTEMS.ADDRESS;
0088    BUFFER_3       : RTEMS.ADDRESS;
0089    BUFFER_4       : RTEMS.ADDRESS;
0090
0091 --
0092 --  This variable contains the ID of the remote task with which this
0093 --  test interacts.
0094 --
0095
0096    REMOTE_TID  : RTEMS.ID;
0097
0098 --
0099 --  This variable contains the node on which the remote task with which
0100 --  this test interacts resides.
0101 --
0102
0103    REMOTE_NODE : RTEMS.UNSIGNED32;
0104
0105 --
0106 --  The number of events to process per dot printed out.
0107 --
0108
0109    PER_DOT : constant RTEMS.UNSIGNED32 := 100;
0110
0111 --
0112 --  INIT
0113 --
0114 --  DESCRIPTION:
0115 --
0116 --  This RTEMS task initializes the application.
0117 --
0118
0119    procedure INIT (
0120       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0121    );
0122    pragma Convention (C, INIT);
0123
0124 --
0125 --  SEND_MESSAGES
0126 --
0127 --  This subprogram prints and sends a sequence of three test messages.
0128 --  One of the messages is sent, one is urgent, and one is broadcast.
0129 --  A one second pause is between each the sending of each message.
0130 --
0131
0132    procedure SEND_MESSAGES;
0133
0134 --
0135 --  RECEIVE_MESSAGES
0136 --
0137 --  This subprogram receives and prints a sequence of three test messages.
0138 --
0139
0140    procedure RECEIVE_MESSAGES;
0141
0142 --
0143 --  FILL_BUFFER
0144 --
0145 --  DESCRIPTION:
0146 --
0147 --  This subprogram takes the SOURCE input string and places
0148 --  up to the first sixteen characters of that string into
0149 --  the message BUFFER.
0150 --
0151
0152    procedure FILL_BUFFER (
0153       SOURCE : in     STRING;
0154       BUFFER :    out MPTEST.BUFFER
0155    );
0156
0157 --
0158 --  PUT_BUFFER
0159 --
0160 --  DESCRIPTION:
0161 --
0162 --  This subprogram prints the specified message BUFFER.
0163 --
0164
0165    procedure PUT_BUFFER (
0166       BUFFER : in     MPTEST.BUFFER
0167    );
0168
0169 --
0170 --  TEST_TASK
0171 --
0172 --  DESCRIPTION:
0173 --
0174 --  This is the body of the RTEMS tasks which constitute this test.
0175 --
0176
0177    procedure TEST_TASK (
0178       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0179    );
0180    pragma Convention (C, TEST_TASK);
0181
0182 end MPTEST;