home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / gnat-2.06-src.tgz / tar.out / fsf / gnat / ada / s-tasuti.ads < prev    next >
Text File  |  1996-09-28  |  6KB  |  140 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                 GNU ADA RUNTIME LIBRARY (GNARL) COMPONENTS               --
  4. --                                                                          --
  5. --              S Y S T E M . T A S K I N G . U T I L I T I E S             --
  6. --                                                                          --
  7. --                                  S p e c                                 --
  8. --                                                                          --
  9. --                             $Revision: 1.18 $                            --
  10. --                                                                          --
  11. --     Copyright (c) 1991,1992,1993,1994,1995 FSU, All Rights Reserved      --
  12. --                                                                          --
  13. -- GNARL is free software; you can redistribute it  and/or modify it  under --
  14. -- terms  of  the  GNU  Library General Public License  as published by the --
  15. -- Free Software  Foundation;  either version 2, or (at  your  option)  any --
  16. -- later  version.  GNARL is distributed  in the hope that  it will be use- --
  17. -- ful, but but WITHOUT ANY WARRANTY;  without even the implied warranty of --
  18. -- MERCHANTABILITY  or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Gen- --
  19. -- eral Library Public License  for more details.  You should have received --
  20. -- a  copy of the GNU Library General Public License along with GNARL;  see --
  21. -- file COPYING.LIB.  If not,  write to the  Free Software Foundation,  675 --
  22. -- Mass Ave, Cambridge, MA 02139, USA.                                      --
  23. --                                                                          --
  24. ------------------------------------------------------------------------------
  25.  
  26. --  This package provides RTS Internal Declarations.
  27. --  These declarations are not part of the GNARLI
  28.  
  29. with Unchecked_Conversion;
  30.  
  31. with System.Compiler_Exceptions;
  32. --  Used for, Exception_ID
  33.  
  34. package System.Tasking.Utilities is
  35.  
  36.    --  Entry queue related types
  37.    --  ??? Not currently used.  Should it be?
  38.  
  39.    type Server_Kind is (Task_Server, PO_Server);
  40.  
  41.    type Server_Record (Kind : Server_Kind := Task_Server) is record
  42.       case Kind is
  43.          when Task_Server =>
  44.             Called_Task            : Task_ID;
  45.             Acceptor_Prev_Call     : Entry_Call_Link;
  46.  
  47.             Acceptor_Prev_Priority : Rendezvous_Priority;
  48.             --  For a task servicing a task entry call,
  49.             --  information about the most recent prior call being serviced.
  50.             --   Not used for protected entry calls;
  51.             --  this function should be performed by GNULLI ceiling locking.
  52.  
  53.          when PO_Server =>
  54.             Called_PO : Protection_Access;
  55.  
  56.       end case;
  57.    end record;
  58.  
  59.    function ATCB_To_Address is new
  60.      Unchecked_Conversion (Task_ID, System.Address);
  61.  
  62.    procedure Vulnerable_Complete_Activation
  63.      (T : Task_ID;
  64.       Completed : Boolean);
  65.    --  Completes the activation by signaling its children.
  66.    --  Completed indicates a call when the task has completed.
  67.    --  Does not defer abortion (unlike Complete_Activation).
  68.  
  69.    procedure Check_Exception;
  70.    --  Raises an exception pending on Self.
  71.    --  Used to delay exceptions until abortion is undeferred.
  72.  
  73.    procedure Complete_on_Sync_Point (T : Task_ID);
  74.    --  If a task is suspended on an accept, select, or entry call
  75.    --  (but not yet *in* rendezvous) then complete the task.
  76.  
  77.    procedure Reset_Priority
  78.      (Acceptor_Prev_Priority : Rendezvous_Priority;
  79.       Acceptor               : Task_ID);
  80.    pragma Inline (Reset_Priority);
  81.    --  Reset the priority of a task completing an accept statement to
  82.    --  the value it had before the call.
  83.  
  84.    procedure Terminate_Alternative;
  85.    --  Called when terminate alternative is selected.
  86.    --  Waits for the parent to terminate the task
  87.    --  or a caller to select an accept alternative.
  88.    --  Assumes that abortion is deferred when called.
  89.  
  90.    procedure Complete (Target : Task_ID);
  91.    --  Complete task and act on pending abortion.
  92.  
  93.    ---------------------------------
  94.    -- Task_Stage Related routines --
  95.    ---------------------------------
  96.  
  97.    procedure Make_Independent;
  98.    --  Remove a task from the master hierarchy.  This includes setting the
  99.    --  master ID to zero (no master) and removing the task from the
  100.    --  All_Tasks_List (which is used to search for masters and dependents).
  101.    --  No master will wait on the termination of an independent task;
  102.    --  such tasks may still be running when the program terminates, at which
  103.    --  point they will be killed by the underlying operating system.
  104.    --  This is a dangerous operation, and should only be used on tasks
  105.    --  that require no finalization.  Independent tasks are intended only
  106.    --  for internal use by the GNARL, to prevent such internal tasks from
  107.    --  preventing a user task from terminating.
  108.  
  109.    ------------------------------------
  110.    -- Task Abortion related routines --
  111.    ------------------------------------
  112.  
  113.    procedure Abort_To_Level (Target : Task_ID; L : ATC_Level);
  114.    --  Abort a task to a specified ATC level.
  115.  
  116.    procedure Abort_Handler (Context : System.Task_Primitives.Pre_Call_State);
  117.    --  Handler to be installed at initialization; it is invoked by a task
  118.    --  when it is the target of an Abort_Task low-level operation.
  119.  
  120.    procedure Abort_Dependents (Abortee : Task_ID);
  121.    --  Propagate the abortion of a parent into its children.
  122.  
  123.    -----------------------------------------------
  124.    --  RTS routine to be used for pragma assert --
  125.    -----------------------------------------------
  126.  
  127.    function Runtime_Assert_Shutdown (Msg : in String) return boolean;
  128.    --  This function is used to shut down the runtime when there is
  129.    --  an assertion error to be raise through "pragma Assert"
  130.    --  Usage should be either
  131.    --    pragma Assert (Runtime_Assert_Shutdown ("..."));
  132.    --    --  unconditional shutdown
  133.    --  or
  134.    --    pragma Assert
  135.    --      (ASSERT_CONDITION or else Runtime_Assert_Shutdown ("..."));
  136.    --    --  conditional shutdown. Shut down the runtime only when the
  137.    --    --  ASSERT_CONDITION fails.
  138.  
  139. end System.Tasking.Utilities;
  140.