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; 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编程仍然无处不在 - 在前10位最受欢迎的编程语言中始终是因为它允许非专家开发人员组合组件以任何编程语言可用，而对他们的内部却几乎没有理解。不幸的是，这种黑框，语言不可能的组成阻碍了Shell程序的自动加速度。该项目将开发技术来加速壳程序程序，而无需来自Shell程序员的输入，而单个组件的作者几乎没有输入。这项工作的方法（1）基于PIS先前研究的现实世界成功（需要）。更多用户输入），（2）汇集了计算机科学的多个子字段（平行和分布式系统，编程语言和正式方法）的专业知识，并且（3）提供协同作用。各个技术每种技术都提供了重大的好处，但产生了一个变革性的整体。通过实现实用的，按钮的增强，对现实世界中，普遍使用的编程语言的增强，拟议的工作有望显着加速其开发人员的现有和新的壳计划，而无需任何更改的基础设施，以及与先前的结果保持合适的情况。壳牌的无处不在意味着这些加速度将产生广泛的影响，尤其是在使用计算作为解决各自领域问题的学科中，例如生物信息学，数据科学和经济学。这奖反映了NSF的法定任务，并通过使用该基金会的知识优点和广泛影响来通过评估来进行评估，以评估是宝贵的。