Перегляд вихідного коду сторінки Теорема CAP

'''Теорема CAP''' (також відома як '''теорема Брюера''', на честь науковця {{нп|Ерік Брюер (науковець)|Еріка Брюера|en|Eric_Brewer_(scientist)}})&nbsp;— твердження, що для будь-якої [[Розподілені обчислення|розподіленої комп'ютерної системи]] неможливо одночасно забезпечити виконання більше двох із перелічених трьох властивостей:
* '''узгодженість''' даних (усі вузли бачать однакові дані у будь-який момент часу);
* '''доступність''' (гарантія того, що кожен запит отримає коректну відповідь);
* '''стійкість''' до розділення (попри розділення на ізольовані секції або втрати зв'язку з частиною вузлів, система не втрачає стабільність і здатність коректно відповідати на запити).

Акронім '''CAP''' утворений з перших букв англомовних іменувань цих трьох властивостей ('''C'''onsistency, '''A'''vailability, '''P'''artition tolerance).<ref>{{Cite web|url = http://www.julianbrowne.com/article/viewer/brewers-cap-theorem|title = Brewer's CAP Theorem|last = |first = |date = |website = |publisher = |language = |accessdate = }}</ref><ref>{{Cite web|url = http://www.royans.net/wp/2010/02/14/brewers-cap-theorem-on-distributed-systems/|title = Brewers CAP theorem on distributed systems|last = |first = |date = |website = |publisher = |language = |accessdate = }}</ref>

== Історія ==
Згідно Еріком Брюером теорема вперше виникла восени 1998, а опублікована під назвою «CAP-правило» в 1999.

В 2000 Брюер презентував свою гіпотезу на симпозіумі по розподіленим обчисленням що призвело до її широкої популярності та визнання серед спеціалістів по розподіленим обчисленням.

Згодом, в 2002 Сет Джилберт та Ненсі Лінч із Масачусетського технологічного інституту опублікували формальне доведення цієї теореми.<ref>{{Cite web|url = http://www.infoq.com/articles/cap-twelve-years-later-how-the-rules-have-changed|title = CAP Twelve Years Later: How the "Rules" Have Changed|last = |first = |date = |website = |publisher = |language = |accessdate = }}</ref>

== Наслідки ==
З точки зору теореми, розподілені системи в залежності від пари забезпечених властивостей діляться на три класи:

=== CA ===
Розподілена система в якій забезпечена доступність та узгодженість даних не може забезпечувати стійкість до розділення.

Прикладом такої системи є програмне забезпечення що підтримує [[ACID]] вимоги, наприклад [[Реляційна база даних|реляційні бази даних]].

=== AP ===
Розподілена система в якій не гарантується цілісність результату, зате висока доступність і збереження працездатності при розділенні.

Звісно такі системи з'явилися значно раніше формулювання CAP теореми, як то наприклад [[DNS]], але ріст популярності збігається з розповсюдженням даного принципу (зокрема деякі [[NoSQL]] системи не гарантують цілісність результату, посилаючись на дану теорему).

=== CP ===
Система що забезпечує цілісність даних на всіх вузлах і здатність працювати при розділенні, але не гарантує доступність і може не відповідати на запити.

Прикладами таких систем є розподілене програмне забезпечення фінансових систем, де узгодженість даних має найвищий пріоритет, це наприклад, мережа [[банкомат]]ів.

== Примітки ==
{{reflist}}

== Див. також ==
* [[Розподілені обчислення]]
* [[Цілісність інформації]]

{{СКБД}}
{{Паралельні обчислення}}

{{Algorithm-stub}}
{{ВП-портали|Програмування|}}

[[Категорія:Розподілені обчислення]]
[[Категорія:Комп'ютерні технології]]