24、视频调度与语义模型研究

视频调度与语义模型研究

1. 谐波块窗口调度（HBWS）

1.1 缓冲区页面分析

在时间 t3 时的缓冲区由公式（9）的左边表示。在区间 I3 = [t2 + 1, t3] 内，|Qi| 的页面数量没有增加。公式（9）左边的数量必须足够提供页面，直到 Qi 的下一页从 mi（≥2）个叶子节点所代表的序列中可用。这个数量最多为 i，因为调度器 T 调度页面 i 的周期最多为 i。由此得到公式：
δi + (x - 1)(imi - πi) ≥ i (πi if mi = 1)
求解最小整数 x，可得：
x = (1 - δ(mi, 1)) + ⌈(i - δi) / (imi - πi)⌉
其中，δ(a, b) 定义为：若 a = b 则为 1，否则为 0。

1.2 BOOSTER 算法

1.2.1 算法概述

输入为 c 个基础树 T1, T2, …, Tc 和块大小 b，输出为代表 HBWS 调度的 c 个序列。

1.2.2 算法步骤

1. 对于 k = 1, 2, …, c，使用基础树 Tk 重复步骤 2 到 7。
2. 设 p1, p2, …, pn 是 Tk 叶子节点的标签页面。
3. 从 Tk 读取偏移量 {OTk(pi) | 1 ≤ i ≤ n}，并使用公式（6）构建 {Qi | 1 ≤ i ≤ n - 1}。
4. 定义 Π 为剩余时隙序列的周期集合：
   Π = {iπi / (imi - πi) | 1 / i < mi / πi}
   对于 1 ≤