chapar icon indicating copy to clipboard operation
chapar copied to clipboard

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Results 5 chapar issues
Sort by recently updated
recently updated
newest added

Hi, I cloned the project from git and ran make, make install and make stores, which all seemed well. But I ran the demo experiment with ./batchrundetach and it returned...

The implementation of Chapar is unable to handle packet drops because it currently assumes that the network layer is reliable. Unfortunately the UDP transport is not reliable and packet loss...

The algorithm 2 produces results that violate causal consistency when messages are duplicated and reordered by the network. This situation can occur in practice because the UDP protocol, which is...

There is a bug in the Chapar implementation that allows a client to issue requests that cause corrupted packets to be sent and to be accepted by servers. The problem...