On-line Avoidance of Monitoring Intrusion in Distributed Systems

运行时监视为帮助完成开发、测试和维护分布式计算的困难任务提供了一种有效的方法。然而，监视活动引入了入侵，这可能潜在地改变被监视的计算的行为。该项目正在研究适应监视入侵影响的技术，以便计算在被监视时表现出与在没有监视时表现出相同的行为。这个项目着重于各种方法，包括处理器调度、通信协议、时间维护和进程同步。所开发的技术将被纳入分布式计算的在线监测系统，用于实验和评估。本项目由CT三一学院的Madalene Spezialetti和匹兹堡大学的Rajiv Gupta共同完成，CCR 9704350。

Run-time monitoring provides an effective means for aiding in the difficult tasks of developing, testing and maintaining distributed computations. However, monitoring activities introduce intrusion, which can potentially alter the behavior of the computation being monitored. This project is investigating techniques to accommodate the effects of monitoring intrusion such that a computation will exhibit the same behavior while being monitored as it would have exhibited in the absence of monitoring. This project focuses on a variety of approaches, which encompass processor scheduling, communication protocols, time maintenance and process synchronization. The techniques developed will be incorporated into a system for the on- line monitoring of distributed computations, for experimentation and evaluation. This project is conducted jointly by Madalene Spezialetti of Trinity College, CT and Rajiv Gupta of University of Pittsburgh under grant CCR 9704350.