面向读密集型应用的事务内存云研究
节点只能运行一个内存事务，令Γ={Tx1，…，Txn}表示系统中全体事务的集合。每个数据项则由三元组do=表示，其中do.id为数据项标识，do.value为原始数据，do.ver为数据项版本号。对于某个数据项doi，rep（doi）表示存储doi全部数据副本的节点集合。任一个内存事务Txi均由事务开始操作Start、针对数据项的读（Read）写（Write）操作序列、事务提交操作Commit或事务撤销操作Abort三部分构成。Txi可由任一个节点启动并读写任一个数据项，事务集T（T⊆Γ）的历史HIS（T）是由T上的事务操作（Start，Read，Write，Commit，Abort）事件组成的集合。每个Txi还需要维护三个属性writeID、nextID和ts，writeID用于记录Txi中最近提交的写事务（至少包含一个写操作）的时间戳；nextID用于记录下一个将要提交的事务（至少访问Txi中的一个数据项）的时间戳；ts用于记录Txi执行第一个读操作Read1的时间戳，设Read1所访问的数据项所在的内存事务为Txj，则ts=max（Txi.writeID，Txj.writeID），Read1之后读操作所访问的数据项的版本号均不能大于ts。3
<<上一页 下一页>>
广州市越秀区图书馆版权所有。
联系电话：020-87673002
本站访问人数：