{A,B,C, D}

, num owners= 2. A's state is

{(k,v)} and a transactions is prepared with {(k, otherValue)} on A.
B crashes.
two things happen with A's state:
1. on C an thread pulls state from A
2. A sends transaction state to C on another thread

Whit the right timing:
- 2 executes first (tx log is drained)
- tx commits - this applies the changes on C as well
- 1 executes last
Data ends up inconsistent:
A's states is {(k, otherValue)} while C's state is {(k,v)}

State transfer and tx log needs to be sequential (not parallel).

See the attached email thread for discussions around this.