Ada 条目和when 语句的使用

Question

我是 Ada 编程语言的新手，正在研究并发编程，但我在一个实现上遇到了问题。这可能是一个非常愚蠢的问题。代码是：

type status is array(1..6) of boolean; --boolean values for each track
track_available :status:=(others=>true); --true if track is available
protected track_handler is

entry track_req(n:in track_part_type); --n is track number
entry track_rel(n:in track_part_type); --n is track number

end track_handler;


protected body track_handler is
--implement entries
entry track_req(n: in track_part_type) when track_available(n) is --here where the error occurs
    begin
        req(n);
    end track_req;

entry track_rel(n: in track_part_type) when track_available(n) is
    begin
        rel(n);
    end track_rel;
end track_handler;

    procedure req(nr : track_part_type) is
    begin
        --null;
        track_available(nr):=false;
    end req;

    procedure rel(nr : track_part_type) is
    begin
        --null;
        track_available(nr):=true;
    end rel;

这里我收到“when track_available(n)”语句的编译错误，指出“n 未定义”。我认为变量 n 超出了范围，但我还需要检查数组的第 n 个索引是 true 还是 false。我怎样才能克服这个问题？

谢谢。

Answer 1

您实际上不能在条目自己的防护中使用条目的参数。我猜你已经得到了这么多。

按照守卫的工作方式，所有守卫都会在等待开始之前进行评估，并且只有当时处于活动状态的才可用。它们不会被定期重新评估或动态读取或任何东西。

这意味着很难获得正确的防护逻辑，除非您编写代码以便只有受保护对象中的其他条目才能修改防护。如果您想使用受保护对象外部的一些数据来控制其行为，您可能需要使用除守卫之外的一些机制来做到这一点。比如检查入口内部并立即退出之类的。

不过，您尝试执行的操作有一种可能性：条目系列。您应该能够在守卫中使用条目族索引。

规格将更改为：

entry track_req(track_part_type); 
entry track_rel(track_part_type); 

主体将更改为

entry track_req(for n in track_part_type) when track_available(n) is 
    begin
        req(n);
    end track_req;

entry track_rel(for n in track_part_type) when track_available(n) is
    begin
        rel(n);
    end track_rel;
end track_handler;

Answer 2

在下面的代码中，您尝试在 (n: in track_part_type) 完全定义 track_available(n) 之前使用它。

entry track_req(n: in track_part_type) when track_available(n) is 

另请参阅http://en.wikibooks.org/wiki/Ada_Programming/Tasking#Protected_types

国家气象局