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;
