它是Ada95的好标记吗?

时间:2012-06-03 14:32:41

标签: multitasking ada critical-section concurrent-programming

考虑Ada95中的以下控制器(受保护对象),以使任务调用Waiting(),如果等待标记(Marker)已经在选择标记上已经对应,那么它将不会被等待({1}} {1}})只能在它初始化之前自然地进行:

Selecting_Marker

1 个答案:

答案 0 :(得分:2)

对象是改变受保护对象的行为,可能是以下行:

entry Waiting (Marker : in Marker_Type) when Tentative_Count > 0 is

我并不精通受保护的物品,因此除了说你可能会更好地重新阅读本书关于受保护物品的章节之外,我不会提供更多的东西。 b)了解代码的目标是什么以及教师/书的要求是什么。

b部分特别重要,因为在现实生活中,您需要能够将规范转换为实现;通常,准确的措辞与示例和/或示例/推理不一致。

其他资源: