跳轉到內容

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] 由於採用率低。

歷史和背景資訊

[編輯 | 編輯原始碼]
華夏公益教科書