On-line Avoidance of Monitoring Intrusion in Distributed Systems

运行时监控提供了一种有效的手段，以帮助在开发，测试和维护分布式计算的困难任务。然而，监视活动引入了入侵，这可能会改变被监视的计算的行为。该项目正在研究技术，以适应监控入侵的影响，使计算将表现出相同的行为，而被监控，因为它会在没有监控的情况下表现出来。该项目侧重于各种方法，其中包括处理器调度，通信协议，时间维护和进程同步。所开发的技术将被纳入一个分布式计算的在线监测系统，用于实验和评估。该项目由康涅狄格州Trinity学院的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.