网络安全技术与应用
網絡安全技術與應用
망락안전기술여응용
NETWORK SECURITY TECHNOLOGIES & APPLICATION
2011年
4期
42-45
,共4页
Petri网%抑制弧%容许弧%死锁%2PL%形式化
Petri網%抑製弧%容許弧%死鎖%2PL%形式化
Petri망%억제호%용허호%사쇄%2PL%형식화
本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源.其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL 协议引起的活锁问题,且给出死锁检测方法.
本文用帶抑製/容許弧的增廣有色Petri網構建一類帶封鎖機製的數據庫併髮控製模型,此模型適用于描述多箇事務訪問多箇共享資源.其中採用瞭2PL協議解決瞭數據庫中併髮所引起的數據不一緻性,併採取瞭FIFO策略避免瞭2PL 協議引起的活鎖問題,且給齣死鎖檢測方法.
본문용대억제/용허호적증엄유색Petri망구건일류대봉쇄궤제적수거고병발공제모형,차모형괄용우묘술다개사무방문다개공향자원.기중채용료2PL협의해결료수거고중병발소인기적수거불일치성,병채취료FIFO책략피면료2PL 협의인기적활쇄문제,차급출사쇄검측방법.
