dbo:abstract
|
- En informàtica teòrica, el teorema CAP, també conegut com a teorema de Brewer, formula que és impossible garantir simultàniament les tres característiques següents en una aplicació distribuïda:
* Consistència (tots els nodes veuen la mateixa dada al mateix temps)
* Disponibilitat (la garantia que cada petició a un node rep una resposta de si ha tingut èxit o a fallat)
* Tolerància a la partició (el sistema continua operant malgrat la partició arbitrària a causa d'errors en la xarxa) El 2012 Brewer va aclarir alguna de les seves posicions com que el concepte "dos de tres" ("two out of three") pot ser malentès o pot induir a error i també el perquè de la definició de consistència CAP divergeix respecte a la de ACID. (ca)
- CAP teorém je věta z oblasti teoretické informatiky. Je nazýván též Brewerův teorém podle , který jej popsal v roce 1999. Tvrdí, že pro distribuovaný datový sklad není možné poskytovat více než dvě záruky z těchto tří:
* konzistence (Consistency): každé čtení vrátí buď výsledek posledního zápisu, nebo chybu
* dostupnost (Availability): na každý dotaz přijde (nechybová) odpověď
* odolnost k přerušení (Partition tolerance): systém funguje dál i v případě, že dojde ke zdržení či ztrátě části zpráv v rámci sítě Jinými slovy CAP teorém říká, že v případě výpadku části sítě je potřeba si zvolit mezi konzistencí a dostupností. Pozor, konzistence je zde definována zcela jinak než u databázové transakce (ACID). (cs)
- Das CAP-Theorem oder Brewers Theorem besagt, dass es in einem verteilten System unmöglich ist, gleichzeitig die drei Eigenschaften Consistency (Konsistenz), Availability (Verfügbarkeit) und Partition Tolerance (Ausfalltoleranz) zu garantieren. (de)
- In theoretical computer science, the CAP theorem, also named Brewer's theorem after computer scientist Eric Brewer, states that any distributed data store can provide only two of the following three guarantees: ConsistencyEvery read receives the most recent write or an error.AvailabilityEvery request receives a (non-error) response, without the guarantee that it contains the most recent write.Partition toleranceThe system continues to operate despite an arbitrary number of messages being dropped (or delayed) by the network between nodes. When a network partition failure happens, it must be decided whether to do one of the following:
* cancel the operation and thus decrease the availability but ensure consistency
* proceed with the operation and thus provide availability but risk inconsistency. Thus, if there is a network partition, one has to choose between consistency or availability. Note that consistency as defined in the CAP theorem is quite different from the consistency guaranteed in ACID database transactions. Eric Brewer argues that the often-used "two out of three" concept can be somewhat misleading because system designers need only to sacrifice consistency or availability in the presence of partitions, but that in many systems partitions are rare. (en)
- En Ciencias de la computación, el teorema CAP, también llamado Conjetura de Brewer, enuncia que es imposible para un sistema de cómputo distribuido garantizar simultáneamente:
* La consistencia (Consistency), es decir, cualquier lectura recibe como respuesta la escritura más reciente o un error.
* La disponibilidad (Availability), es decir, cualquier petición recibe una respuesta no errónea, pero sin la garantía de que contenga la escritura más reciente.
* La (Partition Tolerance), es decir, el sistema sigue funcionando incluso si un número arbitrario de mensajes son descartados (o retrasados) entre nodos de la red. Según el teorema, un sistema no puede asegurar más de dos de estas tres características simultáneamente. (es)
- Le théorème CAP ou CDP, aussi connu sous le nom de théorème de Brewer, dit qu'il est impossible sur un système informatique de calcul distribué de garantir en même temps (c'est-à-dire de manière synchrone) les trois contraintes suivantes :
* Cohérence (Consistency en anglais) : tous les nœuds du système voient exactement les mêmes données au même moment ;
* Disponibilité (Availability en anglais) : garantie que toutes les requêtes reçoivent une réponse;
* Tolérance au partitionnement (Partition Tolerance en anglais) : aucune panne moins importante qu'une coupure totale du réseau ne doit empêcher le système de répondre correctement (ou encore : en cas de morcellement en sous-réseaux, chacun doit pouvoir fonctionner de manière autonome). Attention : dans cette définition, le terme « partitionnement » ne doit pas être compris au sens que, dans une base, un objet peut être scindé en plusieurs destinations de stockage, mais comme des machines distinctes (appelées généralement nœuds) possédant chacune une partie des données tel que, seul, l’ensemble des nœuds permet de reconstituer l’intégralité des données de la base. D'après ce théorème, un système de calcul/stockage distribué ne peut garantir à un instant t que deux de ces contraintes mais pas les trois. (fr)
- In informatica teorica, il teorema CAP, noto anche come teorema di Brewer, afferma che è impossibile per un sistema informatico distribuito fornire simultaneamente tutte e tre le seguenti garanzie:
* Coerenza [copy-consistency] (tutti i nodi vedano gli stessi dati nello stesso momento)
* Disponibilità [availability] (la garanzia che ogni richiesta riceva una risposta su ciò che è riuscito o fallito)
* Tolleranza di partizione [partitioning] (il sistema continua a funzionare nonostante arbitrarie perdite di messaggi o malfunzionamenti) Secondo il teorema, un sistema distribuito è in grado di soddisfare al massimo due di queste garanzie allo stesso tempo, ma non tutte e tre. (it)
- Het CAP-theorema, ook bekend als Brewers theorema, stelt dat het onmogelijk is voor een gedistribueerd computersysteem om gelijktijdig aan de volgende drie voorwaarden te voldoen:
* ConsistencyAlle nodes in het systeem zien dezelfde data op hetzelfde moment.
* AvailabilityDe beschikbaarheid zegt iets over aanvragen (requests) en antwoorden (responses). Iedere aanvraag krijgt altijd een (niet-foutief) antwoord terug, ongeacht de consistentie van dit antwoord.
* Partition ToleranceHet systeem blijft functioneren bij het uitvallen van een of meerdere nodes (computers/servers) in het netwerk. Volgens het theorema kan een gedistribueerd computersysteem altijd aan twee van deze voorwaarden voldoen, maar nooit alle drie. (nl)
- CAP 정리(CAP 定理), 또는 브루어의 정리(Brewer 定理)는 다음과 같은 세 가지 조건을 모두 만족하는 분산 컴퓨터 시스템이 존재하지 않음을 증명한 정리이다.
* 일관성(一貫性, Consistency): 모든 노드가 같은 순간에 같은 데이터를 볼 수 있다.
* 가용성(可用性, Availability): 모든 요청이 성공 또는 실패 결과를 반환할 수 있다.
* 분할내성(分割耐性, Partition tolerance): 메시지 전달이 실패하거나 시스템 일부가 망가져도 시스템이 계속 동작할 수 있다. 위의 세 가지 조건의 첫 글자를 따서 CAP 정리라고 부른다. 2000년 전산학자 에릭 브루어가 이 명제를 가설로서 제시하였고, 2002년 와 가 이를 증명하였다. (ko)
- CAP定理はブリュワーの定理とも呼ばれ、分散コンピュータシステムのマシン間の情報複製に関する定理。ウェブサービスを想定して作られた定理。 (ja)
- Teorema do CAP, também chamado de Teorema de Brewer, afirma que é impossível que o armazenamento de dados distribuído forneça simultaneamente mais de duas das três garantias seguintes: Em outras palavras, o teor do CAP afirma que, na presença de uma partição da rede, é preciso escolher entre consistência e disponibilidade. Observe que a consistência conforme definido no teor de CAP é bastante diferente da consistência garantida em transações de bases de dados ACID. (pt)
- Теорема CAP (известная также как теорема Брюера) — эвристическое утверждение о том, что в любой реализации распределённых вычислений возможно обеспечить не более двух из трёх следующих свойств:
* согласованность данных (англ. consistency) — во всех вычислительных узлах в один момент времени данные не противоречат друг другу;
* доступность (англ. availability) — любой запрос к распределённой системе завершается корректным откликом, однако без гарантии, что ответы всех узлов системы совпадают;
* устойчивость к разделению (англ. partition tolerance) — расщепление распределённой системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций. Акроним CAP в наименовании теоремы сформирован из первых букв английских наименований этих трёх свойств. Принцип был предложен профессором Калифорнийского университета в Беркли в июле 2000 года и впоследствии получил широкую популярность и признание в среде специалистов по распределённым вычислениям. Концепция NoSQL, в рамках которой создаются распределённые нетранзакционные системы управления базами данных, зачастую использует этот принцип в качестве обоснования неизбежности отказа от согласованности данных. Однако многими учёными и практиками теорема CAP критикуется за вольность трактовки и даже недостоверность в том смысле, в котором она распространена в сообществе. (ru)
- Теорема CAP (також відома як теорема Брюера, на честь науковця ) — твердження, що для будь-якої розподіленої комп'ютерної системи неможливо одночасно забезпечити виконання більше двох із перелічених трьох властивостей:
* узгодженість даних (усі вузли бачать однакові дані у будь-який момент часу);
* доступність (гарантія того, що кожен запит отримає коректну відповідь);
* стійкість до розділення (попри розділення на ізольовані секції або втрати зв'язку з частиною вузлів, система не втрачає стабільність і здатність коректно відповідати на запити). Коли відбувається розділення мережі, необхідно вирішити, що потрібно робити
* скасувати операцію і таким чином зменшити доступність, але забезпечити узгодженість
* продовжувати операцію і таким чином забезпечувати доступність, але ризикувати неузгодженість. Таким чином, якщо є розділення мережі, потрібно вибирати між узгодженістю та доступністю. Зауважте, що узгодженість, визначена в теоремі CAP, значно відрізняється від узгодженості, гарантованої в транзакціях ACID баз даних. Ерік Брюер стверджує, що часто використовувана концепція «два з трьох» може дещо вводити в оману, оскільки розробникам систем потрібно лише пожертвувати узгодженістю або доступністю за наявності розділення, але в багатьох системах розділення зустрічаються рідко. Акронім CAP утворений з перших букв англомовних іменувань цих трьох властивостей (Consistency, Availability, Partition tolerance). (uk)
- 在理論計算機科學中,CAP定理(CAP theorem),又被稱作布魯爾定理(Brewer's theorem),它指出對於一個分布式计算系統來說,不可能同時滿足以下三點:
* 一致性(Consistency) (等同于所有节点访问同一份最新的数据副本)
* 可用性(Availability)(每次请求都能获取到非错的响应——但是不保证获取的数据为最新数据)
* (Partition tolerance)(以实际效果而言,分区相当于对通信的时限要求。系统如果不能在时限内达成数据一致性,就意味着发生了分区的情况,必须就当前操作在C和A之间做出选择。) 根據定理,分佈式系統只能滿足三項中的兩項而不可能滿足全部三項。理解CAP理论的最简单方式是想象两个节点分处分区两侧。允许至少一个节点更新状态会导致数据不一致,即丧失了C性质。如果为了保证数据一致性,将分区一侧的节点设置为不可用,那么又丧失了A性质。除非两个节点可以互相通信,才能既保证C又保证A,这又会导致丧失P性质。 (zh)
|
rdfs:comment
|
- Das CAP-Theorem oder Brewers Theorem besagt, dass es in einem verteilten System unmöglich ist, gleichzeitig die drei Eigenschaften Consistency (Konsistenz), Availability (Verfügbarkeit) und Partition Tolerance (Ausfalltoleranz) zu garantieren. (de)
- CAP 정리(CAP 定理), 또는 브루어의 정리(Brewer 定理)는 다음과 같은 세 가지 조건을 모두 만족하는 분산 컴퓨터 시스템이 존재하지 않음을 증명한 정리이다.
* 일관성(一貫性, Consistency): 모든 노드가 같은 순간에 같은 데이터를 볼 수 있다.
* 가용성(可用性, Availability): 모든 요청이 성공 또는 실패 결과를 반환할 수 있다.
* 분할내성(分割耐性, Partition tolerance): 메시지 전달이 실패하거나 시스템 일부가 망가져도 시스템이 계속 동작할 수 있다. 위의 세 가지 조건의 첫 글자를 따서 CAP 정리라고 부른다. 2000년 전산학자 에릭 브루어가 이 명제를 가설로서 제시하였고, 2002년 와 가 이를 증명하였다. (ko)
- CAP定理はブリュワーの定理とも呼ばれ、分散コンピュータシステムのマシン間の情報複製に関する定理。ウェブサービスを想定して作られた定理。 (ja)
- Teorema do CAP, também chamado de Teorema de Brewer, afirma que é impossível que o armazenamento de dados distribuído forneça simultaneamente mais de duas das três garantias seguintes: Em outras palavras, o teor do CAP afirma que, na presença de uma partição da rede, é preciso escolher entre consistência e disponibilidade. Observe que a consistência conforme definido no teor de CAP é bastante diferente da consistência garantida em transações de bases de dados ACID. (pt)
- 在理論計算機科學中,CAP定理(CAP theorem),又被稱作布魯爾定理(Brewer's theorem),它指出對於一個分布式计算系統來說,不可能同時滿足以下三點:
* 一致性(Consistency) (等同于所有节点访问同一份最新的数据副本)
* 可用性(Availability)(每次请求都能获取到非错的响应——但是不保证获取的数据为最新数据)
* (Partition tolerance)(以实际效果而言,分区相当于对通信的时限要求。系统如果不能在时限内达成数据一致性,就意味着发生了分区的情况,必须就当前操作在C和A之间做出选择。) 根據定理,分佈式系統只能滿足三項中的兩項而不可能滿足全部三項。理解CAP理论的最简单方式是想象两个节点分处分区两侧。允许至少一个节点更新状态会导致数据不一致,即丧失了C性质。如果为了保证数据一致性,将分区一侧的节点设置为不可用,那么又丧失了A性质。除非两个节点可以互相通信,才能既保证C又保证A,这又会导致丧失P性质。 (zh)
- En informàtica teòrica, el teorema CAP, també conegut com a teorema de Brewer, formula que és impossible garantir simultàniament les tres característiques següents en una aplicació distribuïda:
* Consistència (tots els nodes veuen la mateixa dada al mateix temps)
* Disponibilitat (la garantia que cada petició a un node rep una resposta de si ha tingut èxit o a fallat)
* Tolerància a la partició (el sistema continua operant malgrat la partició arbitrària a causa d'errors en la xarxa) (ca)
- CAP teorém je věta z oblasti teoretické informatiky. Je nazýván též Brewerův teorém podle , který jej popsal v roce 1999. Tvrdí, že pro distribuovaný datový sklad není možné poskytovat více než dvě záruky z těchto tří:
* konzistence (Consistency): každé čtení vrátí buď výsledek posledního zápisu, nebo chybu
* dostupnost (Availability): na každý dotaz přijde (nechybová) odpověď
* odolnost k přerušení (Partition tolerance): systém funguje dál i v případě, že dojde ke zdržení či ztrátě části zpráv v rámci sítě (cs)
- In theoretical computer science, the CAP theorem, also named Brewer's theorem after computer scientist Eric Brewer, states that any distributed data store can provide only two of the following three guarantees: ConsistencyEvery read receives the most recent write or an error.AvailabilityEvery request receives a (non-error) response, without the guarantee that it contains the most recent write.Partition toleranceThe system continues to operate despite an arbitrary number of messages being dropped (or delayed) by the network between nodes. (en)
- En Ciencias de la computación, el teorema CAP, también llamado Conjetura de Brewer, enuncia que es imposible para un sistema de cómputo distribuido garantizar simultáneamente:
* La consistencia (Consistency), es decir, cualquier lectura recibe como respuesta la escritura más reciente o un error.
* La disponibilidad (Availability), es decir, cualquier petición recibe una respuesta no errónea, pero sin la garantía de que contenga la escritura más reciente.
* La (Partition Tolerance), es decir, el sistema sigue funcionando incluso si un número arbitrario de mensajes son descartados (o retrasados) entre nodos de la red. (es)
- Le théorème CAP ou CDP, aussi connu sous le nom de théorème de Brewer, dit qu'il est impossible sur un système informatique de calcul distribué de garantir en même temps (c'est-à-dire de manière synchrone) les trois contraintes suivantes : D'après ce théorème, un système de calcul/stockage distribué ne peut garantir à un instant t que deux de ces contraintes mais pas les trois. (fr)
- In informatica teorica, il teorema CAP, noto anche come teorema di Brewer, afferma che è impossibile per un sistema informatico distribuito fornire simultaneamente tutte e tre le seguenti garanzie:
* Coerenza [copy-consistency] (tutti i nodi vedano gli stessi dati nello stesso momento)
* Disponibilità [availability] (la garanzia che ogni richiesta riceva una risposta su ciò che è riuscito o fallito)
* Tolleranza di partizione [partitioning] (il sistema continua a funzionare nonostante arbitrarie perdite di messaggi o malfunzionamenti) (it)
- Het CAP-theorema, ook bekend als Brewers theorema, stelt dat het onmogelijk is voor een gedistribueerd computersysteem om gelijktijdig aan de volgende drie voorwaarden te voldoen:
* ConsistencyAlle nodes in het systeem zien dezelfde data op hetzelfde moment.
* AvailabilityDe beschikbaarheid zegt iets over aanvragen (requests) en antwoorden (responses). Iedere aanvraag krijgt altijd een (niet-foutief) antwoord terug, ongeacht de consistentie van dit antwoord.
* Partition ToleranceHet systeem blijft functioneren bij het uitvallen van een of meerdere nodes (computers/servers) in het netwerk. (nl)
- Теорема CAP (известная также как теорема Брюера) — эвристическое утверждение о том, что в любой реализации распределённых вычислений возможно обеспечить не более двух из трёх следующих свойств:
* согласованность данных (англ. consistency) — во всех вычислительных узлах в один момент времени данные не противоречат друг другу;
* доступность (англ. availability) — любой запрос к распределённой системе завершается корректным откликом, однако без гарантии, что ответы всех узлов системы совпадают;
* устойчивость к разделению (англ. partition tolerance) — расщепление распределённой системы на несколько изолированных секций не приводит к некорректности отклика от каждой из секций. (ru)
- Теорема CAP (також відома як теорема Брюера, на честь науковця ) — твердження, що для будь-якої розподіленої комп'ютерної системи неможливо одночасно забезпечити виконання більше двох із перелічених трьох властивостей:
* узгодженість даних (усі вузли бачать однакові дані у будь-який момент часу);
* доступність (гарантія того, що кожен запит отримає коректну відповідь);
* стійкість до розділення (попри розділення на ізольовані секції або втрати зв'язку з частиною вузлів, система не втрачає стабільність і здатність коректно відповідати на запити). (uk)
|