Web事务的弱原子性与正确性标准  

Weak Atomicity and Correctness Criterion of Web Transaction

作　　者：郭玉彬[1] 汤德佑[1] 奚建清[1] 李西明[2] 

机构地区：[1]华南理工大学计算机科学与工程学院,广州510640 [2]华南农业大学现代教育中心,广州510640

出　　处：《计算机科学》2008年第4期44-47,共4页Computer Science

基　　金：广东省科技攻关计划项目(004A10205003);广东省自然科学基金项目(B6480598);国家教育部项目(D4109029);广州市科委重点科技攻关项目(G03B2060940)支持

摘　　要：事务处理是现代应用系统的基础支撑部件,也是Web服务能否成功支持商务应用的关键技术。但由于环境的高度分布与自治性,传统的可串行化理论已不能再作为Web事务的正确性标准。本文放松了事务的原子性规定,将事务看作由若干原子单元组成的偏序集,并将可串行性扩展为事务的弱可串行性,作为事务的正确性标准。文章最后给出了一个完全分布式的事务并发控制算法,用以实现弱串行性的判定。Transaction is the infrastructure for concurrency and recovery. And it is one of the key technologies for using Web service in e-business. But Serializability theory is not proper to be correctness criterion of service transactions for they work in much more distributed and autonomic environment. In this paper, the atomicity of transaction is loosed in that a transaction is divided into a partial set of atomic units. Accordingly the traditional correct criterion, serializability theory is improved into weakly serializability. A fully distributed service scheduling algorithm is presented at last to realize this correct criterion.

关 键 词：WEB服务 事务 弱原子性 弱可串行化 事务调度算法 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]