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 的新编程语言结构，这是一种改进的并发抽象，可以向程序员隐藏并发细节，让他们能够专注于程序逻辑。该项目的主要目标是对胶囊的语义属性进行正式研究，在将在全球传播的工业强度工具中有效地实现这种抽象，并凭经验评估包含这种抽象的编程语言设计的性能和软件工程属性。这种方法旨在通过构建创建在并发性方面正确的软件。它的成功将有助于并实现更可靠的并发软件开发。虽然开发显式并发机制非常有意义，但顺序程序员仍然发现很难理解任务交错和非确定性语义。因此，这项关于胶囊抽象的研究如果成功，将对这些程序员的生产力、他们编写的源代码的可理解性和可维护性以及他们生成的软件系统的可扩展性和正确性产生巨大的积极影响。