CAP (twierdzenie): Różnice pomiędzy wersjami
Przejdź do nawigacji
Przejdź do wyszukiwania
m (lit) |
m (d) |
||
| 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 | + | '''CAP''' (''consistency, availability, partition'') - twierdzenie Brewera o CAP (postawione w 2000 r. jako hipoteza przez Erica Brewera z Uniwersytetu Berkeley); wynik informatyki teoretycznej (udowodniony w 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]] mają jednoczesny dostęp do jednakowych danych; | * '''spójności''' (''consistency'') oznaczającej że wszystkie [[węzeł|węzły]] mają jednoczesny dostęp do jednakowych danych; | ||
Wersja z 14:29, 30 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 w 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.
