多线程并发同步的独立消息窗口调试方法

摘要

共享内存多处理器系统中并发程序执行过程与结果高度不确定,导致并发错误难触发、难调试.提出一种复杂性介于传统方法与现代方法之间的新的调试方法,每个线程使用独立的消息循环和输出窗口,并控制多任务间的同步逻辑与窗口输出的时间序列保持一致,它能降低并发任务之间的输出耦合性,使并发性观察和同步互斥正确性判断十分直观.将调试方法应用于RPCP算法,实验结果表明,该方法直观、简易、有效.