计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2008年
9期
1517-1523
,共7页
张小强%彭林%彭元喜%谢伦国
張小彊%彭林%彭元喜%謝倫國
장소강%팽림%팽원희%사륜국
软件事务性内存(STM)%冲突检测%验证%并发%多线程
軟件事務性內存(STM)%遲突檢測%驗證%併髮%多線程
연건사무성내존(STM)%충돌검측%험증%병발%다선정
软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行.STM算法中一般包含记录所访问的共享数据、缓冲投机修改的数据以及处理事务冲突.STM中的主要开销在于维护共享数据访问记录和一致性验证.维护共享数据访问记录主要目的是便于进行验证.冲突检测(conflict detection)判断两个事务能否同时提交,而验证(validation)确保每个线程看到的数据状态是一致的.给出了关于STM一个简单模型,证明在STM中对共享数据的修改是线性的.提出的LDSTM算法通过在目录中维护版本信息,可以在读取各个共享对象时快速确定事务的内存视图是否处于一致状态,可以极大减少冲突检测和验证的开销.该算法可以实现早期发现写一写冲突,减少无效计算.在单线程情况下该算法开销很小.实验数据表明,LDSTM简单高效,冲突检测和验证开销减少明显.
軟件事務性內存(STM)提供同步手段,讓多線程程序高效併髮執行.STM算法中一般包含記錄所訪問的共享數據、緩遲投機脩改的數據以及處理事務遲突.STM中的主要開銷在于維護共享數據訪問記錄和一緻性驗證.維護共享數據訪問記錄主要目的是便于進行驗證.遲突檢測(conflict detection)判斷兩箇事務能否同時提交,而驗證(validation)確保每箇線程看到的數據狀態是一緻的.給齣瞭關于STM一箇簡單模型,證明在STM中對共享數據的脩改是線性的.提齣的LDSTM算法通過在目錄中維護版本信息,可以在讀取各箇共享對象時快速確定事務的內存視圖是否處于一緻狀態,可以極大減少遲突檢測和驗證的開銷.該算法可以實現早期髮現寫一寫遲突,減少無效計算.在單線程情況下該算法開銷很小.實驗數據錶明,LDSTM簡單高效,遲突檢測和驗證開銷減少明顯.
연건사무성내존(STM)제공동보수단,양다선정정서고효병발집행.STM산법중일반포함기록소방문적공향수거、완충투궤수개적수거이급처리사무충돌.STM중적주요개소재우유호공향수거방문기록화일치성험증.유호공향수거방문기록주요목적시편우진행험증.충돌검측(conflict detection)판단량개사무능부동시제교,이험증(validation)학보매개선정간도적수거상태시일치적.급출료관우STM일개간단모형,증명재STM중대공향수거적수개시선성적.제출적LDSTM산법통과재목록중유호판본신식,가이재독취각개공향대상시쾌속학정사무적내존시도시부처우일치상태,가이겁대감소충돌검측화험증적개소.해산법가이실현조기발현사일사충돌,감소무효계산.재단선정정황하해산법개소흔소.실험수거표명,LDSTM간단고효,충돌검측화험증개소감소명현.
