Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі
DOI:
https://doi.org/10.35681/1560-9189.2013.15.3.103431Ключові слова:
розфарбовувані мережі Петрі, розподілені транзакції, двофазний протокол підтвердження транзакцій, протокол 2РСАнотація
Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій — 2PC (Two-phase commit) з багатьма учасниками. Дано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проведено аналіз досяжних станів для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2РС. Табл.: 8. Іл.: 3. Бібліогр.: 5 найм.Посилання
Iwaniak M. Distributed Transactions Modeling with the Use of Petri Nets / M. Iwaniak, W. Khadzhynov // Data Rec., Storage & Processing. — 2012. — Vol. 14, Is. 3. — pp. 81–91.
M. Tamer Özsu. Principles of Distributed Database Systems. — [III ed.] / M. Tamer Özsu, Patrick Valduriez. — Springer, 2011.
Banaszak Z. Procesy Współbieżne: Modele Efektywności Funkcjonowania / Z. Banaszak, P. Majdzik, R. Wójcik. — Koszalin: Politechnika Koszalińska, 2011.
Bidyut Biman Sarkar. Transaction Management for Distributed Database Using Petri Nets / Bidyut Biman Sarkar, Nabendu Chaki // International Journal of Computer Information Systems and Industrial Management Applications (IJCISIM). — 2010. — Vol. 2. — pp. 069–076.
Bidyut Biman Sarkar. Virtual Data Warehouse Modeling Using Petri Nets for Distributed Decision Making / Bidyut Biman Sarkar, Nabendu Chaki. — doi:10.4156/jcit.vol5.issue5.1
