New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Durable delta-CRDT states #8

Closed

2 tasks done

Laymer opened this issue Dec 12, 2018 · 1 comment

Assignees

Labels

bug must have work in progress

Milestone

Stable memory foo...

Member

Laymer commented Dec 12, 2018 •

edited

Loading

As described by Almeida et al. in Delta State Replicated Data Types, the system model requires the following :

Nodes have access to durable storage; they can crash but will eventually recover with the content of the durable storage just before the crash occurred. Durable state is written atomically at each state transition.

Investigate possible use of the Lasp DETS storage backend
Mitigate DETS file corruption due to hardware shutdowns on GRiSP boards during execution (DETS files are empty after hard reset -> not_a_dets_file error is thrown when the Lasp storage backend attempts to open it)

The text was updated successfully, but these errors were encountered:

Laymer added must have work in progress labels

Laymer self-assigned this

Laymer added the bug label

Member Author

Laymer commented Dec 12, 2018

Delta state divergence can occur if the storage is not durable as nodes recover the mutations that happened during their downtime

Laymer added this to the Stable memory footprint milestone

Laymer closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment