Table of Contents
Modelling a Distributed Cached Store for Garbage Collection
Motivation
Need for Garbage Collection
Main Difficulties
Solution Overview
Model of a Distributed Cached Store
Rules for Safe Garbage Collection
Union Rule
Comprehensive Tracing
Clean Propagation
Conclusion
|
Author: PJPF
|