CNS Core: III: Medium: Collaborative Research: Optimizing and Understanding Large Parameter Spaces in Storage Systems

CNS 核心：III：中：协作研究：优化和理解存储系统中的大参数空间

• 批准号: 1900589
• 负责人: Geoff Kuenning
• 金额: $ 26.49万
• 依托单位: Harvey Mudd College
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-10-01 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1900589&HistoricalAwards=false
• 关键词: CNS; Core; III; Medium; Collaborative

Computer systems contain software which is becoming increasingly complex. Complex software often includes many configurable parameters or knobs that can be adjusted to adjust performance and energy consumption. As an example, a smartphone's settings include many on/off features and "sliders" one can adjust; but trying all the possible combinations to improve performance and reduce battery consumption is very time consuming. This project aims to optimize computer systems by (1) automatically exploring many parameter combinations and (2) helping humans see visual indications of how these parameters work and better understand complex systems.This project will: (1) develop techniques to optimize storage systems, because they are the slowest part of any computer; (2) combine features from existing optimization and machine learning techniques; (3) improve the search for optimal settings by deciding when to stop and restart searching as well as considering the cost of changing system settings; (4) develop human driven visual techniques to explore extremely large sets of option combinations to better understand them and further direct the optimization process; and (5) evaluate all these techniques on real world storage systems.Computer storage systems are so complex that no human can fully optimize them, particularly when circumstances change. This project will help automate the optimization of storage systems, improving their performance and energy use; advance the state of the art in hybrid optimization and machine learning techniques; develop and release interactive visualization systems that let humans understand, view, and direct a search process to promising directions; train and educate graduate and undergraduate students; and produce results that are applicable to other computer system optimization problems.The project's artifacts such as software, source code, data sets, and results are part of a system called "Spectra". These artifacts will be made public through the project Website: https://www.filesystems.org/spectra. Results will be disseminated in peer-reviewed publications and on arxiv.org. The data will be maintained for at least ten years following the end of the project.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.

计算机系统包含的软件正变得越来越复杂。 复杂的软件通常包括许多可配置的参数或旋钮，可以通过调整这些参数或旋钮来调整性能和能耗。 例如，智能手机的设置包括许多开/关功能和可以调整的“滑块”;但是尝试所有可能的组合来提高性能和降低电池消耗是非常耗时的。 该项目旨在通过（1）自动探索许多参数组合和（2）帮助人类看到这些参数如何工作的视觉指示并更好地理解复杂系统来优化计算机系统。该项目将：（1）开发优化存储系统的技术，因为它们是任何计算机中最慢的部分;（2）结合现有优化和机器学习技术的联合收割机功能;（3）开发新的优化技术，以优化计算机系统。（3）通过决定何时停止和重新开始搜索以及考虑改变系统设置的成本来改进对最佳设置的搜索;（4）开发人类驱动的视觉技术来探索极大的选项组合集合，以更好地理解它们并进一步指导优化过程;以及（5）在真实的世界存储系统上评估所有这些技术。计算机存储系统是如此复杂，以至于没有人能够完全优化它们，特别是当环境发生变化时。 该项目将有助于自动优化存储系统，提高其性能和能源使用;推进混合优化和机器学习技术的最新发展;开发和发布交互式可视化系统，让人类了解，查看并将搜索过程引导到有希望的方向;培训和教育研究生和本科生;并产生适用于其他计算机系统优化问题的结果。该项目的工件，如软件，源代码，数据集和结果是一个名为“光谱”的系统的一部分。 这些工件将通过项目网站https://www.filesystems.org/spectra公开。结果将在同行评审的出版物和arxiv.org上传播。 该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Model-Checking Support for File System Development

文件系统开发的模型检查支持

• DOI: 10.1145/3465332.3470878
• 发表时间: 2021
• 期刊: Proceedings of the USENIX Workshop on Hot Topics in Storage and File Systems
• 作者: Su, Wei;Liu, Yifei;Ganesan, Gomathi;Holzmann, Gerard;Smolka, Scott;Zadok, Erez;Kuenning, Geoff
• 通讯作者: Kuenning, Geoff

Carver: Finding Important Parameters for Storage System Tuning

• 发表时间: 2020
• 期刊: Nature Reviews Genetics
• 影响因子: 42.7
• 作者: Zhen Cao;G. Kuenning;E. Zadok

Re-Animator: Versatile High-Fidelity Storage-System Tracing and Replaying

• DOI: 10.1145/3383669.3398276
• 发表时间: 2020-05
• 期刊: Proceedings of the 13th ACM International Systems and Storage Conference
• 作者: I. Akgun;G. Kuenning;E. Zadok