Modele spojnosci

Name: lok-ai — Lokalna Automatyzacja Biznesu
Address: Grudziądz, kujawsko-pomorskie, PL
Telephone: +48-534-541-454
Price range: $$

19 pojęć w 7 podgrupach, z prostymi definicjami i źródłami.

Gwarancje sesyjne · 3

01czytaj-swoje-zapisyread-your-writesGwarancja sesyjna: proces po wykonaniu zapisu zawsze widzi w kolejnych odczytach efekt tego zapisu lub nowszy.
02spójność monotoniczna odczytówmonotonic readsGwarancja sesyjna: jeśli proces odczytał pewną wartość obiektu, kolejne odczyty nie zwrócą wartości starszej niż już zaobserwowana.
03spójność monotoniczna zapisówmonotonic writesGwarancja sesyjna: zapisy jednego procesu są stosowane we wszystkich replikach w kolejności, w jakiej proces je wykonał.

01PACELCPACELCRozszerzenie CAP: przy podziale sieci wybiera się między dostępnością a spójnością, a w jego braku — między niskim opóźnieniem a spójnością.
02twierdzenie CAPCAPStwierdza, że system rozproszony nie może jednocześnie gwarantować spójności, dostępności i odporności na podział sieci — w razie podziału trzeba wybrać między spójnością a dostępnością.

01spójność ograniczonego rozbieżeniabounded stalenessModel określający dopuszczalną granicę rozbieżności replik — w wymiarze czasu, liczby wersji lub błędu numerycznego — zanim wymuszona zostanie synchronizacja.
02świeżość odczytustalenessStopień, w jakim odczytana wartość odzwierciedla najnowszy zapisany stan; ograniczana w modelach z opóźnieniem określonym czasowo lub liczbą wersji.

01linearyzowalnośćNajsilniejszy model spójności obiektu: każda operacja zdaje się działać atomowo w pewnym punkcie między jej wywołaniem a zakończeniem, zgodnie z czasem rzeczywistym.
02spójność sekwencyjnaModel, w którym wynik wykonania jest taki, jakby operacje wszystkich procesów wykonano w pewnym porządku globalnym zgodnym z kolejnością programu każdego procesu.

01spójność ostatecznaGwarancja, że przy braku nowych zapisów wszystkie repliki danego obiektu w końcu zbiegną do tej samej wartości.
02spójność przyczynowaModel gwarantujący, że operacje powiązane relacją przyczynowo-skutkową są widziane przez wszystkie procesy w tym samym porządku; operacje współbieżne mogą różnić się porządkiem.
03spójność silna ostatecznaSECWzmocnienie spójności ostatecznej: repliki, które otrzymały ten sam zbiór aktualizacji, mają identyczny stan, bez konieczności rozwiązywania konfliktów.

01spójność PRAMFIFO consistencyModel, w którym zapisy jednego procesu są widziane przez pozostałe w kolejności ich wykonania, lecz zapisy różnych procesów mogą być obserwowane w różnym porządku.
02spójność procesorowaprocessor consistencyModel, w którym zapisy każdego pojedynczego procesora są widziane przez wszystkie inne w kolejności programu, lecz globalny porządek zapisów różnych procesorów nie jest gwarantowany.
03spójność słabaModel rozróżniający zwykłe dostępy od operacji synchronizacji; spójność pamięci jest wymuszana tylko w punktach synchronizacji.
04spójność zwolnieniowarelease consistencyModel słaby rozróżniający operacje acquire i release; zmiany stają się widoczne dla innych dopiero przy operacji zwolnienia blokady.

01serializowalnośćKryterium poprawności wykonania współbieżnych transakcji: efekt jest równoważny pewnemu wykonaniu szeregowemu tych transakcji.
02serializowalność migawkowasnapshot isolationPoziom izolacji, w którym transakcja czyta spójną migawkę bazy z chwili rozpoczęcia, a konflikt zapis-zapis powoduje przerwanie jednej z transakcji.
03ścisła serializowalnośćstrict serializabilityPołączenie serializowalności i linearyzowalności: porządek szeregowy transakcji respektuje ich kolejność w czasie rzeczywistym.