Skip to content

Instantly share code, notes, and snippets.

@tbg
Last active May 16, 2019 15:16
Show Gist options
  • Save tbg/8c2b10126f45f9da5b9bcde819770de1 to your computer and use it in GitHub Desktop.
Save tbg/8c2b10126f45f9da5b9bcde819770de1 to your computer and use it in GitHub Desktop.
|--n1/r1------|    |--n2/r2--------|
 (x, t1) |-> A                          write received from n1/r1
                     (y, t1) |-> B      write received from n2/r2

                       t1 closed        must continue buffering b/c n1
                                           may see writes for t1
     t1 closed                          can stop buffering (assuming the
                                        watched keyspace is not larger
                                        than the two ranges
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment