CSR: Medium: MAD Systems

该奖项是根据2009年美国复苏和再投资法案（公法111-5）资助的。我们越来越依赖于跨多个管理域的MAD服务系统。示例包括云计算、点对点流、Internet路由和无线网状路由。不幸的是，当不同的各方控制系统的节点时，节点可能会通过故障或自私地最大化自己的利益而损害更广泛的系统来破坏期望的服务（例如，公地悲剧）。本研究的中心论点是，任何构建健壮的MAD服务的方法都必须考虑到自私行为和拜占庭式故障。因此，本研究汇集了博弈论和拜占庭容错的思想：(1)为MAD分布式系统开发新的理论框架；(2)严格解决构建MAD系统中关键实际问题的设计技术，如异构性、局部性和节点流失；(3)构建可靠的MAD系统的重要原型，该系统可以容忍自私和拜占庭式的行为，其成本和性能可与目前部署的较不健壮的系统相媲美。这项工作试图在至少两个方面产生更广泛的社会影响。首先，在关键的个人、商业和社会需求越来越多地被MAD服务满足的时候，它将发展MAD系统的理论和实践。其次，我们期望这项工作对教育产生重大影响，因为研究生和本科生将参与一项研究计划，这将提高他们在实践和理论方面的技能。

This award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).We increasingly rely on MAD Services, systems that span Multiple Administrative Domains. Examples include cloud computing, peer-to-peer streaming, Internet routing, and wireless mesh routing. Unfortunately, when different parties control a system's nodes, the nodes may undermine the desired service either by malfunctioning or by selfishly maximizing their own benefits to the detriment of the broader system (e.g., a tragedy of the commons.)The central thesis of this research is that any approach to building robust MAD services must account for both selfish behaviors and Byzantine malfunctions.This research therefore brings together ideas from game theory and Byzantine fault tolerance to (1) develop the new theoretical framework for MAD distributed systems; (2) design techniques that rigorously address key practical issues in building MAD systems, such as heterogeneity, locality, and node churn; and (3) construct significant prototypes of dependable MAD systems that tolerate selfish and Byzantine behaviors and whose costs and performance are comparable to less robust systems deployed today.This work seeks to have broader societal impact in at least two dimensions. First, it will develop the theory and practice of MAD systems at a time when crucial personal, business, and societal needs are increasingly met by MAD services. Second, we expect a significant educational impact from this work, as graduate and undergraduate students will participate in a research plan that will enhance skills in both practice and theory.