blob: 7e84c21b0a123428c599bbd025a3e9d27f156cab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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)
|