面向收斂的并發(fā)程序軌跡靜態(tài)簡化方法
大小：0.67 MB 人氣： 2017-12-29 需要積分：1
軌跡靜態(tài)簡化技術是在確保與原軌跡等價的前提下，通過隨機減少程序執(zhí)行時線程切換的數(shù)量，達到提高程序員調(diào)試并發(fā)程序效率的目的，然而，軌跡中可減少的線程切換分布往往是不均勻的，因此，隨機簡化策略難以有效地發(fā)現(xiàn)可簡化的線程切換．為此，提出了面向收斂的合并算法致力于這個問題．該算法的基本思想是：不斷地隨機選擇一線程執(zhí)行區(qū)間作為中心，在同一線程內(nèi)，采用面向收斂的合并算法迭代地尋找可與其合并的前置執(zhí)行區(qū)間和后置執(zhí)行區(qū)間．實驗結(jié)果表明，該方法可以高品質(zhì)地減少執(zhí)行軌跡中的線程切換數(shù)量，進而有助于程序員快速發(fā)現(xiàn)引發(fā)錯誤的線程交錯．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%