CAREER: Provably Good Concurrency Platforms for Streaming Applications

今天的大多数计算机都是并行机器。例如，个人计算机和手机上的多核处理器、图形处理器、云计算机和集群都有多个处理单元。许多现代应用程序都是数据密集型的；例子包括数字信号处理、音频和视频处理、网络、科学和生物计算。对于并行处理大量数据的应用程序来说，流是一种日益流行的范例。流并发平台负责在给定的并行机器上正确有效地执行流应用程序。本研究的目标是设计流并发平台，提供向前进展和效率的保证。本研究将通过解决以下重要问题从根本上推进该技术：(1)如何保证应用程序向前发展（而不是死锁）？(2)如何保证流应用程序在具有深度和复杂内存层次结构的现代并行机器上高效运行？(3)如何在提供正确性和性能保证的同时支持更通用和更具表现力的流模型？在现代机器中，缓存局部性会对性能产生重大影响。这项研究有可能为保证流应用程序良好缓存性能的蒸汽调度程序的设计和分析技术做出根本性的贡献。这项工作将使程序员能够更容易地在流模型中表达更大的应用程序类。虽然这个研究项目是一个主要的理论工作，旨在设计算法并证明其性能的渐近界限，但总体目标是使实用和有效的并发平台能够在真正的并行机器上运行高性能，高吞吐量的流计算。因此，主要目标之一将是设计可以在生产级流并发平台中实现的低开销和简单算法。

Most of the today's computers are parallel machines. For example, multicore processorson personal computers and cell phones, graphics processors, cloudcomputers, and clusters all have more than one processing unit. Many modern applications are data intensive; examples include digital signal processing, audio and videoprocessing, networking, scientific and biological computations.Streaming is an increasingly popular paradigm for applications that process large amounts of data in parallel. A streaming concurrency platform is responsible forcorrectly and efficiently executing streaming applications on a given parallel machine.The goal of this research is to design streaming concurrency platformsthat provide guarantees of forward progress and efficiency. Thisresearch will fundamentally advance the technology by addressing the following important questions: (1) How to guarantee that applications will make forward progress (notdeadlock)? (2) How to guarantee that the streaming applications will run efficientlyon modern parallel machines with deep and complex memory hierarchies?and(3) How to support more general and expressive streaming models whilestill providing correctness and performance guarantees? In modern machines cache locality can have a significant impact onperformance. This research has the potential to make fundamentalcontributions to both design and analysis techniques for steamingschedulers that guarantee good cache performance to streaming applications.This work will enable programmers to express a larger class of applications moreeasily in the streaming model. While this research project is a primarily theoretical undertakingaimed towards designing algorithms and proving asymptotic bounds ontheir performance, the overall goal is to enable practical andefficient concurrency platforms that can run high-performance,high-throughput streaming computations on real parallel machines.Therefore, one of the primary objectives will be to design low overheadand simple algorithms that can be implemented in production-levelstreaming concurrency platforms.