关于ARINC653的疑问

1. 如何理解existing process?

在ARINC653的中多次出现existing process，但没有明确的定义。

从existing process的上下文来看，它可能是：

-   已经create但尚未start的进程

-   已经start但分区mode尚未是normal的进程

-   分区mode是normal以后的进程

ARINC653的规定以下服务需判断是否为existing process：

-   GET_PROCESS_STATUS

-   SET_PRIORITY

-   SUSPEND

-   RESUME

-   STOP

-   START

-   DELAYED_START

根据START和DELAYED_START的定义，此时的existing process只能是已经create但尚未start的进程。但是SUSPEND、RESUME、STOP这些服务，只能用于分区mode是normal以后的进程才有效。

2. replenish不一定延长deadline

ARINC653标准文本中的Figure 2.3.3显示的情况是使用Replenish请求后第2个deadline在第1个deadline之后。

但是，如果较早发出Replenish，并且其budget时间较小，那么第2个deadline仍在第1个deadline之前。

此时，是否需要丢弃第2个deadline，并返回NO_ACTION?

3. suspend_self疑问

按照ARINC653的的描述，TIME_OUT=0时不做任何处理，但返回NO_ERROR。

如果不做处理，为何不返回NO_ACTION？

为何TIME_OUT=0时不能执行suspend_self？

4. wait_semaphore疑问

在ARINC653标准文本中：

elsif (TIME_OUT = 0) then

RETURN_CODE := NOT_AVAILABLE;

应改为:

elsif (TIME_OUT = 0) and (Current value = 0) then

RETURN_CODE := NOT_AVAILABLE;