README.md 666 Bytes
Newer Older
Ranadeep Biswas's avatar
Ranadeep Biswas committed
1 2 3 4 5 6
# DBCop

## Usage

1.  Clone it.
```
Ranadeep Biswas's avatar
Ranadeep Biswas committed
7
    git clone git@gitlab.math.univ-paris-diderot.fr:ranadeep/dbcop.git
Ranadeep Biswas's avatar
Ranadeep Biswas committed
8 9
```

Ranadeep Biswas's avatar
Ranadeep Biswas committed
10
2.  Compile and install using `cargo` and run.
Ranadeep Biswas's avatar
Ranadeep Biswas committed
11
    Make sure `~/.cargo/bin` is in your system path.
Ranadeep Biswas's avatar
Ranadeep Biswas committed
12
```
Ranadeep Biswas's avatar
Ranadeep Biswas committed
13
    cd dbcop
Ranadeep Biswas's avatar
Ranadeep Biswas committed
14 15
    dbcop install --path .
    dbcop --help
Ranadeep Biswas's avatar
Ranadeep Biswas committed
16
```
Ranadeep Biswas's avatar
Ranadeep Biswas committed
17 18 19 20 21 22 23 24 25
---

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).