by lnyng on 3/11/19, 10:51 PM with 1 comments
by lnyng on 3/11/19, 11:02 PM
Logical lease serializes seemingly conflicting transactions by keeping track of logical time of read/write operations, and committing at logical time instead of physical time.
It is hard to get serialization right for DBMS transactions, but this protocol seems straightforward to reason about. Sundial is an application of logical lease in distributed OLTP DBMS, so that transactions can still serialize while using stale cache copies.
I am recently taking some database and computer architecture courses, and this paper seems very relevant to whoever also interested in these fields.
[1] https://people.csail.mit.edu/sanchez/papers/2016.tictoc.sigm...