计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
19期
4-6
,共3页
数据广播%放松可串行化%实时并发控制
數據廣播%放鬆可串行化%實時併髮控製
수거엄파%방송가천행화%실시병발공제
研究了实时数据广播环境中的一致性维护问题.由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据.提出了使用τ-可串行化并发控制,首先形式化定义了τ-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议.实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求.
研究瞭實時數據廣播環境中的一緻性維護問題.由于廣播環境的非對稱通訊特性,傳統可串行化併髮控製方法過于嚴格而不必要;現有放鬆可串行化方法都會導緻數據庫受限不一緻、使各箇用戶讀取受限不一緻數據.提齣瞭使用τ-可串行化併髮控製,首先形式化定義瞭τ-可串行化正確性準則,證明瞭它雖比傳統可串行化寬鬆但能始終保證數據一緻性,使各箇用戶始終讀取一緻性數據,進而給齣瞭相應的併髮控製協議.實驗結果錶明,新協議可顯著降低平均響應時間,使更多移動實時事務滿足截止期要求.
연구료실시수거엄파배경중적일치성유호문제.유우엄파배경적비대칭통신특성,전통가천행화병발공제방법과우엄격이불필요;현유방송가천행화방법도회도치수거고수한불일치、사각개용호독취수한불일치수거.제출료사용τ-가천행화병발공제,수선형식화정의료τ-가천행화정학성준칙,증명료타수비전통가천행화관송단능시종보증수거일치성,사각개용호시종독취일치성수거,진이급출료상응적병발공제협의.실험결과표명,신협의가현저강저평균향응시간,사경다이동실시사무만족절지기요구.
