Commit eb07eb03 authored by Ranadeep Biswas's avatar Ranadeep Biswas
Browse files

updated README

parent 6c3df1bf
# DBCop
### __For recent work, look at `wip` branch.__
## Usage
1. Clone it.
```
git clone -b wip git@gitlab.math.univ-paris-diderot.fr:ranadeep/dbcop.git
```
2. Fire up Galera cluster using `docker-compose`.
```
cd docker
sudo docker-compose up
git clone git@gitlab.math.univ-paris-diderot.fr:ranadeep/dbcop.git
```
3. Compile and install using `cargo` and run.
2. Compile and install using `cargo` and run.
Make sure `~/.cargo/bin` is in your system path.
```
cd dbcop
cargo install
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,
1. Generate a bunch of histories to execute on a database.
2. Execute those histories on a database using provided `traits`. (see in `examples`).
3. Verify the executed histories for `--cc`(causal consistency), `--si`(snapshot isolation), `--ser`(serialization).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment