SHF: Small: Collaborative Research: A Parallel Graph-Based Paradigm for HPC Parallel File System Checkers

SHF：小型：协作研究：基于并行图的 HPC 并行文件系统检查器范例

• 批准号: 1910747
• 负责人: Mai Zheng
• 金额: $ 25万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-07-15 至 2023-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1910747&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Parallel

Modern high performance computing (HPC) platforms rely on large-scale parallel file systems for serving data accesses of scientific applications. These parallel file systems often run on expensive hardware and are usually well-maintained, but they may still experience failures and run into inconsistent states for various reasons (e.g., hardware faults, software bugs, configuration errors). When the state becomes inconsistent, a checking and repairing program called checker is the last line of defense to bring the system back to consistency. Nevertheless, today's checkers are error-prone and time-consuming to run. With the scale and complexity keeps increasing, the situation will likely get worse. This project aims to enable scalable, high performance checking and repairing of widely used parallel file systems through a new parallel graph-based model. The success of this project will dramatically change how parallel file system checkers would be used. Such an effort is a fundamental step towards building highly reliable future HPC parallel file systems for scientific discovery. In addition, this project integrates the research activities with education and outreach efforts to train broadly inclusive and globally competitive science workforce. The project consists of three thrusts. The first task focuses on constructing a general graph-based metadata model to abstract key metadata and consistency rules; the second task focuses on efficiently retrieving metadata from real systems and instantiating metadata graphs; the third task focuses on building a graph-based consistency checking runtime engine to conduct the checking in parallel to gain scalable high performance. This includes constructing a generic graph structure for representing different file system metadata, extracting the consistency rules among metadata items for checking, and defining a set of interfaces to facilitate building the graph model for other file systems. The project will explore compiling all consistency rules into a unified executable called ?blob?, which can be run in parallel in all compute nodes, and optimize the runtime graph engine to accommodate dependencies and achieve high performance.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

现代高性能计算（HPC）平台依靠大规模并行文件系统来服务科学应用程序的数据访问。这些并行文件系统通常会在昂贵的硬件上运行，并且通常会得到良好的维护，但是由于各种原因（例如，硬件故障，软件错误，配置错误），它们仍然可能遇到失败并陷入不一致的状态。当状态变得不一致时，一个名为Checker的检查和维修程序是将系统恢复一致性的最后一条防线。尽管如此，当今的棋子还是容易出错的，而且很耗时。随着规模和复杂性的不断提高，情况可能会恶化。该项目旨在通过新的基于平行图的模型来启用可扩展的高性能检查和修复广泛使用的并行文件系统。 该项目的成功将极大地改变如何使用并行文件系统检查器。这样的努力是迈向建立高度可靠的未来HPC并行文件系统以进行科学发现的基本步骤。此外，该项目将研究活动与教育和外展活动融合在一起，以培训广泛包容和全球竞争性的科学劳动力。该项目由三个推力组成。第一个任务着重于构建一个基于图形的元数据模型，以抽象关键元数据和一致性规则。第二个任务着重于从实际系统中有效检索元数据并实例化元数据图。第三个任务着重于构建基于图的一致性检查运行时引擎，以并行进行检查以获得可扩展的高性能。 这包括构建用于表示不同文件系统元数据的通用图形结构，在元数据项目中提取一致性规则，并定义一组接口，以促进为其他文件系统构建图形模型。该项目将探索将所有一致性规则探索为一个统一的可执行文件，称为“ blob？”，哪些可以在所有计算节点中并行运行，并优化运行时图引擎以适应依赖性并实现高性能。该奖项反映了NSF的法定任务，并通过该基金会的知识优点和广泛的criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia rectectuation均可通过评估值得。

项目成果

Drill: Log-based Anomaly Detection for Large-scale Storage Systems Using Source Code Analysis

• DOI: 10.1109/ipdps54959.2023.00028
• 发表时间: 2023-05
• 期刊: 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
• 作者: Di Zhang;Chris Egersdoerfer;Tabassum Mahmud;Mai Zheng;Dong Dai

On the Reproducibility of Bugs in File-System Aware Storage Applications

关于文件系统感知存储应用程序中错误的再现性

• 发表时间: 2022
• 期刊: and Storage
• 作者: Zhang, Duo;Mahmud, Tabassum;Gatla, Om Rameshwar;Han, Runzhou;Chen, Yong;Zheng, Mai.
• 通讯作者: Zheng, Mai.

A Study of Failure Recovery and Logging of High-Performance Parallel File Systems

• DOI: 10.1145/3483447
• 发表时间: 2022-03
• 期刊: ACM Transactions on Storage (TOS)
• 作者: Runzhou Han;Om Rameshwar Gatla;Mai Zheng;Jinrui Cao;Di Zhang;Dong Dai;Yong Chen;J. Cook

PROV-IO: An I/O-Centric Provenance Framework for Scientific Data on HPC Systems

PROV-IO：HPC 系统上以 I/O 为中心的科学数据来源框架

• DOI: 10.1145/3502181.3531477
• 发表时间: 2022
• 期刊: Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing (HPDC
• 作者: Han, Runzhou;Byna, Suren;Tang, Houjun;Dong, Bin;Zheng, Mai
• 通讯作者: Zheng, Mai

ConfD: Analyzing Configuration Dependencies of File Systems for Fun and Profit

ConfD：分析文件系统的配置依赖性以获得乐趣和利润

• 发表时间: 2023
• 期刊: 21st USENIX Conference on File and Storage Technologies (FAST
• 作者: Mahmud, Tabassum;Gatla, Om R.;Zhang, Duo;Love, Carson;Bumann, Ryan;Zheng, Mai
• 通讯作者: Zheng, Mai