From e7366bf41f68cfe07e9ea03fc4a398baecbae651 Mon Sep 17 00:00:00 2001 From: Daniel Silverstone Date: Sat, 4 Feb 2017 09:41:13 +0000 Subject: Initial conversion from MediaWiki, 20170204 --- disc_caching_and_history.mdwn | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 disc_caching_and_history.mdwn (limited to 'disc_caching_and_history.mdwn') diff --git a/disc_caching_and_history.mdwn b/disc_caching_and_history.mdwn new file mode 100644 index 0000000..7e84c21 --- /dev/null +++ b/disc_caching_and_history.mdwn @@ -0,0 +1,34 @@ +[[!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) + -- cgit v1.2.3