Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі

Автор(и)

  • M. Iwaniak Technical University of Koszalin, Польща
  • W. Khadzhynov Technical University of Koszalin, Польща

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

##submission.downloads##

Опубліковано

2013-09-05

Номер

Розділ

Експертні системи та підтримка прийняття рішень