Skip to content

Commit

Permalink
Merge cockroachdb#37536
Browse files Browse the repository at this point in the history 
37536: docs/tla-plus: add epoch increments to ParallelCommits spec r=nvanbenschoten a=nvanbenschoten

This commit adds epoch increments to the PlusCal model for parallel
commits. This makes the model significantly more accurate.

The change also adds a number of critical temporal properties including
that if a client is acked, the transaction record is eventually moved to
a committed status.

Release note: None

Co-authored-by: Nathan VanBenschoten <[email protected]>
  • Loading branch information
@nvanbenschoten
craig[bot] and nvanbenschoten committed May 17, 2019
2 parents bd41ffa + 420116b commit 7b26514
Show file tree
Hide file tree
Showing 2 changed files with 355 additions and 177 deletions.
Loading

0 comments on commit 7b26514

Please sign in to comment.