CAREER: Analyzing Distributed Systems Behavior Using Repeated Execution

职业：使用重复执行分析分布式系统行为

• 批准号: 1054567
• 负责人: Sunil Prabhakar
• 金额: $ 45万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-07-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1054567&HistoricalAwards=false
• 关键词: CAREER; Analyzing; Distributed; Systems; Behavior

Modern distributed systems are extremely complex, due in large part toindividual node complexity, node unreliability and asynchrony, andunpredictable network message delays and orderings. Further complicatingdevelopment of these systems is both the presence of multiple potentiallyincompatible versions of the systems, and the need to build correct systemsalso exhibiting high performance. Prior testing and simulation frameworks arecharacterized either by extensive manual effort, or automated search forviolations of a binary decision problem---the presence or absence of a bug. We are developing automated and interactive techniques for helping developersunderstand the behavior of distributed systems implementations. By leveragingthe evolved frameworks, and instrumenting implementations in structured,straightforward ways, we are building development tools focused onunderstanding system behavior rather than merely identifying correctnesserrors. This change in focus will enable more general tools that improvedevelopment productivity in addition to testing productivity.This research is proceeding on three fronts: 1) developing automated tools using data mining with repeated executions to extract execution behaviors andperformance, 2) developing flexible execution descriptions suitable for bothuse-case descriptions and automated processing, allowing more intuitiveinteraction between users and their tools, and 3) incorporating testing toolswith revision control systems, enabling multi-version analysis and long-termprogress tracking. When completed, this research will reduce developer effortnecessary to design, update, and debug distributed systems, and may inspirecreation of a new class of systems debuggers analysing not just correctness,but also performance and complexity.

现代分布式系统是极其复杂的，这在很大程度上是由于单个节点的复杂性、节点的不可靠性和冗余性以及不可预测的网络消息延迟和排序。 这些系统的进一步复杂化的发展是存在多个潜在的不兼容的系统版本，并且需要构建正确的系统也表现出高性能。 以前的测试和模拟框架的特点是大量的手工工作，或自动搜索违反一个二元决策问题-存在或不存在一个错误。 我们正在开发自动化和交互式技术，以帮助开发人员理解分布式系统实现的行为。 通过对演化的框架进行封装，并以结构化的、直接的方式对实现进行插装，我们正在构建专注于理解系统行为的开发工具，而不仅仅是识别正确的错误。 这种关注点的变化将使更多的通用工具能够提高开发生产力和测试生产力。1）开发自动化工具，使用重复执行的数据挖掘来提取执行行为和性能，2）开发灵活的执行描述，既适合用例描述，又适合自动化处理，允许用户和他们的工具之间更直观的交互，3）将测试工具与版本控制系统相结合，实现多版本分析和长期进度跟踪。 完成后，这项研究将减少开发人员的努力必要的设计，更新和调试分布式系统，并可能激发重建一类新的系统调试器分析不仅是正确性，而且性能和复杂性。