J.R. Gonzalez de Mendivil, J. R. Garitagoitia, A. Córdoba
{"title":"一个简单的分布式死锁检测算法","authors":"J.R. Gonzalez de Mendivil, J. R. Garitagoitia, A. Córdoba","doi":"10.1109/CMPEUR.1992.218433","DOIUrl":null,"url":null,"abstract":"The authors introduce a simple and basic distributed deadlock detection and resolution algorithm for the one-resource model of a distributed database system. The distribution database model upon which the algorithm is based is the model introduced by D.A. Menasce and R.R. Muntz (1979). The main contribution is the use of automata theory for modeling the formal specification of the algorithm. This mathematical model allows the development of an elegant and short proof of correctness. The algorithm reports all true deadlocks and generates a unique candidate for resolving the deadlock.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A simple distributed deadlock detection algorithm\",\"authors\":\"J.R. Gonzalez de Mendivil, J. R. Garitagoitia, A. Córdoba\",\"doi\":\"10.1109/CMPEUR.1992.218433\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors introduce a simple and basic distributed deadlock detection and resolution algorithm for the one-resource model of a distributed database system. The distribution database model upon which the algorithm is based is the model introduced by D.A. Menasce and R.R. Muntz (1979). The main contribution is the use of automata theory for modeling the formal specification of the algorithm. This mathematical model allows the development of an elegant and short proof of correctness. The algorithm reports all true deadlocks and generates a unique candidate for resolving the deadlock.<<ETX>>\",\"PeriodicalId\":390273,\"journal\":{\"name\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"volume\":\"4 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPEUR.1992.218433\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1992.218433","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The authors introduce a simple and basic distributed deadlock detection and resolution algorithm for the one-resource model of a distributed database system. The distribution database model upon which the algorithm is based is the model introduced by D.A. Menasce and R.R. Muntz (1979). The main contribution is the use of automata theory for modeling the formal specification of the algorithm. This mathematical model allows the development of an elegant and short proof of correctness. The algorithm reports all true deadlocks and generates a unique candidate for resolving the deadlock.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
