Design And Implementation Of Concurrent Distributed Transaction Processing Mechanism In PAR Platform

At present,leading technologies such as big data,cloud computing,AI and trusted software have become research hotspots in the field of computer and information.All these hotspots issues are the research goals of the two research projects researched by the Professor Xue Jinyun,and the two projects are "research on the implementation of several new software technologies in PAR platform" which is a major international cooperation project funded by the National Natural Science Foundation and "research on highly reliable software modeling language and model automatic conversion method".The Apla to Java Program Auto-Transformation System of PAR is the mainly development platform that needed to design and implement these leading technologies in it for the two national research projects.The research goal of this paper is to implement concurrent distributed transaction processing mechanism in the Apla to Java Program Auto-Transformation System and make it integrated with the original system naturally.This paper carefully analyzes the principles and characteristics of distributed transaction processing,and the latest Java development platform and supporting tools at first,and proposes a concurrent distributed transaction processing mechanism that is need to integrated with the original modeling language Apla and the original local transaction mechanism,and also constructs an automatic transformation system from Apla concurrent distributed transaction processing model to Java concurrent distributed transaction processing program.Based on this transformation system can automatically generate Java concurrent distributed transaction processing program,two examples are used to verify the correctness and reliability of the system at last.The main innovations of this paper are as follows:(1)This paper proposes an abstract concurrent distributed transaction processing language mechanism,and integrates it with the local transaction processing mechanism in Apla,and also constructs a transformation system that converts the abstract concurrent distributed transaction processing program to the corresponding Java program,therefore,it is very easy to use the modeling language Apla to build very complex concurrent distributed transaction processing applications and formal verification and prove of these programs.The conversion system can convert the proven concurrent distributed transaction processing program into a corresponding Java program,which greatly improves the reliability and development efficiency of concurrent distributed transaction processing program.It's the first time we can see this achievement in the international and domestic.World-famous scientist Professor Misra of Texas University in America hope to implement transaction processing mechanism in the modeling language Orc invented by him,but it has not been successful so far.(2)The abstract concurrent distributed transaction processing mechanism proposed in this paper deals with generalized distributed transactions,rather than narrow database distributed transactions,this makes the use of the Apla language can not only easily to build very complex database concurrent distributed transaction applications,but also easily to build very complex general concurrent distributed transaction applications that beyond database,and the designed abstract concurrent distributed transaction applications can be automatic transformed into a corresponding Java application.It is rarely seen the function and method at home and abroad.