论文部分内容阅读
程序观察研究程序一次执行的行为特性，由于缺乏全局信息，观察分而式程序是当相困难的，分布式程序观察的核心是全局性质检测问题，文中提出了分布式程序观察－全局性质检测的方法学分类，讨论了全局性质检测的通用方法，检测稳定性质的快照方法，检测不稳定性持贩格方法，将动态性质检测转换为语言识别问题，同时讨论了检测特殊结构全局性质的方法，强稳定性质和局部稳定性质，合取不稳定性质及流／波模式的动态性质。