DataMuseum.dk

top - metrics - download

    Length: 2126 (0x84e)
    Types: TextFile
    Names: »V«

└─⟦afbc8121e⟧ Bits:30000532 8mm tape, Rational 1000, MC68020_OS2000 7_2_2
    └─⟦77aa8350c⟧ »DATA« 
        └─⟦f794ecd1d⟧ 
            └─⟦4c85d69e2⟧ 
                └─⟦this⟧ 

TextFile

--    The use of this system is subject to the software license terms and
--    conditions agreed upon between Rational and the Customer.
--
--                Copyright 1988 by Rational.
--
--                          RESTRICTED RIGHTS LEGEND
--
--    Use, duplication, or disclosure by the Government is subject to
--    restrictions as set forth in subdivision (b)(3)(ii) of the Rights in
--    Technical Data and Computer Software clause at 52.227-7013.
--
--
--                Rational
--                3320 Scott Boulevard
--                Santa Clara, California 95054-3197
--
--   PROPRIETARY AND CONFIDENTIAL INFORMATION OF RATIONAL;
--   USE OR COPYING WITHOUT EXPRESS WRITTEN AUTHORIZATION
--   IS STRICTLY PROHIBITED.  THIS MATERIAL IS PROTECTED AS
--   AN UNPUBLISHED WORK UNDER THE U.S. COPYRIGHT ACT OF
--   1976.  CREATED 1988.  ALL RIGHTS RESERVED.
--
--

package Semaphore is

    type Lock_State is private;

    type Wait_Time is private;
    Wait_10_Sec : constant Wait_Time;

    function Initial_Lock_State
                (Default_Max_Wait : Wait_Time := Wait_10_Sec) return Lock_State;

    procedure Acquire (L : in out Lock_State);
    procedure Release (L : in out Lock_State);

private

    -- This version ignores the Wait_Time; it will wait forever.

    type Key_Type is new Integer;

    type Q_Element;

    type Q_Link is access Q_Element;

    for Q_Link'Storage_Size use 0;
    -- suppress the collection

    type Q_Element is
        record
            Next : Q_Link;
            Key  : Key_Type;
        end record;

    for Q_Element use
        record at mod 4;
            Next at 0 range 0 .. 31;
            Key  at 4 range 0 .. 31;
        end record;

    type Lock_State is new Q_Element;
    -- lock objects must be initialized to (null, 0);

    type Wait_Time is new Integer;
    Wait_10_Sec : constant Wait_Time := 10;

    pragma Suppress (Elaboration_Check, On => Acquire);
    pragma Suppress (Elaboration_Check, On => Release);
    pragma Suppress (Elaboration_Check, On => Initial_Lock_State);

    pragma Inline (Acquire);
    pragma Inline (Release);

end Semaphore;