Formal Modeling and Analysis of Transaction Scheduling and Concurrency Control in Grid Databases
Transaction scheduling and concurrency control are two important problems in a distributed environment.A lot of research has been focused on the problems recently,and many models and measures have been proposed.However,some of them didn’t fit for grid environment,as grid architecture is a new and distinguished from conventional distributed computing by its heterogeneous,dynamic and autonomous properties.In this paper,we propose a three-level transaction scheduling model for grid database,which not only shows the autonomy of grid but also lightens the pressure of communication and grid scheduler.We consider communication time of a transaction,user’s priority and the number of DB sites accessed by the transaction as a priority of the transaction,and give scheduling algorithms for concurrency transaction,which not only supports correctness of the data,but also improves the effectiveness of the system.Petri nets are promising tools for modeling and analysis information processing systems that are characterized as being concurrent,parallel and distributed.We use a dynamic time colored Petri net (DTCPN) to model each level’s transaction scheduling and get a DTCPN model for three-level transaction scheduling model of grid database using sharing composition.Finally,we get some important results such as miss rate of transactions by analyzing reachability of Petri nets.
Yaojun Han Changjun Jiang Xuemei Luo
国际会议
北京
英文
2008-10-10（万方平台首次上网日期，不代表论文的发表时间）