34、互联网软件并发运行时检测与工程方法解析

互联网软件并发运行时检测与工程方法解析

1. 并发运行时检测实验评估

在异步普适计算环境中，对并发的运行时检测进行了一系列实验评估，以探究不同因素对CADA（一种检测算法）性能的影响。

1.1 更新间隔的影响

当更新间隔显著增加时，Pcorr（正确检测概率）和Pearly（早期检测概率）都会迅速下降。当更新间隔增加到60分钟时，两者概率的下降速度减缓。当更新间隔增加到约100分钟时，Pcorr降至约10%，Pearly降至接近零。
|更新间隔（分钟）|Pcorr变化| Pearly变化|
| ---- | ---- | ---- |
|初始 - 60|迅速下降，后减缓|迅速下降，后减缓|
|60 - 100|降至约10%|降至接近零|

1.2 消息延迟的影响

将更新间隔固定为1分钟，研究消息延迟对CADA性能的影响。当消息延迟小于10秒时，Pcorr相当高（略低于100%），Pearly接近Pcorr的一半。当延迟超过10秒时，概率开始显著下降。当延迟增加到10分钟时，Pcorr可能降至约40%，Pearly可能降至约10%。消息延迟会导致Pcorr和Pearly单调下降，主要是由于环境异步性的增加，但消息延迟的影响相对更新间隔较小。

graph LR
    A[消息延迟 < 10s] --> B(Pcorr略低于100%, Pearly约为Pcorr一半)
    A --> C(概率稳定)
    D[消息延迟 > 10s] --> E(概率显著下降)
    D -->