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
85
86
87
88
89
90
91
92
93
|
digraph "gin" {
layout=dot;
node [label="", shape=box, style=filled, fillcolor=gray, width=1.4];
m1 [label="meta page"];
subgraph cluster01 {
label="entry tree";
subgraph egroup1 {
rank=same;
e1;
}
subgraph egroup2 {
rank=same;
e2 -> e3 -> e4;
}
subgraph egroup3 {
rank=same;
e5 -> e6 -> e7 -> e8 -> e9;
}
e1 -> e4;
e1 -> e3;
e1 -> e2;
e2 -> e5;
e2 -> e6;
e3 -> e7;
e4 -> e8;
e4 -> e9;
e6 [fillcolor=green, label="posting list"];
e8 [fillcolor=green, label="posting list"];
e9 [fillcolor=green, label="posting list"];
}
subgraph cluster02 {
label="posting tree";
subgraph pgroup1 {
rank=same;
p1;
}
subgraph pgroup2 {
rank=same;
p2 -> p3;
}
p1 -> p2;
p1 -> p3;
p2 [fillcolor=green, label="heap ptr"];
p3 [fillcolor=green, label="heap ptr"];
}
subgraph cluster03 {
label="posting tree";
subgraph pgroup3 {
rank=same;
p4;
}
p4 [fillcolor=green, label="heap ptr"];
}
subgraph cluster04 {
label="posting tree";
subgraph pgroup4 {
rank=same;
p5;
}
subgraph pgroup5 {
rank=same;
p6 -> p7;
}
p5 -> p6;
p5 -> p7;
p6 [fillcolor=green, label="heap ptr"];
p7 [fillcolor=green, label="heap ptr"];
}
subgraph cluster05 {
label="pending list";
node [style=filled, fillcolor=red];
n1 -> n2 -> n3 -> n4;
}
m1 -> e1;
e5 -> p1;
e7 -> p4;
e7 -> p5;
m1 -> n1;
e5 [style=filled, fillcolor=green4];
e7 [style=filled, fillcolor=green4];
}
|