跳转到内容

Ada 编程/平台/POSIX

来自 Wikibooks,开放世界中的开放书籍

POSIX.5 是一个 IEEE(IEEE 标准 1003.5b-1996)和 ISO(ISO/IEC 14519:2001)标准,定义了 Ada 对 POSIX 系统调用的接口。该标准的范围与 POSIX.1(C API)相同,但定义了接口的厚绑定,因此受益于 Ada 功能。某些 POSIX.1 提供的功能,但 Ada 中已经存在的功能,则会跳过。

为 GNAT 提供了一个名为 Florist(佛罗里达州立大学/森林)的开源实现,最初由佛罗里达州立大学编写,最终由 AdaCore 维护。

以下编译器已知提供该标准的实现:ObjectAda for Linux [1]、GNAT [2]、MAXAda [3] 和 PowerAda [4]。GNAT 在 Windows 上的实现名为 wPOSIX(以前称为 Win32POSIX)。

[编辑 | 编辑源代码]
作者
以前是 佛罗里达州立大学,现在是 Adacore
项目信息
https://github.com/AdaCore/florist/
下载
https://github.com/AdaCore/florist/releases


[编辑 | 编辑源代码]
作者
Pascal Obry 和 AdaCore。
项目信息
https://github.com/AdaCore/wposix/
下载
https://github.com/AdaCore/wposix/releases


[编辑 | 编辑源代码]
  • Ada 中的 POSIX - “理解 Unix/Linux 编程”的附录。包含完整的示例。

ISO 工作组

[编辑 | 编辑源代码]
  • ISO 标准在 2006 年被考虑进行修订 [5]。识别出 POSIX 函数(包括 XSI 函数,也称为 SysV IPC)的列表,这些函数当前不受 Ada 标准支持,可以作为可能的扩展 [6]
  • 在 2013 年,工作组指出更新工作已取消 [7] 由于采用率低。

历史和背景信息

[编辑 | 编辑源代码]
华夏公益教科书