通过阅读文档,我了解到Ada实时模块完全与操作系统隔离工作。它可以实现并发而不需要底层的操作系统和资源管理器。Ada处理任务分派、时间管理、任务状态转换、列表管理、任务优先级、锁定策略、调度策略、ISR、任务间通信等功能。 如果是这样的话,那么Ada实时模块就是一种实时操作系统?
我来自C++背景,但目前在使用Ada开发。在C++世界中,我会在编写每个类时进行单元测试...但这似乎不是我们公司代码库流行的做法。 我想开始为我创建的Ada软件包实施单元测试,有没有好的框架可以用?
我非常新手Ada,想知道它是否提供双精度类型。我看到我们有浮点型和 Put( Integer'Image( Float'digits ) ); 在我的计算机上运行得到的值是6,这对于数值计算来说不够。 Ada是否像C语言一样有double和long double类型? 非常感谢...
有没有一组通用规则/准则,可以帮助理解何时更喜欢使用pragma Pure、pragma Preelaborate或其他完全不同的内容?在标准(Ada 2012)中呈现的规则和定义有点晦涩难懂,我很感激能读到一些更加清晰且针对平均情况的东西。 如果我想彻底而不完全理解其中的“原因”,我可以简...
作为我第一次接触Spark和Ada,所以这个问题可能过于宽泛。然而,这是出于诚意的提问,旨在帮助理解Spark。除了以下问题的直接答案之外,我也欢迎对样式、工作流程等方面进行批评。在我第一次尝试Spark时,我选择尝试实现(简单的)并证明(目前不成功)函数。问题:如何正确地实现和证明此函数的正...
我是Ada编程语言的新手,正在进行并发编程,但我在一个实现上遇到了问题。这可能是一个非常愚蠢的问题。代码如下: type status is array(1..6) of boolean; --boolean values for each track track_available :st...
什么是它的含义?x AND THEN y AND z 它是什么x AND THEN (y AND z) 当 x 为 FALSE 时,y 和 z 不会被计算(x AND THEN y) AND z (如果 x 是 FALSE,则跳过 y,但有可能会计算 z)在Ada中是这样的吗?