gcc/ada/g-tasloc.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT RUN-TIME COMPONENTS                         --
   4 --                                                                          --
   5 --                       G N A T . T A S K _ L O C K                        --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --                            $Revision: 1.5 $
  10 --                                                                          --
  11 --            Copyright (C) 1998-2001 Ada Core Technologies, Inc.           --
  12 --                                                                          --
  13 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  14 -- terms of the  GNU General Public License as published  by the Free Soft- --
  15 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  16 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  17 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  18 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  19 -- for  more details.  You should have  received  a copy of the GNU General --
  20 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  21 -- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
  22 -- MA 02111-1307, USA.                                                      --
  23 --                                                                          --
  24 -- As a special exception,  if other files  instantiate  generics from this --
  25 -- unit, or you link  this unit with other files  to produce an executable, --
  26 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  27 -- covered  by the  GNU  General  Public  License.  This exception does not --
  28 -- however invalidate  any other reasons why  the executable file  might be --
  29 -- covered by the  GNU Public License.                                      --
  30 --                                                                          --
  31 -- GNAT is maintained by Ada Core Technologies Inc (http://www.gnat.com).   --
  32 --                                                                          --
  33 ------------------------------------------------------------------------------
  34
  35 --  Simple task lock and unlock routines
  36
  37 --  A small package containing a task lock and unlock routines for creating
  38 --  a critical region. The lock involved is a global lock, shared by all
  39 --  tasks, and by all calls to these routines, so these routines should be
  40 --  used with care to avoid unnecessary reduction of concurrency.
  41
  42 --  These routines may be used in a non-tasking program, and in that case
  43 --  they have no effect (they do NOT cause the tasking runtime to be loaded).
  44
  45 package GNAT.Task_Lock is
  46 pragma Elaborate_Body (Task_Lock);
  47
  48    procedure Lock;
  49    pragma Inline (Lock);
  50    --  Acquires the global lock, starts the execution of a critical region
  51    --  which no other task can enter until the locking task calls Unlock
  52
  53    procedure Unlock;
  54    pragma Inline (Unlock);
  55    --  Releases the global lock, allowing another task to successfully
  56    --  complete a Lock operation. Terminates the critical region.
  57
  58    --  The recommended protocol for using these two procedures is as
  59    --  follows:
  60
  61    --    Locked_Processing : begin
  62    --       Lock;
  63    --       ...
  64    --       TSL.Unlock;
  65    --
  66    --    exception
  67    --       when others =>
  68    --          Unlock;
  69    --          raise;
  70    --    end Locked_Processing;
  71
  72    --  This ensures that the lock is not left set if an exception is raised
  73    --  explicitly or implicitly during the critical locked region.
  74
  75    --  Note on multiple calls to Lock: It is permissible to call Lock
  76    --  more than once with no intervening Unlock from a single task,
  77    --  and the lock will not be released until the corresponding number
  78    --  of Unlock operations has been performed. For example:
  79
  80    --    GNAT.Task_Lock.Lock;     -- acquires lock
  81    --    GNAT.Task_Lock.Lock;     -- no effect
  82    --    GNAT.Task_Lock.Lock;     -- no effect
  83    --    GNAT.Task_Lock.Unlock;   -- no effect
  84    --    GNAT.Task_Lock.Unlock;   -- no effect
  85    --    GNAT.Task_Lock.Unlock;   -- releases lock
  86
  87    --  However, as previously noted, the Task_Lock facility should only
  88    --  be used for very local locks where the probability of conflict is
  89    --  low, so usually this kind of nesting is not a good idea in any case.
  90    --  In more complex locking situations, it is more appropriate to define
  91    --  an appropriate protected type to provide the required locking.
  92
  93 end GNAT.Task_Lock;