39、卡恩进程网络执行要求与部分求值的琼斯最优性

卡恩进程网络执行要求与部分求值的琼斯最优性

卡恩进程网络执行相关内容

在卡恩进程网络（KPN）的执行中，有许多关键的概念和策略。

首先，关于边界和人工死锁的关系。如果存在足够大的边界来防止人工死锁，那么对于所有具有更大边界的进程网络缓冲区（PNB），人工死锁都不会发生。这可以通过以下推论体现：若具有边界 $\overline{b}$ 的进程网络允许进行最大且公平的执行，那么在具有边界 $\overline{b}’$（其中 $\overline{b} \preceq \overline{b}’$）的同一网络中，不存在导致人工死锁的执行。

接下来是调度器的相关内容。调度器对于 PNB 而言，是一种决定所有进程的单个读写操作执行顺序以及分配给先进先出（FIFO）的内存增加（或减少）的策略。调度策略的结果可以通过对 PNB 进行重复观察来捕获一系列快照，输出的快照形成输出字符串链，调度策略的结果可定义为该链的上确界。

调度器有两个重要的要求：
- 输出完整性 ：实现的输出应等于 KPN 的指称语义规定的输出。
- 有界性 ：调度器应实现一种执行方式，其中通道使用的内存量是有界的。

基于人工死锁表明相应循环链中容量不足的观察，可以设计一种死锁解决策略。具体的调度策略如下：
1. 以数据驱动的方式执行 PNB 的进程，直到发生人工（局部）死锁或 PNB 终止。在执行过程中，使用一种调度策略，确保在当前 FIFO 边界内可以继续执行的所有进程都能取得进展。
2. 通过将该死锁上最小的满 FIFO 增加有限数量的令牌来解决所有人工死锁。 </