计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
10期
181-183,229
,共4页
并发控制%可串行化%两段锁协议%死锁%扩展有色Petri网%可达标识图
併髮控製%可串行化%兩段鎖協議%死鎖%擴展有色Petri網%可達標識圖
병발공제%가천행화%량단쇄협의%사쇄%확전유색Petri망%가체표식도
并发控制是多用户数据库管理系统(DBMS)的重要内容之一.该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.
併髮控製是多用戶數據庫管理繫統(DBMS)的重要內容之一.該文對其形式化方法進行瞭研究,建立瞭符閤兩段鎖協議的擴展有色Petri網模型.利用該模型的可達標識圖,給齣瞭判斷滿足兩段鎖協議的調度是否死鎖的充分必要條件,併由此構造齣併髮事務的無死鎖的可串行化調度.
병발공제시다용호수거고관리계통(DBMS)적중요내용지일.해문대기형식화방법진행료연구,건립료부합량단쇄협의적확전유색Petri망모형.이용해모형적가체표식도,급출료판단만족량단쇄협의적조도시부사쇄적충분필요조건,병유차구조출병발사무적무사쇄적가천행화조도.
