Ada 程式設計/編譯指示/共享

pragma Shared (local_name);

摘要

自 Ada 95 以來，此語言特性已被棄用。

共享是 Ada 83 表示編譯指示，等效於原子。^[1] 但是，它只能應用於變數，而 Atomic 也可以用於型別。

由於以下幾個原因，它在 Ada 95 中被從語言中刪除

它沒有被正確定義^[2]
它不能應用於陣列^[2]
名稱共享很令人困惑^[3]

在 Ada 95 中，編譯指示 Shared 被編譯指示原子、易變、原子元件和易變元件所取代。

可移植性

Shared 是 Ada 83 的標準編譯指示，因此所有 Ada 83 編譯器都必須實現它。它在語言的後續版本中已過時，但它等效於編譯指示原子，因此它通常由 Ada 95 編譯器為了相容性而實現。^[4]

示例

type Device_Status :  Status_Register;
pragma Shared (Device_Status);

錯誤用法

對於任務來說，使用共享變數通常是不安全的。^[5]

參見

華夏公益教科書

Ada 83 參考手冊

Ada 95 理據

C.5 共享變數控制

Ada 83 理據

13.2.3 可見性規則

Ada 83 質量和風格指南

參考文獻

↑ Robert Dewar (1996-02-17). "編譯指示 Shared (was Ada is almost ....)". comp.lang.ada. (網路連結). Retrieved on 2008-05-28. "編譯指示 Atomic 與編譯指示 Volatile 完全不同。Ada 中的編譯指示 Atomic 本質上與 Ada 83 中的編譯指示 Shared 相同。Ada 中的編譯指示 Volatile 本質上與 C 中的 volatile 相同，並且是 Ada 83 中沒有的功能。"
↑ ^a ^b Laurent Guerby (1995). "C.5 共享變數控制". Ada 95 理據. Intermetrics. 編譯指示 Shared 非常薄弱。語義只在任務方面定義，而且定義得並不清楚。這使得它不適合與非 Ada 軟體或硬體裝置通訊。此外，它只能應用於有限的物體集。例如，它不能應用於陣列的元件。 {{cite book}}: |access-date= requires |url= (幫助); External link in |chapter= (幫助); Unknown parameter |month= ignored (幫助)
↑ "C.6 共享變數控制". 註釋 Ada 95 參考手冊. 檢索於 2008-05-28. Pragma Atomic 替換了 Ada 83 中的 pragma Shared。名稱 Shared 很容易混淆，因為該 pragma 不是用來標記變數為共享的。 {{cite book}}: 未知引數 |chapterurl= 被忽略 (|chapter-url= 建議) (幫助)
↑ "實現定義的編譯指示". GNAT Pro 參考手冊. AdaCore. 檢索於 2008-05-28. 該 pragma 為與 Ada 83 的相容性而提供。語法和語義與 pragma Atomic 相同。 {{cite book}}: 未知引數 |chapterurl= 被忽略 (|chapter-url= 建議) (幫助)
↑ "7.4.7 共享變數和 Pragma Shared". Ada 83 質量和風格. 軟體生產力聯盟，Inc. 不要將共享變數用作任務同步裝置。只有在執行時系統缺陷迫使你這樣做時，才使用 pragma Shared。 {{cite book}}: |access-date= 需要 |url= (幫助); 外部連結在 |chapter= 中 (幫助)

[1] Robert Dewar (1996-02-17). "編譯指示 Shared (was Ada is almost ....)". comp.lang.ada. (網路連結). Retrieved on 2008-05-28. "編譯指示 Atomic 與編譯指示 Volatile 完全不同。Ada 中的編譯指示 Atomic 本質上與 Ada 83 中的編譯指示 Shared 相同。Ada 中的編譯指示 Volatile 本質上與 C 中的 volatile 相同，並且是 Ada 83 中沒有的功能。"

[rat95-2] Laurent Guerby (1995). "C.5 共享變數控制". Ada 95 理據. Intermetrics. 編譯指示 Shared 非常薄弱。語義只在任務方面定義，而且定義得並不清楚。這使得它不適合與非 Ada 軟體或硬體裝置通訊。此外，它只能應用於有限的物體集。例如，它不能應用於陣列的元件。 {{cite book}}: |access-date= requires |url= (幫助); External link in |chapter= (幫助); Unknown parameter |month= ignored (幫助)

[3] "C.6 共享變數控制". 註釋 Ada 95 參考手冊. 檢索於 2008-05-28. Pragma Atomic 替換了 Ada 83 中的 pragma Shared。名稱 Shared 很容易混淆，因為該 pragma 不是用來標記變數為共享的。 {{cite book}}: 未知引數 |chapterurl= 被忽略 (|chapter-url= 建議) (幫助)

[4] "實現定義的編譯指示". GNAT Pro 參考手冊. AdaCore. 檢索於 2008-05-28. 該 pragma 為與 Ada 83 的相容性而提供。語法和語義與 pragma Atomic 相同。 {{cite book}}: 未知引數 |chapterurl= 被忽略 (|chapter-url= 建議) (幫助)

[5] "7.4.7 共享變數和 Pragma Shared". Ada 83 質量和風格. 軟體生產力聯盟，Inc. 不要將共享變數用作任務同步裝置。只有在執行時系統缺陷迫使你這樣做時，才使用 pragma Shared。 {{cite book}}: |access-date= 需要 |url= (幫助); 外部連結在 |chapter= 中 (幫助)

[1]

[2]

[3]

[4]

[5]