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