loading...
A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets
Hong Kong, SAR, China May 10-May 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISPAN.2004.13004592004 International Symposium on Paral ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Yaojun Han, Tongji University Shanghai, China; ISCAS, Beijing, China; Shandong University of Science & Technology, China; Shanghai International Studies University, China
Changjun Jiang, Tongji University Shanghai, China
Xuemei Luo, ISCAS, Beijing, China; Shandong University of Science & Technology, China; Shanghai International Studies University, China
The Web-based database system has both distributed and real-time features. In addition to satisfying data consistency requirements as in conventional distributed database systems, concurrency control in Web-based distributed real-time database systems (DRTDBS) must also satisfy timing constraints, such as deadlines associated with transactions. So, the concurrency control problems become more complex and extremely difficult in a Web-based DRTDBS. Petri nets are promising tools for modeling and analysis information processing systems that are characterized as being concurrent, asynchronous, parallel and distributed. An extended time Petri net model for describing and analyzing the concurrent control of the Web-based DRTDBS is presented in this paper. The model has features of deadlock-free and serializability and can prevent useless restarts and useless waits. We compose the reduced Petri net models of all sites into a Petri net model for globe concurrent transactions using synchronizing composition. Moreover, the paper largely reduces the scale of the Petri net model for every site with reduction technique before composing. It solves the state explosion problem in reachability analysis of Petri nets. Last, a sufficient and necessary condition for judging whether the whole system is deadlock is given in the paper.
Citation:
Yaojun Han, Changjun Jiang, Xuemei Luo, "A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets," ispan, pp.67, 2004 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.