Otkazoustojchiwyj algoritm atomarnoj translqcii na osnowe tokenow, opiraüschijsq na RP

Atomarnaq translqciq (ili translqciq polnogo porqdka) qwlqetsq wazhnoj abstrakciej w otkazoustojchiwyh raspredelennyh wychisleniqh. Atomarnaq translqciq garantiruet, chto soobscheniq, peredawaemye razlichnymi processami, budut dostawleny wsemi processami naznacheniq w odnom i tom zhe porqdke. Otkazoustojchiwye raspredelennye sistemy prednaznacheny dlq obespecheniq nadezhnogo i neprerywnogo obsluzhiwaniq, nesmotrq na otkaz nekotoryh iz ih komponentow. Osnownym stroitel'nym blokom takih sistem qwlqütsq detektory otkazow. Atomarnye shirokoweschatel'nye protokoly, osnowannye na markerah, nuzhdaütsq w gruppowom chlenstwe ili äkwiwalentnom mehanizme. Problema neizbezhnogo parallelizma znachitel'no umen'shaetsq, esli polagat'sq na primitiwy gruppowoj swqzi, kotorye obespechiwaüt bolee wysokie garantii, chem standartnaq swqz' "tochka-tochka". Powedenie neisprawnostej wazhno pri reshenii problem w raspredelennoj sisteme.