Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Studia Informatica

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

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.

Wykorzystanie sieci Petriego do modelowania transakcji rozproszonych

Iwaniak M., Khadzhynov W.

Studia Informatica

2012

Vol. 33, nr 2A

255-270

W artykule przedstawiono próbę wykorzystania zwyczajnej sieci Petriego do utworzenia i zbadania modelu protokołu 3PC (ang. three-phase commit), czyli protokołu trójfazowego zatwierdzania. Wprowadzone zostały podstawowe pojęcia dotyczące sieci Petriego. Wyjaśniono istotę transakcji w tradycyjnych i rozproszonych bazach danych oraz opisano działanie protokołu trójfazowego zatwierdzania. Przedstawiono sieć Petriego odwzorowującą działanie protokołu 3PC wraz z grafem osiągalnych rozwiązań oraz badaniem właściwości utworzonej sieci.

In this work the attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. Brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PC protocol followed by reachability analysis and study of net properties is presented.