CSR-PDOS: A Structured Development Environment for Building Robust, Higher Performance Distributed Services

设计和实现健壮、高性能的分布式系统仍然是一项具有挑战性、繁琐和容易出错的任务。由于这些系统所处的环境是异步的、异构性的、容易出错的和对抗性的，因此很难构建正确的系统。跟踪性能问题的根源通常是大海捞针：在数百万个单独的消息传输、算法决策和大量参与节点中，哪个网络链路、计算机或低级算法会导致性能下降？这项研究的目的是为构建分布式系统创建一个编程环境，其中包括(1)以允许将可读的高级描述编译成高性能实现的方式使系统结构明确的编程语言，以及(2)可以利用显式结构来执行自动系统级分析的工具，这些分析将帮助开发人员定位、理解和修复已部署系统中的行为异常。通过增加我们对开发过程的哪些方面是自动化的理解，这项研究将展示需要集中人类创造力的高层次方面，而不需要付出性能损失的代价。随着越来越多的开发人员被授权设计和构建这些系统，这项研究可以导致新的体系结构和服务的可用性

Designing and implementing robust and high-performance distributedsystems remains a challenging, tedious, and error-prone task.Building correct systems is difficult because of the asynchronous,heterogeneous, failure-prone and adversarial environments these systems are subject to. Tracking the source of performance problems often reduces to searching for a needlein a haystack: among millions of individual messagetransmissions, algorithmic decisions, and a large number ofparticipating nodes, which network link, computer, or low-levelalgorithm results in performance degradations?This research aims to create a programming environment for buildingdistributed systems, that includes (1) programmings language that make thestructure of the system explicit in a manner that allows the compilation of readable high-level descriptions into high-performance implementations, and (2) tools that can exploit the explicit structure to perform automatic system level analyses that willhelp developers locate, understand and fix behavioral anomalies in deployed systems. By increasing our understanding of which aspects of the development processare automatable, this research will show the high-level aspects where human creativity needs to be focused, without paying the price ofperformance penalties.This research can lead to the availability of novel architectures and services as an increasing developer population is empowered to design and buildthese systems