Kaip užtikrinamas patikimas sandorių vykdymas paskirstytojoje sistemoje?

Dalijamosiose sistemose, siekiant užtikrinti patikimą sandorių vykdymą, naudojami paskirstyti patvirtinimo protokolai, tokie kaip dviejų fazių patvirtinimas (2PC) arba trijų fazių patvirtinimas (3PC).

Pagrindinės idėjos:

• Koordinavimas tarp visų sandorio dalyvių, siekiant susitarti dėl jo rezultato (patvirtinti ar atšaukti).
• Naudojant žurnalus ir būsenos saugojimą po klaidų atkūrimo.
• Užtikrinant duomenų atomingumą ir nuoseklumą visuose mazguose.

Go kalboje tai gali būti įgyvendinta naudojant RPC arba gRPC komunikacijai tarp paslaugų, taip pat naudojant kontekstus operacijų vykdymo laikui valdyti ir atšaukti.

Paprastas dviejų fazių patvirtinimo logikos pavyzdys:

1. Koordinatorius siunčia pasiruošimo (prepare) užklausą visiems dalyviams.
2. Jei visi pasiruošę, siunčia patvirtinimo (commit) komandą.
3. Jei kas nors nėra pasiruošęs, siunčia atšaukimą (rollback).

Tai užtikrina, kad visi dalyviai patvirtins pakeitimus arba juos atšauks, užtikrinant duomenų vientisumą.