[1]刘震伟,薛锦云*,夏 鲸,等.PAR平台中并发分布式事务处理机制及其应用研究[J].江西师范大学学报(自然科学版),2019,(06):649-654.[doi:10.16357/j.cnki.issn1000-5862.2019.06.15]
　LIU Zhenwei,XUE Jinyun*,XIA Jing,et al.The Research on Concurrent Distributed Transaction Processing Mechanism in PAR Platform and Its Application[J].Journal of Jiangxi Normal University:Natural Science Edition,2019,(06):649-654.[doi:10.16357/j.cnki.issn1000-5862.2019.06.15]
点击复制

PAR平台中并发分布式事务处理机制及其应用研究()
分享到：

《江西师范大学学报》（自然科学版）[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2019年06期
页码:
649-654
栏目:
信息科学与技术
出版日期:
2019-12-10

文章信息/Info

Title:
The Research on Concurrent Distributed Transaction Processing Mechanism in PAR Platform and Its Application
文章编号:
1000-5862(2019)06-0649-06
作者:
刘震伟1; 2; 薛锦云2*; 夏 鲸1; 2; 汪 雄1; 2
1.江西师范大学计算机信息工程学院,江西 南昌 3300222; 2.江西师范大学国家网络化支撑软件国际科技合作基地,江西 南昌 330022
Author(s):
LIU Zhenwei1; 2; XUE Jinyun2*; XIA Jing1; 2; WANG Xiong1; 2
1.College of Computer and Information Engineering,Jiangxi Normal University,Nanchang Jiangxi 330022,China; 2.Networked Supporting Software International S&T Coopertation Base of China,Jiangxi Normal University,Nanchang Jiangxi 330022,China
关键词:
PAR方法;  PAR平台;  事务处理;  分布式事务
Keywords:
PAR method;  PAR platform;  transaction processing;  distributed transaction
分类号:
TP 311
DOI:
10.16357/j.cnki.issn1000-5862.2019.06.15
文献标志码:
A
摘要:
随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在其建模语言Apla中融入了并发分布式事务处理机制,使得Apla语言不仅支持分布式数据库事务,还支持分布式非数据库事务.该文对Apla语言并发分布式事务处理机制进行了深入地研究,并将其应用在学生管理系统、在线购物系统等实际应用场景中.
Abstract:
With the emergence of new technologies such as big data,cloud computing, and cloud services,concurrent distributed computing is playing a more and more important role as the foundation of these new technologies.In distributed computing,data consistency is difficult to guarantee,and transaction processing technology can solve this problem effectively.In order to enhance the application of PAR platform in high reliable applications,the concurrent distributed processing mechanism has been integrated into its modeling language Apla,which Apla language supports distributed database transaction and non-distrubuted database transaction.The mechanism is deeply studied and used in constructing student management system and online shopping system.

参考文献/References:

[1] 王之元,杨学军,周云.大规模MPI并行计算的可扩展三模冗余容错机制[J].软件学报,2012,23(4):1022-1035.
[2] Gray I,Reuter A.Transaction processing:concepts and techniques[M].New York:Academic Press,Morgan Kaufmann,1992.
[3] 陈小芳,丁柯,金蓓弘.事务处理技术综述[J].计算机科学,2003,30(5):12-16.
[4] 薛锦云,李云清,杨庆红,等.程序设计方法学[M].北京:高等教育出版社,2001.
[5] 石海鹤,薛锦云.基于PAR的算法形式化开发[J].计算机学报,2009,32(5):982-991.
[6] 王昌晶,薛锦云.PAR平台从规约出发的算法推导与自动生成[J].计算机工程与应用,2007,43(2):41-42,59.
[7] 王昌晶.PAR平台中结构化需求语言研究[EB/OL].[2007-10-19].http://www.docin.com/p-242033622.html.
[8] 李英龙.PAR方法中关系数据库机制的描述与实现[D].南昌:江西师范大学,2006.
[9] 罗摩克里希纳,格尔基.数据库管理系统原理与设计[M].3版.周立柱,张志强,李超,等译.北京:清华大学出版社,2004:390-391.
[10] 埃尔玛斯利,纳瓦特赫.数据库系统基础[M].6版.李翔鹰,刘镔,邱海艳,等译.北京:清华大学出版社,2011.
[11] Cheung S,Matena V.Java transaction API 1.01 specification[EB/OL].[2018-10-19].https://docs.oracle.com/cd/A91202_01/901_doc/java.901/a90211/jdbctran.htm.
[12] Cheung S.Java transaction service 1.0 specification[EB/OL].[2018-10-19].https://docs.oracle.com/cd/A91202_01/901_doc/java.901/a90211/jdbctran.htm.
[13] Ozsu M Tamer,Valduriez Patrick.分布式数据库系统原理[M].3版.周立柱,范举,吴昊,等译.北京:清华大学出版社,2014:257-262.
[14] X/Open Company.Distributed transaction processing:reference model[EB/OL].[2018-10-19].https://www.researchgate.net/publication/200030484_Distributed_Transaction_Processing_Reference_Model.
[15] Moss J E B.Nested transactions:an approach to reliable distributed computing[M].Massachusetts:MIT Press,1985.
[16] Weikum G.Principles and realization strategies of mutil-level transaction management[EB/OL].[2018-10-19].https://dl.acm.org/citation.cfm?id=103145.
[17] Pu Calton,Kaiser G E,Hutchinson N.Split-transactions for open-ended activities[EB/OL].[2018-10-19].http://www.vldb.org/dblp/db/conf/vldb/PuKH88.html.
[18] Hetor G M,Salem K.Sagas[J].Acm Sigmod Record,1987,16(3):249-259.
[19] Bukhres O,Elmagarmid A,Kuhn E.Implementation of the flex transaction model[J].IEEE Data Engineering,1993,16(2):28-32.
[20] 夏鲸.并发分布式事务处理机制在PAR平台中的设计与实现[D].南昌:江西师范大学,2018.

相似文献/References:

[1]汪 雄,薛锦云*,刘震伟.新型Action泛型机制在PAR平台中的实现和应用研究[J].江西师范大学学报(自然科学版),2020,(06):633.[doi:10.16357/j.cnki.issn1000-5862.2020.06.15]
　WANG Xiong,XUE Jinyun*,LIU Zhenwei.The Implementation and Application of New Action Generic Mechanism in PAR Platform[J].Journal of Jiangxi Normal University:Natural Science Edition,2020,(06):633.[doi:10.16357/j.cnki.issn1000-5862.2020.06.15]
[2]熊小舟,薛锦云*.基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现[J].江西师范大学学报(自然科学版),2018,(03):291.[doi:10.16357/j.cnki.issn1000-5862.2018.03.12]
　XIONG Xiaozhou,XUE Jinyun*.The Design and Implementation of PAR Method Online Self-Study System Based on Web Service and Multimedia Database Technology[J].Journal of Jiangxi Normal University:Natural Science Edition,2018,(06):291.[doi:10.16357/j.cnki.issn1000-5862.2018.03.12]

备注/Memo

备注/Memo:
收稿日期:2019-04-17
基金项目:国家自然科学基金重大国际合作(61020106009),国家自然科学基金面上课题(61272075,61472167),国家自然科学基金(61462041),江西省自然科学基金(20171BAB202008)和江西省教育厅科学技术研究课题(160329)资助项目.
通信作者:薛锦云(1947-),男,江苏海门人,教授,博士生导师,主要从事软件形式化和自动化的研究.E-mail:jinyun@vip.sina.com
更新日期/Last Update: 2019-12-10