Skip to content

Commit

Permalink
Update a set and set-full description
Browse files Browse the repository at this point in the history
Closes #41
  • Loading branch information
ligurio committed Nov 5, 2024
1 parent 7751619 commit d2997d4
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -286,6 +286,12 @@ Example of history:
{:type :ok, :f :add, :value [0 2], :process 0, :time 11209256522, :index 5}
```

Beware, `set` and `set-ful ` have a different computational
complexities. The `set-full` checker is a lot more expensive, but
gives you precise bounds on latencies and stability of records
over time, whereas `set` assumes a single read at the end of the
test.

### set-full

A Jepsen's checker for a set histories. It is a more rigorous set analysis. We
Expand All @@ -306,6 +312,12 @@ all elements present at that time.
{:type :invoke, :f :add, :value [0 5], :process 0, :time 11786251931, :index 10}
```

Beware, `set` and `set-ful ` have a different computational
complexities. The `set-full` checker is a lot more expensive, but
gives you precise bounds on latencies and stability of records
over time, whereas `set` assumes a single read at the end of the
test.

### cas-register

A Knossos checker for CAS (Compare-And-Set) registers. By default
Expand Down

0 comments on commit d2997d4

Please sign in to comment.