SHF: Small: Capsule-oriented Programming

SHF：小型：面向胶囊的编程

• 批准号: 1423370
• 负责人: Hridesh Rajan
• 金额: $ 45.01万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2018-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1423370&HistoricalAwards=false
• 关键词: SHF; Small; Capsule; oriented; Programming

Modern software systems tend to be distributed, event-driven, and asynchronous, often requiring components to maintain multiple threads of control for message and event handling. In addition, there is increasing pressure on software developers to introduce concurrency into applications in order to take advantage of multicore and many-core processors to improve performance. Yet concurrent programming remains difficult and error-prone. The need to train the software development workforce in concurrent programming has become increasingly urgent as the CPU frequency growth no longer provides adequate scalability. As a result of that, a large number of developers in the current software development workforce continue to find it hard to deal with thorny concurrency issues in software design and implementation. The projects designs a new programming language construct called Capsules, an improved abstraction for concurrency that can hide the details of concurrency from the programmer and allow them to focus on the program logic. The main goal of this project is to conduct a formal study of the semantic properties of capsules, efficiently realize this abstraction in industrial strength tools that will be globally disseminated, and empirically evaluate performance and software engineering properties of a programming language design that incorporates this abstraction. This approach seeks to create software that is correct with respect to concurrency by construction. Its success will aid and enable more reliable development of concurrent software. While it makes great sense to develop explicit concurrency mechanisms, sequential programmers continue to find it hard to understand task interleavings and non-deterministic semantics. Thus, this research on the capsule abstraction, if successful, will have a large positive impact on the productivity of these programmers, on the understandability and maintainability of source code that they write, and on the scalability and correctness of software systems that they produce.

现代软件系统倾向于分布，事件驱动和异步，通常需要组件来维护多个控制线程以进行消息和事件处理。此外，软件开发人员的压力越来越大，以便将并发引入应用程序，以便利用多核心和多核处理器来提高性能。然而，并发编程仍然困难且容易出错。随着CPU频率增长不再提供足够的可扩展性，培训与并发编程的软件开发劳动力的需求变得越来越紧迫。因此，当前软件开发员工队伍中的大量开发人员继续发现很难处理软件设计和实施中的棘手并发问题。这些项目设计了一种称为Capsules的新编程语言结构，这是一种改进的并发抽象，可以从程序员中隐藏并发性的细节，并允许他们专注于程序逻辑。该项目的主要目的是对胶囊的语义特性进行正式研究，并有效地意识到将在全球传播的工业强度工具中的这种抽象，并经验评估了包含此抽象的编程语言设计的性能和软件工程性能。这种方法旨在创建有关构造并发性正确的软件。它的成功将有助于并实现并发软件的更可靠的开发。虽然开发明确的并发机制是很有意义的，但顺序的程序员继续发现很难理解任务交织和非确定性语义。因此，如果成功的话，这项对胶囊抽象的研究将对这些程序员的生产力，对源代码的可理解性和可维护性以及他们生成的软件系统的可伸缩性和正确性产生重大积极影响。