DataMuseum.dk

top - download

    Length: 1949 (0x79d)
    Types: TextFile
    Names: »B«

└─⟦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 body Semaphore is

    package Implementation is

        procedure Acquire (L : in out Lock_State);
        pragma Interface (Asm, Acquire);
        pragma Suppress (Elaboration_Check, Acquire);
        pragma Import_Procedure (Acquire, "__SEMAPHORE_ACQUIRE",
                                 Mechanism => (Reference));

        procedure Release (L : in out Lock_State);
        pragma Interface (Asm, Release);
        pragma Suppress (Elaboration_Check, Release);
        pragma Import_Procedure (Release, "__SEMAPHORE_RELEASE",
                                 Mechanism => (Reference));

    end Implementation;

    procedure Acquire (L : in out Lock_State) is
    begin
        Implementation.Acquire (L);
    end Acquire;

    procedure Release (L : in out Lock_State) is
    begin
        Implementation.Release (L);
    end Release;


    function Initial_Lock_State (Default_Max_Wait : Wait_Time := Wait_10_Sec)
                                return Lock_State is
    begin
        return Lock_State'(null, 0);
    end Initial_Lock_State;

end Semaphore;