On 16.06.2011 20:33, Dan Ports wrote:
On Thu, Jun 16, 2011 at 04:39:09PM +0300, Heikki Linnakangas wrote:
There's no mention on what T1 is. I believe it's supposed to be Tin, in
the terminology used in the graph.
Yes, I changed the naming after I originally wrote it, and missed a
couple spots.
On Thu, Jun 16, 2011 at 04:39:09PM +0300, Heikki Linnakangas wrote:
> There's no mention on what T1 is. I believe it's supposed to be Tin, in
> the terminology used in the graph.
Yes, I changed the naming after I originally wrote it, and missed a
couple spots. T1 should be Tin.
> I don't see how
On 15.06.2011 23:28, Dan Ports wrote:
+SSI is based on the observation [2] that each snapshot isolation
+anomaly corresponds to a cycle that contains a "dangerous structure"
+of two adjacent rw-conflict edges:
+
+ Tin --> Tpivot --> Tout
+rw rw
+
+SSI works by
The attached patch updates README-SSI. In addition to some minor edits,
changes include:
- add a section at the beginning that more clearly describes the SSI
rule and defines "dangerous structure" with a diagram. It describes
the optimizations we use about the relative commit times, and the
