Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Studia Informatica

1 2013

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: two-phase commit protocol

Sortuj według:

Ogranicz wyniki do:

Odwzorowanie działania protokołu dwufazowego zatwierdzania z wieloma uczestnikami za pomocą kolorowanej sieci Petriego

Iwaniak M., Khadzyhonov W.

Studia Informatica

2013

Vol. 34, nr 2A

57--69

W artykule przedstawiono wykorzystanie kolorowanej sieci Petriego do przedstawienia modelu i symulacji działania protokołu 2PC z wieloma uczestnikami (ang. Two-phase commit), czyli protokołu dwufazowego zatwierdzania. Wprowadzono podstawowe pojęcia dotyczące kolorowanych sieci Petriego. Opisano działanie protokołu dwufazowego zatwierdzania. Zaprezentowano model odwzorowujący działanie protokołu 2PC dla więcej niż jednego uczestnika. Za pomocą odpowiedniego doboru znakowań początkowych przeprowadzono analizę osiągalnych rozwiązań dla różnych sytuacji, które mogą zaistnieć w trakcie realizacji transakcji rozproszonej z wykorzystaniem protokołu 2PC.

In this work the usage of Colored Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Colored Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Colored Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.