Main Difficulties
pointer graph modified concurrently by apps.
pointer assignment extremely frequent
replicas are not coherent all the time
huge graph (distributed and persistent)
standard solutions do not work:
- ignores coherence interference
- consistent snapshot off-line is not scalable
- GC as a transaction is intrusive
-