Iwaniak M. Coloured Petri Net model of two-phase commit protocol with multiple participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і оброб. даних. - 2013. - 15, № 3. - С. 61-70. - Бібліогр.: 5 назв. - англ.Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій - 2PC (Two-phase commit) з багатьма учасниками. Надано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проаналізовано досяжні стани для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2PC. Індекс рубрикатора НБУВ: З970.31
Рубрики:
Шифр НБУВ: Ж16550 Пошук видання у каталогах НБУВ Повний текст Наукова періодика України
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|