SHF: Small: Capsule-oriented Programming

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

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.