Read/Write conflict

[鄭凱元]

for example

transaction t1, t2 (start timestamp :t1<t2) , row key: A,B,C,D

-----------------------------------                 -----------------------------------

                t1                                                 t2

-----------------------------------                 -----------------------------------

             begin(t1);                                      begin(t2); 

                                                                get(A);

             put(A);                        

             D=A+C;

                                                                 C=A+B;

             commit(t1);

                                                                 commit(t2);

In Omid , Will t1 or t2 be aborted?

[Daniel Gómez Ferro]

No, Omid implements Snapshot Isolation which only aborts transactions on Write/Write conflict. SI has some known anomalies (write skew), but that's a tradeoff we decided to make. 

We did some experimentation on implementing serializability on the readWrite branch [1, 2], but this is not merged on the main branch. On the readWrite branch t2 would be aborted.

[1] https://github.com/yahoo/omid/tree/readWrite

[2] https://github.com/yahoo/omid/wiki/Serializability

--
You received this message because you are subscribed to the Google Groups "Omid" group.
To unsubscribe from this group and stop receiving emails from it, send an email to omid-project...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.