III-COR; Dynamic Meta-Compilation in Networked Information Systems

无线网络和廉价的传感器正在导致一个地理分布数据源丰富的世界。 正在设计各种大规模联网系统来管理这些信息。 这样的系统通常包含两个关键的架构组件：连接系统中参与节点的软件“网络”，以及跨节点运行的查询引擎。 关于如何共同设计这些组件以实现高效、健壮的解决方案，几乎没有共识。 然而，最近的工作表明，这两个层次可以自然地实现在一个高级语言，其中程序员指定“什么”的结果是期望的，而不是“如何”它是要实现的。这个项目开发的“动态元编译”，使自动协同优化的网络和查询组件的系统。在这个框架中，网络信息系统的优化编译器是从正在优化的相同声明性分布式语言编写的优化规则中引导的。 这样的方案将为这类新系统带来显著的软件工程便利，工作的结果可以显著加速新一代系统的开发，以利用大规模网络化和数据丰富的世界的潜力，并对广泛的应用产生影响，包括环境监测、公共卫生、灾害响应和计算机系统管理。项目资金支持两名研究生的培训和研究，并计划在课程中使用该软件。本研究的出版物、技术报告、软件和实验数据将通过项目网站（http：//www.example.com）传播。p2.cs.berkeley.edu

Wireless networks and inexpensive sensors are leading to a world rich in geographically distributed sources of data. Various massively networked systems are being designed to manage this information. Such systems typically contain two key architectural components: a software "network" connecting the participating nodes in the system, and a query engine running across the nodes. There is little consensus on how to co-engineer these components to achieve an efficient, robust solution. However, recent work on Declarative Networking showed that both these layers can be naturally implemented in a high-level language, in which the programmer specifies "what" result is desired, not "how" it is to be achieved.This project develops "Dynamic Metacompilation" to enable automatic co-optimization of the network and query components of such systems. In this framework, the optimizing compiler for a networked information system is bootstrapped from optimization rules written in the very same declarative, distributed language that is being optimized. Such a scheme will bring remarkable ease of software engineering for this new class of systems.The results of the work can significantly accelerate the development of a new generation of systems to harness the potential of a massively networked and data-rich world, with implications for a broad range of applications including environmental monitoring, public health, disaster response, and computer system management. Project funds support the training and research of two graduate students, and plans are underway for use of the software in coursework. Publications, technical reports, software and experimental data from this research will be disseminated via the project web site (http:// p2.cs.berkeley.edu).