[[!meta title="Disc Caching and History"]] [[!meta author="Tlsa"]] [[!meta date="2009-07-08T14:34:46Z"]] [[!toc]] This page contains ideas for adding a disk cache and improving browsing history. Aims ---- - Faster page loading using a disk cache - Navigating local or global history will show page exactly as it was - Groundwork for exciting future features like :- - "This page has changed since your last visit 3 minutes ago!" - Offline browsing - Go back to the past - Highlight new text / diff - ??? Ideas ----- - Each retrieved resource is assigned an id (could just be an incrementing counter) (so the id refers to a URL at a particular time and as the result of a particular GET or POST) - Almost everything refers to those ids instead of URLs (pages with objects, local history, global history) - Disk caching can be switched on or off (for devices without storage, private mode, etc.) - Disk cache stores headers, data, various metadata, ids of objects it uses - Memory cache remains (but modified to be like disk cache)