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