Extended Serializability Theories and Their Application in Replicated Scalable Services
Two extended serializability theories, i.e.,theory of transaction normalization (TTN) and multiple logical version single copy (MLVSC) serializability theory are brought forward and proved firstly. Then, a novel scheme for scalable services to implement lazy consistency for database systems, file systems and all management operations is presented. TTN indicates that each transaction could be translated into an equivalent two phase transaction, whose read operation precedes all write operations. In a MLVSC database system, each write on a data item x only produces a new logical version of x, however, the real value is kept in one final copy. Because MLVSC preserves the partial order of transactions perfectly, it could be used to design some new replication schemes without using group communications primitives or 2PC, e.g.,No-Acknowledgment-Strict-Order Publish Propagate Replication scheme discussed subsequently. This paper focuses on the correctness proof of them.
cluster grid scalable replication serializability
Hui Liu Junyi Shen Qinke Peng Minglu Li
School of Electronics and Information Engineering Shanghai Jiaotong Univ., Shanghai, 200030, China School of Electronics and Information Engineering Xian Jiaotong Univ., Shaanxi, 710049, China
国际会议
成都
英文
612-619
2003-08-27（万方平台首次上网日期，不代表论文的发表时间）