[论文解读] Static Data Structure for Discrete Advance Bandwidth Reservations on the Internet

Andrej Brodnik, Andreas Nilsson|ArXiv.org|Aug 24, 2003

Network Traffic and Congestion Control参考文献 12被引用 11

一句话总结

本文提出一种静态、隐式线段树数据结构，用于在有界时间范围内进行离散的提前带宽预留，支持插入、删除和最大预留带宽查询的 O(log n) 最坏情况时间复杂度。该结构采用固定的时间粒度和预分配节点，确保性能与预留数量或区间大小无关。

ABSTRACT

In this paper we present a discrete data structure for reservations of limited resources. A reservation is defined as a tuple consisting of the time interval of when the resource should be reserved, $I_R$, and the amount of the resource that is reserved, $B_R$, formally $R=\{I_R,B_R\}$. The data structure is similar to a segment tree. The maximum spanning interval of the data structure is fixed and defined in advance. The granularity and thereby the size of the intervals of the leaves is also defined in advance. The data structure is built only once. Neither nodes nor leaves are ever inserted, deleted or moved. Hence, the running time of the operations does not depend on the number of reservations previously made. The running time does not depend on the size of the interval of the reservation either. Let $n$ be the number of leaves in the data structure. In the worst case, the number of touched (i.e. traversed) nodes is in any operation $O(\log n)$, hence the running time of any operation is also $O(\log n)$.

研究动机与目标

• 解决互联网中高效、可预测的数据结构需求，以管理离散的提前带宽预留。
• 设计一种支持快速插入、删除和最大带宽查询的时间区间预留数据结构。
• 通过静态树结构和固定粒度，确保最坏情况时间复杂度与预留数量和区间大小无关。
• 通过支持从内部节点而非根节点开始遍历，优化局部性和缓存效率。
• 提供一种通用解决方案，可适用于除带宽外的任何有限资源预留系统。

提出的方法

• 在固定且预定义的时间区间 M 上构建静态线段树，粒度为 g，将其划分为 n 个叶节点。
• 使用隐式数组表示法存储树节点，消除动态内存分配和指针管理。
• 将带宽预留存储在完全覆盖预留区间的节点中，通过自底向上的方式累积预留带宽值。
• 通过从根节点遍历树来实现查询和更新操作，沿路径累积值，并使用栈进行路径压缩以提升局部性。
• 在累积值的栈上应用二分查找，以高效定位最低公共祖先，从而实现从内部节点而非根节点重启遍历。
• 通过时间推进时对跨度区间进行环绕处理，当当前时间超过前半区间时，保持长期可用性。

实验结果

研究问题

• RQ1 能否设计一种静态、隐式数据结构，以实现与预留数量无关的高效带宽预留操作？
• RQ2 如何利用预留模式中的局部性来提升缓存性能并降低遍历成本？
• RQ3 从内部节点而非根节点重启树遍历的最优策略是什么，以最小化冗余计算？
• RQ4 该数据结构如何在时间超出其初始时间跨度后仍能长期运行？
• RQ5 与连续模型相比，固定时间粒度在空间效率和操作性能方面能带来多大提升？

主要发现

• 所提出的结构在插入、删除和 MaxReserved 查询中均实现 O(log n) 的最坏情况时间复杂度，且与预留数量或区间大小无关。
• 使用隐式数组表示法消除了动态内存分配和指针开销，提升了缓存局部性和性能。
• 通过栈式路径恢复从内部节点遍历，利用预留模式中的时间局部性，显著降低了平均遍历成本。
• 在栈上进行二分查找以定位最低公共祖先，仅增加 O(log log n) 的开销，使该优化具有实际可行性。
• 通过区间环绕机制，当时间超出初始时间跨度时可重用初始时间区间，使数据结构在长时间内保持功能正常。
• 该结构具有通用性，可应用于除网络带宽外的任何有限资源预留系统。