Support for Block Merging

Description

Summarizing discord discussion:

  • T1, T2 are tuplespaces that are modified with respect to a base tuplespace TB

  • These two modifications don't conflict by assumption (the set channels changed in T1 disjoint from the set changed in T2)

  • We want to construct a "merged tuplespace" T3 such that logically the following holds:

    1 2 T3 = TB apply T1.checkpoint.log apply T2.checkpoint.log = TB apply T2.checkpoint.log apply T1.checkpoint.log

Specification on which blocks can commute (merge)
https://docs.google.com/spreadsheets/d/1pABqArF9e8HRTO9zSefp93mIVUm91avekeDgqSEw0R8/edit#gid=0


Update 10.06.2019
this epic will be used to track the work on trie merging

Status

Assignee

Unassigned

Reporter

Michael Birch

Components

Story Points

None

Priority

Medium

Epic Name

Merge Blocks