Fix Bug 8: performance: shared pages too frequently deleted