资源描述：
《面向解决 事务并发控制策略》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第第∃∃期计算机工程∃1234年55月∀6++,!∀#洲∃&∀∋()∗+,−./0.++,0./%∋7∃14%∀··85侧均卜9∃42∃143∃∃+闷:协卜刊58;8<(==博士论文文幸幼号文蔽标识码中口分类号面向用户的移动实时事务并发控制策略’>,党祖肠刘云生2=北京师范大学信息科学与技术学院,北京51Α∃,=2ΒΧ344?≅清华大学计算机科学与技术系北京Α,华中科技大学计算机学院武汉1?3·、一、摘井8￡可串行化△可串行化准一致性可串行化等现有面向事务的放松可申行化正确性准则虽能帮助更多无线通信事务满足其截,。,一止期要求但会导致数据的受限不一致该文针
2、对移动实时环境和应用形式化定义并分析了分可申行化和梦可串行化∃种新的面向用,,。户的并发控制策略它们都比冲突可串行化宽松但都能始终保证移动用户读取数据的一致性关性侧8面向用户ΑΑΑΑ可串行化移动实时数据库移动实时事务并发控制ΔΕ+,9∀,0+.∗+Φ&∀.Γ),,+.ΓΗ&∀.∗,∀=(∀=0Γ0+ΕΙ∀,:∀70=+一ϑ+Κ=∗0∋+<,Κ.ΕΚΓ∗0∀.Ε+·,.·Ε+..;%Λ.伴./,必#=)Μ物扩25Ν+(∗∀ΙΟ.Ι∀,∋Κ∗0∀.ΠΓ0+.++Θ<++Μ.∀=∀/扒Ρ+0Σ0./%∀,∋Κ=Δ.06+,Ε0∗Η,Ρ+0Σ0./=2Χ34?≅8∃Ν+(∗∀Ι&∀∋()
3、∗+,Ε+0+.++Θ<+ΓΜ.∀=∀/Η,.)ΚΔ.06+,Ε0∗Η,Ρ+./=以洲〕48∀==+/+∀Ι&∀∋()∗+,Τ)ΚΥΜ∀./Δ.06+,Ε0∗Η∀+0+.++Κ.Φ<++Μ.∀=∀/丫ς)ΜΚ.?3<Ε0/Μ0Σ0&ΙΠ2Χ3;7Ε∗,Κ+∗;==∗Μ+ΕΚΓ∀.一+.∗Ο0+0+Ε∀Ι,+=ΚΒ0./Ε+ΥΚ70=0∗ΗΕ)+ΜΚΕ+ΩΕ0=∀.Ε+,0Κ=0ΥΚ70=,∗ΗΚ.ΦΕ0∋0=Κ,0∗Η、+,0Κ=0ΥΚ70=0∗ΗΚ.ΦΞ)ΚΕ0【=∗,Κ.∗0∀,0+Φ即,0Κ=0+∀.Ε0Ε∗+.∗Ε+,0Κ00ΥΚ70=0∗Η+Κ.,+Ε)=∗0
4、.7∀).Φ+Φ0.+∀.Ε0Ε∗+.+Η∀ΙΦΚ∗;Ι∗+,Φ0Ε+)ΕΕ0./∗,Κ.ΕΚΓ∗0∀.一∀,0+.∗+Φ+∀.Ι=0+∗Ε+,0Κ=0ΥΚ70=0∗Η,)Ε+,9∀,0+.∗+Φ=0+0+Ε田Ε+ΥΚ70=0∗ΗΚ.Φ研一Ε+,0Κ=0ΥΚ70=0∗Η(,+Ε+.∗+ΦΦ+Ι0.0∗0∀.Ε/06+.+.+++ΕΕΚ卿Κ.ΦΕ)+0+.∗+∀.Φ0∗0∀.Ε(,∀6Ω∀,0Κ=0Κ,+ΨΖ,∋Κ=Κ,+Κ.Φ∗ΜΙ0Κ,++Φ,一;=∗Μ∀)/Μ∗Μ+Η,+,+=ΚΒ0./∗ΜΚ.∗,∀.Κ=Ε+,0Κ=0Υ0=0∗Η+∀.Ε0Ε∗+.+Η∀ΙΚ∋∀70=+,+
5、Κ=∗0∋+ΦΚ∗Κ7ΚΕ+,+ΚΦ7Η)Ε+,Ε0Ε∋Κ0..+ΦΚ,+∋∀ΚΦ0∗0Κ7∗Κ0一一[叮)Ε+,9+.∗+Φ8∋0=+,+Κ=∗0∋+ΦΚ∗Κ7ΚΕ+8∋∀70=+,+Κ=∗0∋+ΕΚ+∗0∀.Ε8Γ∀.+),+.ΓΗ+∀.=8Ε+,0Κ=0ΥΚ70=0∗ΗΟ∴∀,=ΠΟ∀,0∀7∗,Κ.∗,∀,““。=棍述事务集<及用户集)<)表示来自用户2Δ3的一组事,。二,,““。随着移动计算机和移动通信技术的快速发展移动计算务集合<,)。叮其中彩表示<中来自用户2Δ3。,已经成为现实川最近出现了许多需要以数据广播来支持的更新事务的集合Α叮表示<中来自用户“2“。)3的只
6、读事,、大量并发移动用户的数据库应用=∃]比如移动应急信息管理ΑΤΑΤ务的集合表示<中事务的执行经历二表示来自用户移动拍卖、移动股票交易、下、一代交通管理系统移动电子“2“。Δ3Φ。Τ⊥Κ_8“∃_,一。的涉及数据对象的操作的投影二商务应用Ο’,=这些先进的移动信息服务系统都需要使用笔记⋯_8Κ。“,8,、。既表明了操作的执行顺序2先于Κ0⎯3又表明了操本膝上电脑等访问大量一致且流行的实时数据。,一系列操作所产生的状态8在广播移动计算系统中的实时数据时,更新事务有可能作的功能复合因此等于对对,象的初始状态Ε1应用这些操作相应的经历Τ二所产生的状装入数据项的新值若对更新事务和广播的
7、交替执行不加以,8二8,‘,’。,控制,将导致移动。,态即∗Κ∗+2Ε1Τ了3为了简洁起见始终隐含假定初始实时事务看到不一致的数据然而广播,,。模式的,状态为Ε2并可用Τ二表示一个数据项由Τ>产生的状态设一个明显特征是通信的不对称性即下行带宽比上行。,“,带宽宽很多由于客户机可用于与服务器通信的上行带宽的衅。<用Ν2∗3表示事务衅的操作数据集Α用Ν2=)3表示来,严重限制因此传统面向事务的冲突可串行化并发控制方法自用户。2“。)3事务∗)的写数据集Α用Ν,2∗)3表示来自用户、、
