Collaborative Research: CSR: Core: Medium: Scaling Unix/Linux Shell Programs

协作研究：CSR：核心：中：扩展 Unix/Linux Shell 程序

• 批准号: 2312347
• 负责人: Michael Greenberg
• 金额: $ 55.61万
• 依托单位: Stevens Institute of Technology
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-10-01 至 2027-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2312347&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; Core; Medium

The ‘shell’ is the glue that holds modern computer systems together: It is the programming language that connects components and manages systems; it is the quick-and-dirty language for writing scientific workflows and data analysis; it is the control hatch that offers skilled users direct access to their computer's inner-workings. Shell programming remains ubiquitous —steadily in the top 10 most popular programming languages— partly because it allows non-expert developers to combine components available in any programming language with little-to-no understanding of their internals. Unfortunately, this black-box, language-agnostic composition hinders automated acceleration of shell programs. This project will develop techniques to accelerate shell programs without requiring input from shell programmers and little-to-no input from the authors of individual components. This work's approach (1) builds on the real-world success of prior research by the PIs (that requires more user input), (2) brings together expertise in several subfields of computer science —parallel and distributed systems, programming languages, and formal methods— and (3) offers synergy. The individual techniques each offer significant benefits, but yield a transformative whole.By enabling practical, push-button enhancement of a real-world, pervasively-used programming language, the proposed work promises to significantly accelerate existing and new shell programs without any effort from their developers, without any changes to existing infrastructure, and while maintaining compatibility with prior results. The shell's ubiquity means these speedups will have broad impact, especially in disciplines that use computing as a tool to solve problems in their respective fields, e.g., bioinformatics, data science, and economics.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.

“外壳”是将现代计算机系统连接在一起的粘合剂：它是连接组件和管理系统的编程语言;它是编写科学工作流程和数据分析的快速和肮脏的语言;它是为熟练用户提供直接访问计算机内部工作的控制舱口。Shell编程仍然无处不在-稳定地在十大最流行的编程语言中-部分原因是它允许非专业开发人员在几乎不了解其内部的情况下将任何编程语言中可用的联合收割机组件组合在一起。不幸的是，这种与语言无关的黑盒组合阻碍了shell程序的自动加速。这个项目将开发技术来加速shell程序，而不需要shell程序员的输入，也不需要单个组件的作者的输入。这项工作的方法（1）建立在PI先前研究的现实世界成功的基础上（这需要更多的用户输入），（2）汇集了计算机科学的几个子领域的专业知识-并行和分布式系统，编程语言和形式化方法-以及（3）提供协同作用。每个单独的技术都提供了显着的好处，但产生一个变革性的整体。通过实现实际的，按钮式的增强现实世界中，普遍使用的编程语言，拟议的工作承诺显着加速现有的和新的shell程序，而无需开发人员的任何努力，没有任何改变现有的基础设施，同时保持与以前的结果兼容。shell的普遍性意味着这些加速将产生广泛的影响，特别是在使用计算作为工具来解决各自领域问题的学科中，例如，该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。