summaryrefslogtreecommitdiff
path: root/disc_caching_and_history.mdwn
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)