Ada Programming/Platform/POSIX

POSIX.5 is an IEEE (IEEE Standard 1003.5b-1996) and ISO (ISO/IEC 14519:2001) standard defining an Ada interface to the POSIX system calls.

The scope for the standard is the same than in POSIX.1 (C API) but defines a thick binding for the interface thus benefiting from Ada features. Some functionality provided by POSIX.1, but already present in Ada, is skipped. The ISO standard is currently being revised [1] [2].

There exists an open-source implementation for GNAT called Florist (Florida State University/Forest) originally written by the Florida State University and eventually maintained by AdaCore.

The following compilers are known to provide an implementation of the standard: Object Ada for Linux [3], GNAT [4], MAXAda [5] and PowerAda [6].

An incomplete implementation for GNAT over Windows is called Win32POSIX.

Florist links

Author  

Florida State University

Homepage  

http://gnat-florist.sourceforge.net

Project Info 

http://sourceforge.net/projects/gnat-florist

SVN Archive  

http://gnat-florist.svn.sourceforge.net/gnat-florist/

Download  

http://sourceforge.net/projects/gnat-florist/download

Win32POSIX links

Author  

Pascal Obry

Homepage  

http://perso.orange.fr/pascal.obry/w32posix.html

Project Info 

See homepage.

Download

http://perso.orange.fr/pascal.obry/archive/win32posix.tar.gz

POSIX.5 links

Standards

• ISO catalogue
• IEEE Standards Description

Tutorial

• POSIX in Ada — Appendix to “Understanding Unix/Linux Programming”. Includes complete examples.

Historical and background information

• Ada POSIX binding. A focused Ada investigation — NASA Technical Report.
• Available Ada Bindings - POSIX
• A Prototype Implementation of the POSIX/Ada Realtime Extension
• POSIX.5b Validation Test Suite