CSR --- PDOS: Monitoring and Controlling Multithreaded Distributed Software

CSR --- PDOS：监控多线程分布式软件

• 批准号: 0509024
• 负责人: Vijay Garg
• 金额: $ 31.5万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-07-01 至 2009-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0509024&HistoricalAwards=false
• 关键词: CSR; PDOS; Monitoring; Controlling; Multithreaded

Failures of computers or an unexpected order of messages leads to subtle bugs in distributed programs. This project is investigating algorithmic and implementation issues in monitoring and controlling multithreaded distributed computations. The techniques in this project are useful for testing distributed Java programs and for fault-tolerance during their execution. The project is investigating techniques in four areas: slicing, dependency tracking, global predicate detection and controlling a computation. Computation slicing is useful in reducing the size of the computation that needs to be analyzed. The project is developing online and distributed algorithms for slicing. Dependency tracking is required for online monitoring of global predicates and is currently done using vector clocks of dimension equal to the number of processes and threads in the system. The project is investigating a technique calledchain clocks that can track dependency in a scalable way even for a large-scale system. Global predicate detection is required to detect bugs during testing or runtime. The project is investigating detection of temporal logic predicates interpreted over the lattice of global states of a computation. Controlling a computation is useful during the testing phase to steer the computation toward software bugs and during the operation phase to steer it away from any existing software bugs.The project is implementing a framework in Java and it will result in theoretical and practical advances in monitoring and testing of concurrent programs. The project is expected to significantly improve the quality and fault-tolerance of distributed software.

计算机的故障或意外的消息顺序会导致分布式程序中的细微错误。这个项目正在研究监控多线程分布式计算的算法和实现问题。该项目中的技术对于测试分布式Java程序和在其执行过程中的容错是有用的。该项目正在研究四个领域的技术：切片，依赖跟踪，全局谓词检测和控制计算。计算切片在减少需要分析的计算量方面很有用。该项目正在开发在线和分布式切片算法。依赖跟踪是全局谓词的在线监视所必需的，并且当前使用维度等于系统中的进程和线程的数量的向量时钟来完成。该项目正在研究一种称为链时钟的技术，该技术可以以可扩展的方式跟踪依赖性，即使是大规模系统。需要全局谓词检测来检测测试或运行时期间的错误。 该项目正在研究在计算的全局状态格上解释的时态逻辑谓词的检测。控制计算是有用的，在测试阶段，以引导计算对软件错误，并在操作阶段，以引导它远离任何现有的软件bugs.The项目正在实现一个框架在Java中，它将导致在理论和实践上的进步，在监测和测试并发程序。预计该项目将大大提高分布式软件的质量和容错能力。