收藏本站
《江西师范大学学报(自然科学版)》 2019年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

刘震伟  薛锦云  夏鲸  汪雄  
【摘要】:随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在其建模语言Apla中融入了并发分布式事务处理机制,使得Apla语言不仅支持分布式数据库事务,还支持分布式非数据库事务.该文对Apla语言并发分布式事务处理机制进行了深入地研究,并将其应用在学生管理系统、在线购物系统等实际应用场景中.

知网文化
【相似文献】
中国期刊全文数据库 前19条
1 杨乐;薛锦云;万韵;;面向PAR平台的测试用例生成技术研究[J];微计算机信息;2009年33期
2 屈文建;薛锦云;;PAR方法和循环不变式的范畴语义[J];计算机工程与应用;2009年08期
3 陆克盛;杨丽娜;李熙春;;有关PAR在数学算法之中的应用探析[J];才智;2013年14期
4 石海鹤;薛锦云;;基于PAR的排序算法自动生成研究[J];软件学报;2012年09期
5 朱苏兴,冉小晓;运用PAR方法进行算法程序设计[J];福建电脑;2004年11期
6 胡启敏;薛锦云;游珍;程着;;PAR平台中若干软件构件形式化验证技术研究[J];计算机工程与科学;2018年02期
7 石海鹤;薛锦云;;基于PAR的算法形式化开发[J];计算机学报;2009年05期
8 石海鹤;薛锦云;;一组基于PAR的高可靠查找算法程序开发[J];计算机研究与发展;2010年S1期
9 汤沁;薛锦云;;PAR平台数据库查询优化方案[J];计算机与现代化;2013年11期
10 齐兵书,袁伟;OCCAM语言中PAR构造的使用[J];计算机工程;1993年05期
11 孙凌宇;薛锦云;;最小生成树算法的PAR方法形式化推导[J];计算机工程;2006年21期
12 潘博;;基于PAR的算法形式化开发探讨[J];计算机光盘软件与应用;2013年06期
13 苏昭;;形式化PAR方法及其算法程序规约精化机理[J];江西科技学院学报;2014年03期
14 罗晓娟;;用PAR方法解单源最短路径问题的研究[J];萍乡高等专科学校学报;2009年06期
15 袁伟,孙永强;“SEQ OF PAR”结构化并行程序设计[J];计算机学报;1997年03期
16 石海鹤;石海鹏;薛锦云;;一种形式化开发非递归算法的方法[J];计算机应用研究;2007年11期
17 李英龙;施炜;;基于PAR方法的管理信息系统需求建模研究[J];湘潭师范学院学报(自然科学版);2008年02期
18 揭安全;石海鹤;薛锦云;;一种基于Java可重用部件库的多核程序开发方法[J];微电子学与计算机;2008年09期
19 卢家兴,李云清;PAR方法在组合游戏上的应用[J];计算机与现代化;2004年09期
中国博士学位论文全文数据库 前1条
1 游珍;建模语言Orc在PAR平台中的实现及相关理论研究[D];武汉大学;2013年
中国硕士学位论文全文数据库 前10条
1 吴刚;PAR平台在软件服务外包中的应用与研究[D];江西师范大学;2013年
2 黄海飞;PAR方法在构建高可靠管理信息系统中的应用研究[D];江西师范大学;2007年
3 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
4 孙凌宇;PAR方法在组合数学问题中的应用研究[D];江西师范大学;2005年
5 张娟;基于Par方法和Par平台的软件测试[D];江西师范大学;2005年
6 朱威;基于PAR方法的分形算法开发研究[D];郑州大学;2014年
7 李英龙;PAR方法中关系数据库机制的描述与实现[D];江西师范大学;2006年
8 吴莫海;基于Web服务的PAR方法辅助教学系统的研发[D];江西师范大学;2015年
9 侯长源;基于PAR平台的电力技改系统应用研究[D];江西师范大学;2015年
10 汤沁;PAR平台中数据库查询优化方案研究及实现[D];江西师范大学;2013年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978