Initial revision

2 files changed, 457 insertions, 0 deletions

diff --git a/c/src/ada-tests/sptests/sp15/sptest.adb b/c/src/ada-tests/sptests/sp15/sptest.adb
new file mode 100644
index 0000000000..1254350e90
--- /dev/null
+++ b/c/src/ada-tests/sptests/sp15/sptest.adb
@@ -0,0 +1,284 @@
+--
+--  SPTEST / BODY
+--
+--  DESCRIPTION:
+--
+--  This package is the implementation of Test 15 of the RTEMS
+--  Single Processor Test Suite.
+--
+--  DEPENDENCIES: 
+--
+--  
+--
+--  COPYRIGHT (c) 1989, 1990, 1991, 1992, 1993, 1994.
+--  On-Line Applications Research Corporation (OAR).
+--  All rights assigned to U.S. Government, 1994.
+--
+--  This material may be reproduced by or for the U.S. Government pursuant
+--  to the copyright license under the clause at DFARS 252.227-7013.  This
+--  notice must appear in all copies of this file and its derivatives.
+--
+--  sptest.adb,v 1.3 1995/07/12 19:42:05 joel Exp
+--
+
+with INTERFACES; use INTERFACES;
+with RTEMS;
+with TEST_SUPPORT;
+with TEXT_IO;
+with UNSIGNED32_IO;
+
+package body SPTEST is
+
+--PAGE
+-- 
+--  INIT
+--
+
+   procedure INIT (
+      ARGUMENT : in     RTEMS.TASK_ARGUMENT
+   ) is
+      STATUS : RTEMS.STATUS_CODES;
+   begin
+
+      TEXT_IO.NEW_LINE( 2 );
+      TEXT_IO.PUT_LINE( "*** TEST 15 ***" );
+
+      SPTEST.TASK_NAME( 1 ) := RTEMS.BUILD_NAME(  'T', 'A', '1', ' ' );
+
+      SPTEST.PARTITION_NAME( 1 ) := RTEMS.BUILD_NAME(  'P', 'T', '1', ' ' );
+      SPTEST.PARTITION_NAME( 2 ) := RTEMS.BUILD_NAME(  'P', 'T', '2', ' ' );
+
+      RTEMS.TASK_CREATE( 
+         SPTEST.TASK_NAME( 1 ), 
+         4, 
+         2048, 
+         RTEMS.DEFAULT_MODES,
+         RTEMS.DEFAULT_ATTRIBUTES,
+         SPTEST.TASK_ID( 1 ),
+         STATUS
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_CREATE OF TA1" );
+
+      RTEMS.TASK_START(
+         SPTEST.TASK_ID( 1 ),
+         SPTEST.TASK_1'ACCESS,
+         0,
+         STATUS
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_START OF TA1" );
+
+      TEXT_IO.PUT_LINE( "INIT - partition_create - partition 1" );
+      RTEMS.PARTITION_CREATE(
+         SPTEST.PARTITION_NAME( 1 ),
+         AREA_1'ADDRESS,
+         4096,
+         512,
+         RTEMS.DEFAULT_ATTRIBUTES,
+         SPTEST.PARTITION_ID( 1 ),
+         STATUS
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_CREATE OF PT1" );
+
+      TEXT_IO.PUT_LINE( "INIT - partition_create - partition 2" );
+      RTEMS.PARTITION_CREATE(
+         SPTEST.PARTITION_NAME( 2 ),
+         AREA_2'ADDRESS,
+         274,
+         128,
+         RTEMS.DEFAULT_ATTRIBUTES,
+         SPTEST.PARTITION_ID( 2 ),
+         STATUS
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_CREATE OF PT2" );
+
+      RTEMS.TASK_DELETE( RTEMS.SELF, STATUS );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "TASK_DELETE OF SELF" );
+
+   end INIT;
+
+--PAGE
+-- 
+--  PUT_ADDRESS_FROM_AREA_1
+--
+
+   procedure PUT_ADDRESS_FROM_AREA_1 (
+      TO_BE_PRINTED : in     RTEMS.ADDRESS
+   ) is
+
+   begin
+
+      UNSIGNED32_IO.PUT(
+         RTEMS.SUBTRACT( TO_BE_PRINTED, SPTEST.AREA_1'ADDRESS ),
+         WIDTH => 8,
+         BASE => 16
+      );
+
+   end PUT_ADDRESS_FROM_AREA_1;
+
+--PAGE
+-- 
+--  PUT_ADDRESS_FROM_AREA_2
+--
+
+   procedure PUT_ADDRESS_FROM_AREA_2 (
+      TO_BE_PRINTED : in     RTEMS.ADDRESS
+   ) is
+   begin
+
+      UNSIGNED32_IO.PUT(
+         RTEMS.SUBTRACT( TO_BE_PRINTED, SPTEST.AREA_2'ADDRESS ),
+         WIDTH => 8,
+         BASE => 16
+      );
+
+   end PUT_ADDRESS_FROM_AREA_2;
+
+--PAGE
+-- 
+--  TASK_1
+--
+
+   procedure TASK_1 (
+      ARGUMENT : in     RTEMS.TASK_ARGUMENT
+   ) is
+      PTID_1           : RTEMS.ID;
+      PTID_2           : RTEMS.ID;
+      BUFFER_ADDRESS_1 : RTEMS.ADDRESS;
+      BUFFER_ADDRESS_2 : RTEMS.ADDRESS;
+      BUFFER_ADDRESS_3 : RTEMS.ADDRESS;
+      BUFFER_ADDRESS_4 : RTEMS.ADDRESS;
+      STATUS           : RTEMS.STATUS_CODES;
+   begin
+
+      TEXT_IO.PUT( "TA1 - partition_ident - partition 1 id = " );
+      RTEMS.PARTITION_IDENT( 
+         SPTEST.PARTITION_NAME( 1 ), 
+         RTEMS.SEARCH_ALL_NODES, 
+         PTID_1, 
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_IDENT OF PT1" );
+      UNSIGNED32_IO.PUT( PTID_1, WIDTH => 8, BASE => 16 );
+      TEXT_IO.NEW_LINE;
+   
+      TEXT_IO.PUT( "TA1 - partition_ident - partition 2 id = " );
+      RTEMS.PARTITION_IDENT( 
+         SPTEST.PARTITION_NAME( 2 ), 
+         RTEMS.SEARCH_ALL_NODES, 
+         PTID_2, 
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_IDENT OF PT2" );
+      UNSIGNED32_IO.PUT( PTID_2, WIDTH => 8, BASE => 16 );
+      TEXT_IO.NEW_LINE;
+
+      TEXT_IO.PUT(
+         "TA1 - partition_get_buffer - get buffer 1 from partition 1 - "
+      );
+      RTEMS.PARTITION_GET_BUFFER( 
+         SPTEST.PARTITION_ID( 1 ), 
+         BUFFER_ADDRESS_1,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_GET_BUFFER" );
+      SPTEST.PUT_ADDRESS_FROM_AREA_1( BUFFER_ADDRESS_1 );
+      TEXT_IO.NEW_LINE;
+      
+      TEXT_IO.PUT(
+         "TA1 - partition_get_buffer - get buffer 2 from partition 1 - "
+      );
+      RTEMS.PARTITION_GET_BUFFER( 
+         SPTEST.PARTITION_ID( 1 ), 
+         BUFFER_ADDRESS_2,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_GET_BUFFER" );
+      SPTEST.PUT_ADDRESS_FROM_AREA_1( BUFFER_ADDRESS_2 );
+      TEXT_IO.NEW_LINE;
+      
+      TEXT_IO.PUT(
+         "TA1 - partition_get_buffer - get buffer 1 from partition 2 - "
+      );
+      RTEMS.PARTITION_GET_BUFFER( 
+         SPTEST.PARTITION_ID( 2 ), 
+         BUFFER_ADDRESS_3,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_GET_BUFFER" );
+      SPTEST.PUT_ADDRESS_FROM_AREA_2( BUFFER_ADDRESS_3 );
+      TEXT_IO.NEW_LINE;
+      
+      TEXT_IO.PUT(
+         "TA1 - partition_get_buffer - get buffer 2 from partition 2 - "
+      );
+      RTEMS.PARTITION_GET_BUFFER( 
+         SPTEST.PARTITION_ID( 2 ), 
+         BUFFER_ADDRESS_4,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_GET_BUFFER" );
+      SPTEST.PUT_ADDRESS_FROM_AREA_2( BUFFER_ADDRESS_4 );
+      TEXT_IO.NEW_LINE;
+
+      TEXT_IO.PUT(
+         "TA1 - partition_return_buffer - return buffer 1 to partition 1 - "
+      );
+      SPTEST.PUT_ADDRESS_FROM_AREA_1( BUFFER_ADDRESS_1 );
+      TEXT_IO.NEW_LINE;
+      RTEMS.PARTITION_RETURN_BUFFER( 
+         SPTEST.PARTITION_ID( 1 ), 
+         BUFFER_ADDRESS_1,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_RETURN_BUFFER" );
+ 
+      TEXT_IO.PUT(
+         "TA1 - partition_return_buffer - return buffer 2 to partition 1 - "
+      );
+      SPTEST.PUT_ADDRESS_FROM_AREA_1( BUFFER_ADDRESS_2 );
+      TEXT_IO.NEW_LINE;
+      RTEMS.PARTITION_RETURN_BUFFER( 
+         SPTEST.PARTITION_ID( 1 ), 
+         BUFFER_ADDRESS_2,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_RETURN_BUFFER" );
+ 
+      TEXT_IO.PUT(
+         "TA1 - partition_return_buffer - return buffer 1 to partition 2 - "
+      );
+      SPTEST.PUT_ADDRESS_FROM_AREA_2( BUFFER_ADDRESS_3 );
+      TEXT_IO.NEW_LINE;
+      RTEMS.PARTITION_RETURN_BUFFER( 
+         SPTEST.PARTITION_ID( 2 ), 
+         BUFFER_ADDRESS_3,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_RETURN_BUFFER" );
+ 
+      TEXT_IO.PUT(
+         "TA1 - partition_return_buffer - return buffer 2 to partition 2 - "
+      );
+      SPTEST.PUT_ADDRESS_FROM_AREA_2( BUFFER_ADDRESS_4 );
+      TEXT_IO.NEW_LINE;
+      RTEMS.PARTITION_RETURN_BUFFER( 
+         SPTEST.PARTITION_ID( 2 ), 
+         BUFFER_ADDRESS_4,
+         STATUS 
+      );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_RETURN_BUFFER" );
+ 
+      TEXT_IO.PUT_LINE( "TA1 - partition_delete - delete partition 1" );
+      RTEMS.PARTITION_DELETE( SPTEST.PARTITION_ID( 1 ), STATUS );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_DELETE OF SELF" );
+
+      TEXT_IO.PUT_LINE( "TA1 - partition_delete - delete partition 2" );
+      RTEMS.PARTITION_DELETE( SPTEST.PARTITION_ID( 2 ), STATUS );
+      TEST_SUPPORT.DIRECTIVE_FAILED( STATUS, "PARTITION_DELETE OF SELF" );
+
+      TEXT_IO.PUT_LINE( "*** END OF TEST 15 ***" );
+      RTEMS.SHUTDOWN_EXECUTIVE( 0 );
+   
+   end TASK_1;
+
+end SPTEST;
diff --git a/c/src/ada-tests/sptests/sp15/sptest.ads b/c/src/ada-tests/sptests/sp15/sptest.ads
new file mode 100644
index 0000000000..0d17f4b17e
--- /dev/null
+++ b/c/src/ada-tests/sptests/sp15/sptest.ads
@@ -0,0 +1,173 @@
+--
+--  SPTEST / SPECIFICATION
+--
+--  DESCRIPTION:
+--
+--  This package is the specification for Test 15 of the RTEMS
+--  Single Processor Test Suite.
+--
+--  DEPENDENCIES: 
+--
+--  
+--
+--  COPYRIGHT (c) 1989, 1990, 1991, 1992, 1993, 1994.
+--  On-Line Applications Research Corporation (OAR).
+--  All rights assigned to U.S. Government, 1994.
+--
+--  This material may be reproduced by or for the U.S. Government pursuant
+--  to the copyright license under the clause at DFARS 252.227-7013.  This
+--  notice must appear in all copies of this file and its derivatives.
+--
+--  sptest.ads,v 1.3 1995/07/12 19:42:06 joel Exp
+--
+
+with CLOCK_DRIVER;
+with RTEMS;
+
+package SPTEST is
+
+--
+--  These arrays contain the IDs and NAMEs of all RTEMS tasks created
+--  by this test.
+--
+
+   TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
+   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
+
+--
+--  These arrays contain the IDs and NAMEs of all RTEMS partitions created
+--  by this test.
+--
+
+   PARTITION_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
+   PARTITION_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
+
+--
+--  These arrays define the memory areas used for the partitions in
+--  this test.
+--
+
+   AREA_1 : array ( RTEMS.UNSIGNED32 range 0 .. 4095 ) of RTEMS.UNSIGNED8;
+   for AREA_1'ALIGNMENT use RTEMS.STRUCTURE_ALIGNMENT;
+
+   AREA_2 : array ( RTEMS.UNSIGNED32 range 0 ..  273 ) of RTEMS.UNSIGNED8;
+   for AREA_2'ALIGNMENT use RTEMS.STRUCTURE_ALIGNMENT;
+
+
+--
+--  INIT
+--
+--  DESCRIPTION:
+--
+--  This RTEMS task initializes the application.
+--
+
+   procedure INIT (
+      ARGUMENT : in     RTEMS.TASK_ARGUMENT
+   );
+
+--
+--  PUT_ADDRESS_FROM_AREA_1
+--
+--  DESCRIPTION:
+--
+--  This subpgram prints the offset of the address TO_BE_PRINTED 
+--  from the first byte of AREA_1.
+--
+--  NOTE:
+--
+--  This subprogram is used because the actual address of AREA_1
+--  varies based upon the size of the executable, the target board,
+--  and the target processor.
+--
+
+   procedure PUT_ADDRESS_FROM_AREA_1 (
+      TO_BE_PRINTED : in     RTEMS.ADDRESS
+   );
+
+--
+--  PUT_ADDRESS_FROM_AREA_2
+--
+--  DESCRIPTION:
+--
+--  This subprogram prints the offset of the address TO_BE_PRINTED 
+--  from the first byte of AREA_2.
+--
+--  NOTE:
+--
+--  This subprogram is used because the actual address of AREA_1
+--  varies based upon the size of the executable, the target board,
+--  and the target processor.
+--
+
+   procedure PUT_ADDRESS_FROM_AREA_2 (
+      TO_BE_PRINTED : in     RTEMS.ADDRESS
+   );
+
+--
+--  TASK_1
+--
+--  DESCRIPTION:
+--
+--  This RTEMS task tests the Partition Manager.
+--
+
+   procedure TASK_1 (
+      ARGUMENT : in     RTEMS.TASK_ARGUMENT
+   );
+
+--
+--  This is the Driver Address Table for this test.
+--
+
+   DEVICE_DRIVERS : aliased RTEMS.DRIVER_ADDRESS_TABLE( 1 .. 1 ) :=
+   (1=>
+      (
+        CLOCK_DRIVER.INITIALIZE'ACCESS,              -- Initialization
+        RTEMS.NO_DRIVER_ENTRY,                       -- Open
+        RTEMS.NO_DRIVER_ENTRY,                       -- Close
+        RTEMS.NO_DRIVER_ENTRY,                       -- Read
+        RTEMS.NO_DRIVER_ENTRY,                       -- Write
+        RTEMS.NO_DRIVER_ENTRY                        -- Control
+      )
+   );
+
+--
+--  This is the Initialization Tasks Table for this test.
+--
+
+   INITIALIZATION_TASKS : aliased RTEMS.INITIALIZATION_TASKS_TABLE( 1 .. 1 ) := 
+   (1=>
+     (
+       RTEMS.BUILD_NAME( 'U', 'I', '1', ' ' ),        -- task name
+       2048,                                          -- stack size
+       1,                                             -- priority
+       RTEMS.DEFAULT_ATTRIBUTES,                      -- attributes
+       SPTEST.INIT'ACCESS,                            -- entry point
+       RTEMS.NO_PREEMPT,                              -- initial mode
+       0                                              -- argument list
+     )
+   );
+
+--
+--  This is the Configuration Table for this test.
+--
+
+   CONFIGURATION : aliased RTEMS.CONFIGURATION_TABLE := (
+      RTEMS.NULL_ADDRESS,        -- will be replaced by BSP
+      64 * 1024,                 -- executive RAM size
+      10,                        -- maximum # tasks
+      0,                         -- maximum # timers
+      0,                         -- maximum # semaphores
+      0,                         -- maximum # message queues
+      0,                         -- maximum # messages
+      2,                         -- maximum # partitions
+      0,                         -- maximum # regions
+      0,                         -- maximum # dp memory areas
+      0,                         -- maximum # periods
+      0,                         -- maximum # user extensions
+      RTEMS.MILLISECONDS_TO_MICROSECONDS(10), -- # us in a tick
+      100                        -- # ticks in a timeslice
+  );
+
+end SPTEST;