gcc/ada/libgnat/s-oslock__solaris.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                 GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS                 --
   4 --                                                                          --
   5 --                       S Y S T E M . O S _ L O C K S                      --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --            Copyright (C) 2024, Free Software Foundation, Inc.            --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 -- As a special exception under Section 7 of GPL version 3, you are granted --
  19 -- additional permissions described in the GCC Runtime Library Exception,   --
  20 -- version 3.1, as published by the Free Software Foundation.               --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNARL was developed by the GNARL team at Florida State University.       --
  28 -- Extensive contributions were provided by Ada Core Technologies, Inc.     --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31
  32 --  This is a Solaris (native) version of this package
  33
  34 with Ada.Unchecked_Conversion;
  35 with Interfaces.C;
  36
  37 package System.OS_Locks is
  38    pragma Preelaborate;
  39
  40    type mutex_t is limited private;
  41
  42    type Private_Task_Serial_Number is mod 2 ** Long_Long_Integer'Size;
  43    --  Used to give each task a unique serial number
  44
  45    type Owner_ID is access all Integer;
  46
  47    function To_Owner_ID is
  48      new Ada.Unchecked_Conversion (System.Address, Owner_ID);
  49
  50    type RTS_Lock;
  51    type RTS_Lock_Ptr is access all RTS_Lock;
  52
  53    type RTS_Lock is record
  54       L              : aliased mutex_t;
  55       Ceiling        : System.Any_Priority := System.Any_Priority'First;
  56       Saved_Priority : System.Any_Priority := System.Any_Priority'First;
  57       Owner          : Owner_ID;
  58       Next           : RTS_Lock_Ptr;
  59       Level          : Private_Task_Serial_Number := 0;
  60       Buddy          : Owner_ID;
  61       Frozen         : Boolean := False;
  62    end record;
  63
  64 private
  65
  66    type array_type_9 is array (0 .. 3) of Interfaces.C.unsigned_char;
  67    type record_type_3 is record
  68       flag  : array_type_9;
  69       Xtype : Interfaces.C.unsigned_long;
  70    end record;
  71    pragma Convention (C, record_type_3);
  72
  73    type upad64_t is new Interfaces.Unsigned_64;
  74
  75    type mutex_t is record
  76       flags : record_type_3;
  77       lock  : upad64_t;
  78       data  : upad64_t;
  79    end record;
  80    pragma Convention (C, mutex_t);
  81
  82 end System.OS_Locks;