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:

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

Assignee

Marcin Rze┼║nicki

Reporter

Michael Birch

Priority

Medium

Components

Story Points

None

Fix versions

None

Epic Name

Merge Blocks
Configure