GitHub user ohadshacham opened a pull request:
https://github.com/apache/incubator-omid/pull/26
A bug fix in [OMID-74].
The update of the write set is incorrect since the family deletion
qualifier needs to be added instead of a row marker. Therefore, this commit
fixes this case.
This is crucial since the write set information is needed for adding shadow
cells, when transaction successfully commits, and for garbage collection when
transaction aborts.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/ohadshacham/incubator-omid OMID-74-reopen
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/incubator-omid/pull/26.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #26
commit d6ed73fc4cf34c84a4f283011521a746f257d66e
Author: Ohad Shacham
Date: 2018-03-15T12:33:57Z
A bug fix in [OMID-74].
The update of the write set is incorrect since the family deletion
qualifier needs to be added instead of a row marker. Therefore, this commit
fixes this case.
This is crucial since the write set information is needed for adding shadow
cells, when transaction successfully commits, and for garbage collection when
transaction aborts.
---