并發(fā)序列切片
2015-05-30 10:48:04文萬志程實(shí)
科技創(chuàng)新與應(yīng)用 2015年35期
文萬志 程實(shí)
摘 要：傳統(tǒng)的靜態(tài)程序切片和動態(tài)程序切片技術(shù)很難有效解決并發(fā)程序中數(shù)據(jù)共享錯誤定位問題。文中基于擴(kuò)展的定義使用關(guān)系構(gòu)造靜態(tài)并發(fā)序列切片和動態(tài)并發(fā)序列切片，并通過實(shí)例驗(yàn)證了并發(fā)序列切片在定位數(shù)據(jù)共享錯誤上的有效性。
關(guān)鍵詞：并發(fā)序列切片；程序切片；數(shù)據(jù)共享錯誤
