ada2012

1熱度

1回答

Ada的任務和安全

我不喜歡編碼，但我真的很喜歡Ada，我對它很陌生。那麼你能否向我澄清這些問題？ 如果您的計算機使用單個非線程CPU，任務仍然是單CPU。同樣適用於C或C++的分叉。 問題：你認爲Ada任務在這種情況下提供了分叉的任何好處嗎？ 我也想知道爲什麼SPARK禁止任務（我知道這是爲了安全，但如何exactely，怎麼能禁止任務提高了安全性。） 我的第三個和最後一個問題，如果我想提供「安全任務「（在Ada中

thread-safety fork ada2012 spark-ada 2015-06-22

---

0熱度

2回答

在Ada中，我如何遞歸映射和內存管理自己的類型

我一直在努力解決這個小問題一段時間。我試圖創建我自己的內部JSON結構的實現。面臨的挑戰是，對於Ada，我必須使用訪問類型來遞歸，如果我沒有嚴格控制，訪問類型有泄漏的風險。爲了控制它，我將所有真正的活動保留爲私有，我爲節點類型提供了Get (Source:...)和Set (Target:...; Value:...)函數/過程，它們將嘗試驗證和處理任何現有的Vector（json-array）或

json recursion ada ada2012 2017-07-22

---