------------------------------------------------------------------------------ -- -- -- POSIX ADA LANGUAGE INTERFACES COMPONENTS -- -- -- -- P O S I X . S E M A P H O R E S -- -- -- -- S p e c -- -- -- -- $Revision: 1.3 $ -- -- -- -- -- -- This package specification is part of the Florida State -- -- University (FSU) prototype implementation of IEEE Draft Std -- -- 1003.5b, for use with the Gnu NYU Ada Translator (GNAT) and the -- -- FSU Gnu Ada Runtime Library (GNARL). -- -- -- -- This package specification contains some text extracted from IEEE -- -- Draft Std 1003.5b/D5 (August 1995), IEEE Draft Standard for -- -- Information Technology -- POSIX Ada Language Interfaces -- Part 1: -- -- Binding for System Application Program Interface, Amendment 1: -- -- Realtime Extensions, copyright 1995 by the Institute of Electrical -- -- and Electronics Engineers, Inc. -- -- -- -- This package specification differs from the package specifications -- -- in IEEE Draft Std 1003.5/D5 in several respects. For example, it -- -- includes additional with-clause dependences, comments, and -- -- complete definitions for certain types, ranges, and constants that -- -- are left implementation-defined in the draft standard. These -- -- differences appear to be within the scope of variation which the -- -- draft standard permits for implementations, but no warranty is -- -- made to that effect. -- -- -- -- These package specifications are distributed in the hope that they -- -- will be useful, but WITHOUT ANY WARRANTY; without even the implied -- -- warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -- -- -- -- The package specifications in IEEE Draft Std 1003.5b/D5 represent -- -- only a portion of the document and are not to be interpreteted -- -- outside the context of the document, nor is the draft document to -- -- be interpreted as an approved consensus standard. -- -- -- -- When IEEE Std 1003.5b is approved, it must be used in conjunction -- -- with the final version of the package specifications contained in -- -- that document in order to claim conformance. The IEEE takes no -- -- responsibility for and will assume no liability for damages -- -- resulting from the reader's misinterpretation of said information -- -- resulting from its out-of-context nature. To order copies of the -- -- IEEE Draft Std 1003.5/D5, please contact the IEEE Service Center -- -- at 445 Hoes Lane, PO Box 1331, Piscataway, NJ 08855-1331; via -- -- phone at 1-800-678-IEEE, 908-981-1393; or via fax at 908-981-9667. -- -- -- -- For bodies to these packages, and other free products of the FSU -- -- POSIX/Ada Real-Time project, see the ftp site "ftp.cs.fsu.edu", -- -- subdirectory "pub/PART", or send e-mail to "part@ada.cs.fsu.edu". -- -- -- ------------------------------------------------------------------------------ with POSIX, POSIX.IO, POSIX.Permissions, Implementation_Defined, Low_Levels; package POSIX.Semaphores is package LL renames Low_Levels; type Semaphore is limited private; type Semaphore_Descriptor is private; procedure Initialize (Sem : in out Semaphore; Value : in Natural; Is_Shared : in Boolean := False); function Descriptor_Of (Sem : Semaphore) return Semaphore_Descriptor; procedure Finalize (Sem : in out Semaphore); function Open (Name : POSIX.POSIX_String; Masked_Signals : POSIX.Signal_Masking := POSIX.RTS_Signals) return Semaphore_Descriptor; function Open_Or_Create (Name : POSIX.POSIX_String; Permissions : POSIX.Permissions.Permission_Set; Value : Natural; Options : POSIX.IO.Open_Option_Set := POSIX.IO.Empty_Set; Masked_Signals : POSIX.Signal_Masking := POSIX.RTS_Signals) return Semaphore_Descriptor; procedure Close (Sem : in out Semaphore_Descriptor); procedure Unlink_Semaphore (Name : in POSIX.POSIX_String); procedure Wait (Sem : in Semaphore_Descriptor; Masked_Signals : in POSIX.Signal_Masking := POSIX.RTS_Signals); function Try_Wait (Sem : Semaphore_Descriptor) return Boolean; procedure Post (Sem : in Semaphore_Descriptor); function Get_Value (Sem : Semaphore_Descriptor) return Integer; private type Semaphore is new Implementation_Defined.sem_t; type Semaphore_Descriptor is new LL.Semaphore_Descriptor; end POSIX.Semaphores;