DOI: https://doi.org/10.35681/1560-9189.2013.15.3.103431

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

M. Iwaniak, W. Khadzhynov

Анотація


Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій — 2PC (Two-phase commit) з багатьма учасниками. Дано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проведено аналіз досяжних станів для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2РС. Табл.: 8. Іл.: 3. Бібліогр.: 5 найм.

Ключові слова


розфарбовувані мережі Петрі; розподілені транзакції; двофазний протокол підтвердження транзакцій; протокол 2РС

Повний текст:

PDF (English)