From e87ddbad798957da5212e30689b9f271750dd214 Mon Sep 17 00:00:00 2001
From: keleher <keleher@cs.umd.edu>
Date: Tue, 3 Dec 2019 16:26:36 -0500
Subject: [PATCH] auto
---
README.md | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/README.md b/README.md
index c4abe68..12dfd0d 100644
--- a/README.md
+++ b/README.md
@@ -123,22 +123,24 @@ store and committed transactions.
### Strict Serializability
+One example. Time is going downwards. Note that transaction *1* of client *1* is different from transaction *1* of client *2*.
R1 R2
1,1,r,A
1,1,w,B,nice
2,1,r,A
2,1,w,C,foo
- 2,2,r,A
+ 2,2,w,A
2,2,r,B
2,2,commit
2,1,commit
-
+ 1,1,commit
Your client should print:
```
- trans 2.2 abort
- trans 2.1 commit
+ trans 2.2 commit
+ trans 2.1 abort
+ trans 1.1 abort
```
--
GitLab