12、硬实时零星任务调度与非规范判别反向解析器的有界图构建

硬实时零星任务调度与非规范判别反向解析器的有界图构建

1 硬实时零星任务调度

1.1 问题背景与自动机构建

在一般系统中，存在有限的周期性任务和可激活的零星任务，每个任务都有相对截止时间和执行时间。设系统中零星任务的最大相对截止时间为 $D$。可以利用特定技术构建 $A_k(SP)$，进而构建自动机 $DA_k,D(SP)$，该自动机的每个转换都与一个 $D$ 次多项式（关于 $y$）相关联。这个自动机能够回答以下问题：
- 与周期性任务无关的硬实时零星任务是否总能在该系统中被接受？
- 在系统 $SP$ 的给定状态下，零星任务的出现是否会限制某些调度选择？

1.2 实现算法

计算与语言相关的枚举级数通常基于一种映射，通过态射 $\varphi$ 将有限自动机转换为具有多项式系数的线性系统。具体步骤如下：
1. 每个状态 $i$ 对应线性系统的一个方程：$F_i(y, x_1, x_2) = 1 + \sum_{j = 1}^{n} M_{i,j}F_j(y, x_1, x_2)$，其中 $M_{i,j}$ 是边 $(i, w, j)$ 通过 $\varphi$ 映射得到的多项式（可能为零）。
2. 得到线性系统：
[
\begin{pmatrix}
M_{1,1} - 1 & \cdots & M_{1,n} \
\vdots & \ddots & \vdots \
M_{n,1} & \cdots & M_{n,n} - 1
\end{pmatrix}
\times
\begin{p