Principled Schedulability Analysis for Distributed Storage Systems Using Thread Architecture..——论文泛读

TOS 2023 Paper 分布式元数据论文阅读笔记整理

问题

现代数据中心建立在大规模、可扩展的存储系统之上[6，27，56，70]。存储系统的一个关键部分是如何共享资源，因此必须提供正确高效的请求调度。通过控制为哪个客户端或应用程序提供服务，从而实现：公平共享[2，49，80，89]、吞吐量保证[74，90]、低尾延迟[19，30，66，87，93]和性能隔离[69，73，86]。但现有存储系统越来越复杂，实现上述需求有很大挑战性。

本文方法

本文提出了一种方法来系统地检查分布式存储系统的可调度性，识别其调度问题，并实现有效的调度。

• 使用线程体系结构模型（TAM）来描述系统中不同线程的行为和交互，分析资源消耗模式和组件之间的依赖关系，有效地将存储系统的性能与其体系结构联系起来。识别各种调度问题，通过解决这些问题来转换系统以提供可调度性，从而实现各种调度策略。

• 提出了线程体系结构可调度性条件（TASC）：完整性、局部可执行性和依赖性。TASC确保调度器被放置在系统中的正确位置，并赋予必要的信息和控制，以实现不同的期望调度策略，从而将调度的实现困难（系统架构和设计阻碍调度策略的有效实现）与策略困难（实现一个特定策略的固有困难）分开。

• 使用TAM分析了四个可扩展存储系统的可调度性：HBase/HDFS[26，75]、Cassandra[46]、MongoDB[15]和Riak[43]。确定了阻碍系统满足可调度性条件的五个常见问题：缺乏本地调度控制点、资源使用未知、线程之间隐藏的竞争、不受控制的线程阻塞、请求之间的排序约束。这些问题可以使用TAM精确地指定，从而实现直接和自动的问题识别。

  

• 提出两种技术来解决这些问题：（1）直接方法，显式地改变现有的线程体系结构以消除特定的调度问题。（2）间接方法，保持TAM不变，使用信息来减轻调度问题造成的影响。当转换实际系统以提供可调度性时，通常需要直接和间接方法的组合来平衡所需调度控制和所需工程实现。

为了证明如何部署直接和间接方法来解决TAM识别的问题，并转换现实系统以提供可调度性，以HBase为例，比较了它的两种变体：Tamed-HBase和Muzzled-HBase。Tamed-HBase直接解决了原有HBase所具有的所有调度问题，实现了TASC满意且无问题的线程体系结构，但实施Tamed-HBase需要对系统进行重大重组。Muzzled-HBase的目标是易于实现，并在必要时部署间接方法，代价是性能开销和近似调度控制。通过仿真表明，Tamed-HBase和Muzzled-HBase都能在激烈的资源竞争下实现公平共享，在后台干扰的情况下提供强大的尾延迟保证，并在请求量、大小和其他工作负载因素不同的情况下实现适当的隔离。

总结

针对现有的大型存储系统，对其进行调度和分析难以实现。本文提出线程体系结构模型（TAM），描述系统中不同线程的行为和交互，分析资源消耗模式和组件之间的依赖关系，从而为系统提供可调度性，实现各种调度策略。包括三个部分：（1）线程体系结构可调度性条件（TASC）：完整性、局部可执行性和依赖性。TASC确保调度器被放置在系统中的正确位置，并赋予必要的信息和控制，以实现不同的期望调度策略。（2）分析了四个可扩展存储系统的可调度性，确定了阻碍系统满足可调度性条件的五个常见问题：缺乏本地调度控制点、资源使用未知、线程之间隐藏的竞争、不受控制的线程阻塞、请求之间的排序约束。（3）提出两种技术来解决这些问题：直接方法，显式地改变现有的线程体系结构以消除特定的调度问题；间接方法，保持TAM不变，使用信息来减轻调度问题造成的影响。