Keeping CALM: When Distributed Consistency Is Easy: In distributed systems theory, CALM presents a result that delineates the frontier of the possible.
The article discusses the theorem known as Consistency As Logical Monotonicity (CALM) as related to distributed big data systems in computing. It discusses the concept of confluence, provides a proof sketch, and the Bloom computer programming language.
| Publicado en: | Communications of the ACM Vol. 63; no. 9; pp. 72 - 82 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2020
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The article discusses the theorem known as Consistency As Logical Monotonicity (CALM) as related to distributed big data systems in computing. It discusses the concept of confluence, provides a proof sketch, and the Bloom computer programming language. |
|---|