|
|||||
|
|
| 扩展Petri网在实时数据库并发控制中的应用 | |
| 引用本文： | 韩耀军,罗雪梅,蒋昌俊.扩展Petri网在实时数据库并发控制中的应用[J].系统仿真学报,2003,15(Z1):63-66. |
| 作者姓名： | 韩耀军 罗雪梅 蒋昌俊 |
| 作者单位： | 1. 同济大学计算机科学与工程系,上海,200092;山东科技大学,山东,济南,250031 2. 中国科学院计算机科学实验室,北京,100008 3. 同济大学计算机科学与工程系,上海,200092 |
| 基金项目： | 国家863项目(2001AA413020)子项目;国家自然科学基金(69973029,60173053);计算机科学重点实验室课题(SYSKF0304). |
| 摘 要： | 提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间.用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能. |
| 关 键 词： | 初始化弧 扩展高级时间Petri网 实时数据库系统 并发控制 建模 分析 |
| 文章编号： | 1004-731X(2003)S1-0063-04 |
| 修稿时间： | 2003年6月10日 |
Application of Extended Petri Net to Concurrency Control of Real-Time Database Based |
|
| HAN Yao-jun,LUO Xue-mei,JIANG Chang-jun.Application of Extended Petri Net to Concurrency Control of Real-Time Database Based[J].Journal of System Simulation,2003,15(Z1):63-66. | |
| Authors: | HAN Yao-jun LUO Xue-mei JIANG Chang-jun |
| Institution: | HAN Yao-jun1,3,LUO Xue-mei2,JIANG Chang-jun1 |
| Abstract: | An initialization arc is proposed and introduced to high-level time Petri net in this paper. Accordingly an Extended High-Level Time Petri Net(EHLTPN) model is presented. The paper models concurrency transactions of real-time database with EHLTPN. The model not only well describe the phenomena occurring during the data access for concurrency transactions but also has some characteristics same as 2PL-LW protocol such as avoiding useless restarts and useless waits and constructing deadlock-free and serializable scheduling. It can be used to calculate the miss rate, restart rate and complete rate by analyzing reachability of the model. |
| Keywords: | initialization arc extended high-level time petri net real-time database system concurrent control modeling analyzing |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |