- Clone it.
git clone git@gitlab.math.univ-paris-diderot.fr:ranadeep/dbcop.git
- Compile and install using
cargoand run. Make sure~/.cargo/binis in your system path.
cd dbcop
dbcop install --path .
dbcop --help
There are a few docker-compose files in docker directory to create docker cluster.
The workflow goes like this,
- Generate a bunch of histories to execute on a database.
- Execute those histories on a database using provided
traits. (see inexamples). - Verify the executed histories for
--cc(causal consistency),--si(snapshot isolation),--ser(serialization).