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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
digraph IndexedDBBlobStateDiagram {
graph [nodesep="0.8", ranksep="0.8"];
node [shape=box];
PutWithABlob [fontname="Courier New", label="os.put(blob, key)" shape=oval style=bold];
UnlinkedPendingInactive
[label=<<B>Unlinked</B>, <B>Pending</B> (Inactive)>
color="#000099"];
UnlinkedPendingActive
[label=<<B>Unlinked</B>, <B>Pending</B> (Active)>
color="#000099"];
LinkedPersistedInactive
[label=<<B>Linked</B>, <B>Persisted</B> (Inactive)>
color="#009900"];
LinkedPersistedActive
[label=<<B>Linked</B>, <B>Persisted</B> (Active)>
color="#009900"];
UnlinkedPersistedActive
[label=<<B>Unlinked</B>, <B>Persisted</B> (Active)>
color="#999900"];
UnlinkedPersistedInactive
[label=<<B>Unlinked</B>, <B>Persisted</B> (Inactive)<br/>(doomed, inaccessible)>
color="#999900"];
Deleted [label=<<B>Deleted</B>> shape=oval style=bold];
subgraph cluster_active {
style="invisible"
rank="left"
UnlinkedPendingActive
LinkedPersistedActive
UnlinkedPersistedActive
}
subgraph cluster_inactive {
style="invisible"
rank="right"
UnlinkedPendingInactive
LinkedPersistedInactive
UnlinkedPersistedInactive
}
PutWithABlob -> UnlinkedPendingInactive;
UnlinkedPendingInactive -> LinkedPersistedInactive
[label=<Transaction is committed.<br/>
<FONT face="Courier New">txn.commit();</FONT>>];
UnlinkedPendingInactive -> UnlinkedPendingActive
[label=<Get is called on the transaction.<br/>
<FONT face="courier new">let blob = os.get(key);</FONT>>];
UnlinkedPendingActive -> UnlinkedPendingInactive
[label=<Blob from Get is dropped.<br/>
<FONT face="Courier New">blob = null;</FONT>>];
UnlinkedPendingActive -> LinkedPersistedActive
[label=<Transaction is committed.<br/>
<FONT face="Courier New">txn.commit()</FONT>>];
LinkedPersistedInactive -> LinkedPersistedActive
[label=<Get is called.<br/>
<FONT face="courier new">let blob = os.get(key);</FONT>>];
LinkedPersistedInactive -> UnlinkedPersistedInactive
[label=<The object store row is deleted.<br/>
<FONT face="courier new">os.delete(key);</FONT>>];
LinkedPersistedActive -> UnlinkedPersistedActive
[label=<The object store row is deleted.<br/>
<FONT face="courier new">os.delete(key);</FONT>>];
LinkedPersistedActive -> LinkedPersistedInactive
[label=<Blob from Get is dropped.<br/>
<FONT face="Courier New">blob = null;</FONT>>];
UnlinkedPersistedActive -> UnlinkedPersistedInactive
[label=<Blob from Get is dropped.<br/>
<FONT face="Courier New">blob = null;</FONT>>];
UnlinkedPersistedInactive -> Deleted [label=" Recovery journal cleanup."];
}
|
