IPRI - www.ipri.kiev.ua -  IPRI - www.ipri.kiev.ua -
Раздел [RUS]
Регистрация, хранение и обраб. данных. — 2013. — Т. 15, № 3.
[UKR]
Реєстрація, зберігання і оброб. даних. — 2013. — Т. 15, № 3.
[ENG]
Data Rec., Storage & Processing. — 2013. — Vol. 15, N 3.
Страницы 61–70
PDF, full text
Заглавие [RUS]
Моделирование двухфазного протокола подтверждения транзакций со многими участниками с помощью раскрашиваемых сетей Петри
[UKR]
Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі
[ENG]
Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
Авторы [RUS]
Иваняк М., Хаджинов В.
[UKR]
Іваняк М., Хаджинов В.
[ENG]
M. Iwaniak, W. Khadzhynov
Аннотация [RUS]
Рассмотрено применение раскрашиваемых сетей Петри для построения моделей и последующей имитации двухфазного протокола подтверждения распределенных транзакций — 2PC (Two-phase commit) со многими участниками. Дано описание основных используемых понятий раскрашиваемых сетей Петри, а также действие двухфазного протокола подтверждения транзакций для более чем одного участника. С помощью соответствующего выбора начальных разметок проведен анализ достижимых состояний для различных ситуаций, которые могут возникнуть в процессе реализации распределенных транзакций с применением протокола 2PC. Табл.: 8. Ил.: 3. Библиогр.: 5 наим.
[UKR]
Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій — 2PC (Two-phase commit) з багатьма учасниками. Дано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проведено аналіз досяжних станів для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2РС. Табл.: 8. Іл.: 3. Бібліогр.: 5 найм.
[ENG]
In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Coloured Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.
Ключевые слова [RUS]
раскрашиваемые сети Петри, распределенные транзакции, двухфазный протокол подтверждения транзакций, протокол 2PC.
[UKR]
розфарбовувані мережі Петрі, розподілені транзакції, двофазний протокол підтвердження транзакцій, протокол 2РС.
[ENG]
Coloured Petri Net, distributed transactions, 2PC, Two-Phase Commit protocol.
Ссылки
Файлы 2013-3-7.pdf