计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
2期
1-6
,共6页
钱俊彦%贾书贵%蔡国永%赵岭忠
錢俊彥%賈書貴%蔡國永%趙嶺忠
전준언%가서귀%채국영%조령충
上下文定界%并发%可达性分析%Fork/Join并行性%动态线程创建
上下文定界%併髮%可達性分析%Fork/Join併行性%動態線程創建
상하문정계%병발%가체성분석%Fork/Join병행성%동태선정창건
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能.并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析.上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达.针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P；然后从P中提取模拟其k-定界执行的并发下推系统Pk.现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题.
隨著多覈技術日益髮展,併髮程序通過引入Fork/Join併行性,將任務分解為更細粒度的子任務併行執行,從而充分利用多覈處理器提供的計算性能.併髮執行線程之間的交錯可能產生隱匿的程序設計錯誤,因此有必要對此類併髮程序的正確性進行分析.上下文定界分析方法是一種檢測併髮程序中隱匿錯誤的高效方法,計算線程有限次上下文切換內的可達狀態,確定錯誤狀態是否可達.針對Fork/Join併行性的併髮程序的可達性分析思想如下:首先,動態併髮程序被建模為可模擬線程Fork/Join操作的動態併髮下推繫統P；然後從P中提取模擬其k-定界執行的併髮下推繫統Pk.現有的上下文定界可達算法可解決提取後的併髮下推繫統的k-定界可達性問題.
수착다핵기술일익발전,병발정서통과인입Fork/Join병행성,장임무분해위경세립도적자임무병행집행,종이충분이용다핵처리기제공적계산성능.병발집행선정지간적교착가능산생은닉적정서설계착오,인차유필요대차류병발정서적정학성진행분석.상하문정계분석방법시일충검측병발정서중은닉착오적고효방법,계산선정유한차상하문절환내적가체상태,학정착오상태시부가체.침대Fork/Join병행성적병발정서적가체성분석사상여하:수선,동태병발정서피건모위가모의선정Fork/Join조작적동태병발하추계통P；연후종P중제취모의기k-정계집행적병발하추계통Pk.현유적상하문정계가체산법가해결제취후적병발하추계통적k-정계가체성문제.
