Conclusion

• simple/general model of Distributed Cached Store

• safety rules for GC:

  • union, scanning, comprehensive tracing, clean propagation, causal delivery

• general solution (replicated data and GC)

• proved correct (in the paper)

• being implemented in PerDiS (ESPRIT project)

• if you are interested:

  • Paulo.Ferreira@inesc.pt
  • http://www.perdis.esprit.ec.org

Previous slide

Back to first slide

View graphic version