diff --git a/README.md b/README.md index c4abe6829852f5316828a1636947b352419a3897..12dfd0d4935fb2929b289f1326bc633b3ec93a94 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 ```