elastic/elasticsearch-formal-models

This is stars and forks stats for /elastic/elasticsearch-formal-models repository. As of 20 Apr, 2024 this repository has 201 stars and 25 forks.

Formal models of core Elasticsearch algorithms This repository contains formal models of core Elasticsearch algorithms and is directly related to implementation efforts around data replication and cluster coordination. The models in this repository might represent past, current and future designs of Elasticsearch and can differ to their implementations in substantial ways. The formal models mainly serve to illustrate some of the high-level concepts and help to validate resiliency-related aspects. Models Cluster...