33、异步普适计算环境中的并发活动检测算法CADA研究

异步普适计算环境中的并发活动检测算法CADA研究

1. CADA算法设计

CADA算法在非检查进程和检查进程两侧运行，旨在检测异步普适计算环境中上下文活动的并发情况。
- 非检查进程侧 ：负责收集上下文事件和检查本地谓词。当本地谓词为真时，主动发送控制消息以构建所需的先发生关系。用 lo 和 hi 分别表示 A(k) ↑ 和 A(k) ↓ 的向量时钟时间戳，初始时间戳为 [null, null] 。为实现早期检测，在上下文事件 A(k) ↑ 和 A(k) ↓ 发生后立即发送逻辑时间戳 [lo, null] 和 [null, hi] ，并使用 flag_msg_act 减少冗余检查消息。
- 检查进程侧 ：维护每个 P(k) 的时间戳队列 Que(k) 。收到时间戳后，先检查是否触发时间戳比较。若时间戳添加到非空队列，则不触发比较；否则，检查队列头部的逻辑时间戳是否满足特定方程。若满足方程，则检测到并发活动。当 Numnull = 1 时，有机会实现早期检测。

2. 复杂度分析

进程	比较次数