CAP (twierdzenie): Różnice pomiędzy wersjami
Przejdź do nawigacji
Przejdź do wyszukiwania
(dod) |
m (lit) |
||
| Linia 1: | Linia 1: | ||
'''CAP''' (''consistency, availability, partition'') - twierdzenie Brewera o CAP (postawione w 2000 r. jako hipoteza przez Erica Brewera z Uniwersytetu Berkeley); wynik informatyki teoretycznej (udowodniony z 2012 r. przez Setha Gilberta oraz Nancy Lynch), ustalający iż w [[rozproszony]]ch systemach przetwarzania danych nie jest możliwe jednoczesne utrzymanie trzech właściwości: | '''CAP''' (''consistency, availability, partition'') - twierdzenie Brewera o CAP (postawione w 2000 r. jako hipoteza przez Erica Brewera z Uniwersytetu Berkeley); wynik informatyki teoretycznej (udowodniony z 2012 r. przez Setha Gilberta oraz Nancy Lynch), ustalający iż w [[rozproszony]]ch systemach przetwarzania danych nie jest możliwe jednoczesne utrzymanie trzech właściwości: | ||
| − | * '''spójności''' (''consistency'') oznaczającej że wszystkie [[węzeł|węzły]] | + | * '''spójności''' (''consistency'') oznaczającej że wszystkie [[węzeł|węzły]] mają jednoczesny dostęp do jednakowych danych; |
* '''dostępności''' (''availability'') czyli, że każde żądanie doczeka się odpowiedzi; | * '''dostępności''' (''availability'') czyli, że każde żądanie doczeka się odpowiedzi; | ||
* '''odporności na rozbicie''' (''partition tolerance'') system potrafi działać pomimo utraty części komunikatów lub uszkodzenia niektórych węzłów. | * '''odporności na rozbicie''' (''partition tolerance'') system potrafi działać pomimo utraty części komunikatów lub uszkodzenia niektórych węzłów. | ||
Wersja z 10:58, 24 kwi 2014
CAP (consistency, availability, partition) - twierdzenie Brewera o CAP (postawione w 2000 r. jako hipoteza przez Erica Brewera z Uniwersytetu Berkeley); wynik informatyki teoretycznej (udowodniony z 2012 r. przez Setha Gilberta oraz Nancy Lynch), ustalający iż w rozproszonych systemach przetwarzania danych nie jest możliwe jednoczesne utrzymanie trzech właściwości:
- spójności (consistency) oznaczającej że wszystkie węzły mają jednoczesny dostęp do jednakowych danych;
- dostępności (availability) czyli, że każde żądanie doczeka się odpowiedzi;
- odporności na rozbicie (partition tolerance) system potrafi działać pomimo utraty części komunikatów lub uszkodzenia niektórych węzłów.
Twierdzenie CAP stanowi w pewnym sensie negację postulatów ACID.
