DataMuseum.dk

top - metrics - download

    Length: 2084 (0x824)
    Types: TextFile
    Names: »V«

└─⟦afbc8121e⟧ Bits:30000532 8mm tape, Rational 1000, MC68020_OS2000 7_2_2
    └─⟦77aa8350c⟧ »DATA« 
        └─⟦f794ecd1d⟧ 
            └─⟦24d1ddd49⟧ 
                └─⟦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.
--
--

with Runtime_Ids;

package Semaphore is

    type Key_Type is new Integer;

    type Q_Element;
    type Q_Link is access Q_Element;
    for Q_Link'Storage_Size use 0;

    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 is new Q_Element;
    -- lock objects must be initialized to (null, 0);


    procedure Acquire (The_Lock : Lock);
    -- Acquire the lock
    --

    procedure Release (The_Lock : Lock);
    -- Release the lock

private

    pragma Interface (Asm, Acquire);
    pragma Import_Procedure (Acquire, "__SERIALIZATION.ACQUIRE_LOCK",
                             Mechanism => (Reference));

    pragma Interface (Asm, Release);
    pragma Import_Procedure (Release, "__SERIALIZATION.RELEASE_LOCK",
                             Mechanism => (Reference));

end Semaphore;  
pragma Export_Elaboration_Procedure ("__SEMAPHORE_SPEC_ELAB");  
pragma Runtime_Unit (Unit_Number         => Runtime_Ids.Runtime_Compunit,
                     Elab_Routine_Number => Runtime_Ids.Internal);