doc/src/sgml/html/gin.svg


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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 --><!-- Title: gin Pages: 1 --><!DOCTYPE svg PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="836pt" height="432pt" viewBox="0.00 0.00 836.00 432.00">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 428)">
<title>gin</title>
<polygon fill="#ffffff" stroke="none" points="-4,4 -4,-428 832,-428 832,4 -4,4"></polygon>
<g id="clust1" class="cluster">
<title>cluster01</title>
<polygon fill="none" stroke="#000000" points="100,-162 100,-380 694,-380 694,-162 100,-162"></polygon>
<text text-anchor="middle" x="397" y="-364.8" font-family="Times,serif" font-size="14.00" fill="#000000">entry tree</text>
</g>
<g id="clust5" class="cluster">
<title>cluster02</title>
<polygon fill="none" stroke="#000000" points="8,-8 8,-154 245,-154 245,-8 8,-8"></polygon>
<text text-anchor="middle" x="126.5" y="-138.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting tree</text>
</g>
<g id="clust8" class="cluster">
<title>cluster03</title>
<polygon fill="none" stroke="#000000" points="279,-80 279,-154 397,-154 397,-80 279,-80"></polygon>
<text text-anchor="middle" x="338" y="-138.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting tree</text>
</g>
<g id="clust10" class="cluster">
<title>cluster04</title>
<polygon fill="none" stroke="#000000" points="405,-8 405,-154 642,-154 642,-8 405,-8"></polygon>
<text text-anchor="middle" x="523.5" y="-138.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting tree</text>
</g>
<g id="clust13" class="cluster">
<title>cluster05</title>
<polygon fill="none" stroke="#000000" points="702,-80 702,-380 820,-380 820,-80 702,-80"></polygon>
<text text-anchor="middle" x="761" y="-364.8" font-family="Times,serif" font-size="14.00" fill="#000000">pending list</text>
</g>
<!-- m1 -->
<g id="node1" class="node">
<title>m1</title>
<polygon fill="#c0c0c0" stroke="#000000" points="688.5,-424 587.5,-424 587.5,-388 688.5,-388 688.5,-424"></polygon>
<text text-anchor="middle" x="638" y="-401.8" font-family="Times,serif" font-size="14.00" fill="#000000">meta page</text>
</g>
<!-- e1 -->
<g id="node2" class="node">
<title>e1</title>
<polygon fill="#c0c0c0" stroke="#000000" points="506.5,-350 405.5,-350 405.5,-314 506.5,-314 506.5,-350"></polygon>
</g>
<!-- m1&#45;&gt;e1 -->
<g id="edge24" class="edge">
<title>m1-&gt;e1</title>
<path fill="none" stroke="#000000" d="M593.4778,-387.8976C568.2655,-377.6464 536.5468,-364.7498 509.931,-353.928"></path>
<polygon fill="#000000" stroke="#000000" points="510.9595,-350.568 500.3776,-350.0436 508.3229,-357.0525 510.9595,-350.568"></polygon>
</g>
<!-- n1 -->
<g id="node18" class="node">
<title>n1</title>
<polygon fill="#ff0000" stroke="#000000" points="811.5,-350 710.5,-350 710.5,-314 811.5,-314 811.5,-350"></polygon>
</g>
<!-- m1&#45;&gt;n1 -->
<g id="edge28" class="edge">
<title>m1-&gt;n1</title>
<path fill="none" stroke="#000000" d="M683.1514,-387.8551C688.2504,-385.3905 693.2983,-382.7547 698,-380 709.7018,-373.1438 721.7385,-364.4455 732.115,-356.3423"></path>
<polygon fill="#000000" stroke="#000000" points="734.4083,-358.9902 740.0427,-350.0178 730.0428,-353.5181 734.4083,-358.9902"></polygon>
</g>
<!-- e2 -->
<g id="node3" class="node">
<title>e2</title>
<polygon fill="#c0c0c0" stroke="#000000" points="328.5,-278 227.5,-278 227.5,-242 328.5,-242 328.5,-278"></polygon>
</g>
<!-- e1&#45;&gt;e2 -->
<g id="edge9" class="edge">
<title>e1-&gt;e2</title>
<path fill="none" stroke="#000000" d="M411.0831,-313.8314C387.065,-304.1162 357.3166,-292.0831 332.0408,-281.8592"></path>
<polygon fill="#000000" stroke="#000000" points="333.1767,-278.5432 322.5939,-278.038 330.5518,-285.0325 333.1767,-278.5432"></polygon>
</g>
<!-- e3 -->
<g id="node4" class="node">
<title>e3</title>
<polygon fill="#c0c0c0" stroke="#000000" points="447.5,-278 346.5,-278 346.5,-242 447.5,-242 447.5,-278"></polygon>
</g>
<!-- e1&#45;&gt;e3 -->
<g id="edge8" class="edge">
<title>e1-&gt;e3</title>
<path fill="none" stroke="#000000" d="M441.1118,-313.8314C434.247,-305.454 425.9699,-295.3531 418.4489,-286.1749"></path>
<polygon fill="#000000" stroke="#000000" points="421.1341,-283.9297 412.0886,-278.4133 415.7197,-288.3665 421.1341,-283.9297"></polygon>
</g>
<!-- e4 -->
<g id="node5" class="node">
<title>e4</title>
<polygon fill="#c0c0c0" stroke="#000000" points="566.5,-278 465.5,-278 465.5,-242 566.5,-242 566.5,-278"></polygon>
</g>
<!-- e1&#45;&gt;e4 -->
<g id="edge7" class="edge">
<title>e1-&gt;e4</title>
<path fill="none" stroke="#000000" d="M471.1405,-313.8314C478.1217,-305.454 486.5391,-295.3531 494.1876,-286.1749"></path>
<polygon fill="#000000" stroke="#000000" points="496.9425,-288.3362 500.6556,-278.4133 491.5649,-283.8548 496.9425,-288.3362"></polygon>
</g>
<!-- e2&#45;&gt;e3 -->
<g id="edge1" class="edge">
<title>e2-&gt;e3</title>
<path fill="none" stroke="#000000" d="M328.668,-260C331.1453,-260 333.6227,-260 336.1001,-260"></path>
<polygon fill="#000000" stroke="#000000" points="336.2849,-263.5001 346.2848,-260 336.2848,-256.5001 336.2849,-263.5001"></polygon>
</g>
<!-- e5 -->
<g id="node6" class="node">
<title>e5</title>
<polygon fill="#008b00" stroke="#000000" points="209.5,-206 108.5,-206 108.5,-170 209.5,-170 209.5,-206"></polygon>
</g>
<!-- e2&#45;&gt;e5 -->
<g id="edge10" class="edge">
<title>e2-&gt;e5</title>
<path fill="none" stroke="#000000" d="M247.9713,-241.8314C232.7504,-232.6221 214.0872,-221.3301 197.7917,-211.4706"></path>
<polygon fill="#000000" stroke="#000000" points="199.3868,-208.345 189.0191,-206.1628 195.7631,-214.3341 199.3868,-208.345"></polygon>
</g>
<!-- e6 -->
<g id="node7" class="node">
<title>e6</title>
<polygon fill="#00ff00" stroke="#000000" points="328.5,-206 227.5,-206 227.5,-170 328.5,-170 328.5,-206"></polygon>
<text text-anchor="middle" x="278" y="-183.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting list</text>
</g>
<!-- e2&#45;&gt;e6 -->
<g id="edge11" class="edge">
<title>e2-&gt;e6</title>
<path fill="none" stroke="#000000" d="M278,-241.8314C278,-234.131 278,-224.9743 278,-216.4166"></path>
<polygon fill="#000000" stroke="#000000" points="281.5001,-216.4132 278,-206.4133 274.5001,-216.4133 281.5001,-216.4132"></polygon>
</g>
<!-- e3&#45;&gt;e4 -->
<g id="edge2" class="edge">
<title>e3-&gt;e4</title>
<path fill="none" stroke="#000000" d="M447.668,-260C450.1453,-260 452.6227,-260 455.1001,-260"></path>
<polygon fill="#000000" stroke="#000000" points="455.2849,-263.5001 465.2848,-260 455.2848,-256.5001 455.2849,-263.5001"></polygon>
</g>
<!-- e7 -->
<g id="node8" class="node">
<title>e7</title>
<polygon fill="#008b00" stroke="#000000" points="447.5,-206 346.5,-206 346.5,-170 447.5,-170 447.5,-206"></polygon>
</g>
<!-- e3&#45;&gt;e7 -->
<g id="edge12" class="edge">
<title>e3-&gt;e7</title>
<path fill="none" stroke="#000000" d="M397,-241.8314C397,-234.131 397,-224.9743 397,-216.4166"></path>
<polygon fill="#000000" stroke="#000000" points="400.5001,-216.4132 397,-206.4133 393.5001,-216.4133 400.5001,-216.4132"></polygon>
</g>
<!-- e8 -->
<g id="node9" class="node">
<title>e8</title>
<polygon fill="#00ff00" stroke="#000000" points="566.5,-206 465.5,-206 465.5,-170 566.5,-170 566.5,-206"></polygon>
<text text-anchor="middle" x="516" y="-183.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting list</text>
</g>
<!-- e4&#45;&gt;e8 -->
<g id="edge13" class="edge">
<title>e4-&gt;e8</title>
<path fill="none" stroke="#000000" d="M516,-241.8314C516,-234.131 516,-224.9743 516,-216.4166"></path>
<polygon fill="#000000" stroke="#000000" points="519.5001,-216.4132 516,-206.4133 512.5001,-216.4133 519.5001,-216.4132"></polygon>
</g>
<!-- e9 -->
<g id="node10" class="node">
<title>e9</title>
<polygon fill="#00ff00" stroke="#000000" points="685.5,-206 584.5,-206 584.5,-170 685.5,-170 685.5,-206"></polygon>
<text text-anchor="middle" x="635" y="-183.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting list</text>
</g>
<!-- e4&#45;&gt;e9 -->
<g id="edge14" class="edge">
<title>e4-&gt;e9</title>
<path fill="none" stroke="#000000" d="M546.0287,-241.8314C561.2496,-232.6221 579.9128,-221.3301 596.2083,-211.4706"></path>
<polygon fill="#000000" stroke="#000000" points="598.2369,-214.3341 604.9809,-206.1628 594.6132,-208.345 598.2369,-214.3341"></polygon>
</g>
<!-- e5&#45;&gt;e6 -->
<g id="edge3" class="edge">
<title>e5-&gt;e6</title>
<path fill="none" stroke="#000000" d="M209.668,-188C212.1453,-188 214.6227,-188 217.1001,-188"></path>
<polygon fill="#000000" stroke="#000000" points="217.2849,-191.5001 227.2848,-188 217.2848,-184.5001 217.2849,-191.5001"></polygon>
</g>
<!-- p1 -->
<g id="node11" class="node">
<title>p1</title>
<polygon fill="#c0c0c0" stroke="#000000" points="209.5,-124 108.5,-124 108.5,-88 209.5,-88 209.5,-124"></polygon>
</g>
<!-- e5&#45;&gt;p1 -->
<g id="edge25" class="edge">
<title>e5-&gt;p1</title>
<path fill="none" stroke="#000000" d="M159,-169.8015C159,-159.3976 159,-146.1215 159,-134.3768"></path>
<polygon fill="#000000" stroke="#000000" points="162.5001,-134.1476 159,-124.1476 155.5001,-134.1476 162.5001,-134.1476"></polygon>
</g>
<!-- e6&#45;&gt;e7 -->
<g id="edge4" class="edge">
<title>e6-&gt;e7</title>
<path fill="none" stroke="#000000" d="M328.668,-188C331.1453,-188 333.6227,-188 336.1001,-188"></path>
<polygon fill="#000000" stroke="#000000" points="336.2849,-191.5001 346.2848,-188 336.2848,-184.5001 336.2849,-191.5001"></polygon>
</g>
<!-- e7&#45;&gt;e8 -->
<g id="edge5" class="edge">
<title>e7-&gt;e8</title>
<path fill="none" stroke="#000000" d="M447.668,-188C450.1453,-188 452.6227,-188 455.1001,-188"></path>
<polygon fill="#000000" stroke="#000000" points="455.2849,-191.5001 465.2848,-188 455.2848,-184.5001 455.2849,-191.5001"></polygon>
</g>
<!-- p4 -->
<g id="node14" class="node">
<title>p4</title>
<polygon fill="#00ff00" stroke="#000000" points="388.5,-124 287.5,-124 287.5,-88 388.5,-88 388.5,-124"></polygon>
<text text-anchor="middle" x="338" y="-101.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
</g>
<!-- e7&#45;&gt;p4 -->
<g id="edge26" class="edge">
<title>e7-&gt;p4</title>
<path fill="none" stroke="#000000" d="M383.906,-169.8015C376.0383,-158.8668 365.8878,-144.7593 357.133,-132.5916"></path>
<polygon fill="#000000" stroke="#000000" points="359.7389,-130.2207 351.0574,-124.1476 354.0569,-134.309 359.7389,-130.2207"></polygon>
</g>
<!-- p5 -->
<g id="node15" class="node">
<title>p5</title>
<polygon fill="#c0c0c0" stroke="#000000" points="514.5,-124 413.5,-124 413.5,-88 514.5,-88 514.5,-124"></polygon>
</g>
<!-- e7&#45;&gt;p5 -->
<g id="edge27" class="edge">
<title>e7-&gt;p5</title>
<path fill="none" stroke="#000000" d="M411.8695,-169.8015C420.8907,-158.7606 432.5549,-144.4851 442.5618,-132.2378"></path>
<polygon fill="#000000" stroke="#000000" points="445.5552,-134.1059 449.1721,-124.1476 440.1345,-129.6768 445.5552,-134.1059"></polygon>
</g>
<!-- e8&#45;&gt;e9 -->
<g id="edge6" class="edge">
<title>e8-&gt;e9</title>
<path fill="none" stroke="#000000" d="M566.668,-188C569.1453,-188 571.6227,-188 574.1001,-188"></path>
<polygon fill="#000000" stroke="#000000" points="574.2849,-191.5001 584.2848,-188 574.2848,-184.5001 574.2849,-191.5001"></polygon>
</g>
<!-- p2 -->
<g id="node12" class="node">
<title>p2</title>
<polygon fill="#00ff00" stroke="#000000" points="117.5,-52 16.5,-52 16.5,-16 117.5,-16 117.5,-52"></polygon>
<text text-anchor="middle" x="67" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
</g>
<!-- p1&#45;&gt;p2 -->
<g id="edge16" class="edge">
<title>p1-&gt;p2</title>
<path fill="none" stroke="#000000" d="M135.7845,-87.8314C124.453,-78.9632 110.6536,-68.1637 98.3973,-58.5718"></path>
<polygon fill="#000000" stroke="#000000" points="100.2402,-55.5697 90.2081,-52.1628 95.926,-61.0822 100.2402,-55.5697"></polygon>
</g>
<!-- p3 -->
<g id="node13" class="node">
<title>p3</title>
<polygon fill="#00ff00" stroke="#000000" points="236.5,-52 135.5,-52 135.5,-16 236.5,-16 236.5,-52"></polygon>
<text text-anchor="middle" x="186" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
</g>
<!-- p1&#45;&gt;p3 -->
<g id="edge17" class="edge">
<title>p1-&gt;p3</title>
<path fill="none" stroke="#000000" d="M165.8132,-87.8314C168.7644,-79.9617 172.2858,-70.5712 175.555,-61.8533"></path>
<polygon fill="#000000" stroke="#000000" points="178.8609,-63.0055 179.095,-52.4133 172.3066,-60.5476 178.8609,-63.0055"></polygon>
</g>
<!-- p2&#45;&gt;p3 -->
<g id="edge15" class="edge">
<title>p2-&gt;p3</title>
<path fill="none" stroke="#000000" d="M117.668,-34C120.1453,-34 122.6227,-34 125.1001,-34"></path>
<polygon fill="#000000" stroke="#000000" points="125.2849,-37.5001 135.2848,-34 125.2848,-30.5001 125.2849,-37.5001"></polygon>
</g>
<!-- p6 -->
<g id="node16" class="node">
<title>p6</title>
<polygon fill="#00ff00" stroke="#000000" points="514.5,-52 413.5,-52 413.5,-16 514.5,-16 514.5,-52"></polygon>
<text text-anchor="middle" x="464" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
</g>
<!-- p5&#45;&gt;p6 -->
<g id="edge19" class="edge">
<title>p5-&gt;p6</title>
<path fill="none" stroke="#000000" d="M464,-87.8314C464,-80.131 464,-70.9743 464,-62.4166"></path>
<polygon fill="#000000" stroke="#000000" points="467.5001,-62.4132 464,-52.4133 460.5001,-62.4133 467.5001,-62.4132"></polygon>
</g>
<!-- p7 -->
<g id="node17" class="node">
<title>p7</title>
<polygon fill="#00ff00" stroke="#000000" points="633.5,-52 532.5,-52 532.5,-16 633.5,-16 633.5,-52"></polygon>
<text text-anchor="middle" x="583" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
</g>
<!-- p5&#45;&gt;p7 -->
<g id="edge20" class="edge">
<title>p5-&gt;p7</title>
<path fill="none" stroke="#000000" d="M494.0287,-87.8314C509.2496,-78.6221 527.9128,-67.3301 544.2083,-57.4706"></path>
<polygon fill="#000000" stroke="#000000" points="546.2369,-60.3341 552.9809,-52.1628 542.6132,-54.345 546.2369,-60.3341"></polygon>
</g>
<!-- p6&#45;&gt;p7 -->
<g id="edge18" class="edge">
<title>p6-&gt;p7</title>
<path fill="none" stroke="#000000" d="M514.668,-34C517.1453,-34 519.6227,-34 522.1001,-34"></path>
<polygon fill="#000000" stroke="#000000" points="522.2849,-37.5001 532.2848,-34 522.2848,-30.5001 522.2849,-37.5001"></polygon>
</g>
<!-- n2 -->
<g id="node19" class="node">
<title>n2</title>
<polygon fill="#ff0000" stroke="#000000" points="811.5,-278 710.5,-278 710.5,-242 811.5,-242 811.5,-278"></polygon>
</g>
<!-- n1&#45;&gt;n2 -->
<g id="edge21" class="edge">
<title>n1-&gt;n2</title>
<path fill="none" stroke="#000000" d="M761,-313.8314C761,-306.131 761,-296.9743 761,-288.4166"></path>
<polygon fill="#000000" stroke="#000000" points="764.5001,-288.4132 761,-278.4133 757.5001,-288.4133 764.5001,-288.4132"></polygon>
</g>
<!-- n3 -->
<g id="node20" class="node">
<title>n3</title>
<polygon fill="#ff0000" stroke="#000000" points="811.5,-206 710.5,-206 710.5,-170 811.5,-170 811.5,-206"></polygon>
</g>
<!-- n2&#45;&gt;n3 -->
<g id="edge22" class="edge">
<title>n2-&gt;n3</title>
<path fill="none" stroke="#000000" d="M761,-241.8314C761,-234.131 761,-224.9743 761,-216.4166"></path>
<polygon fill="#000000" stroke="#000000" points="764.5001,-216.4132 761,-206.4133 757.5001,-216.4133 764.5001,-216.4132"></polygon>
</g>
<!-- n4 -->
<g id="node21" class="node">
<title>n4</title>
<polygon fill="#ff0000" stroke="#000000" points="811.5,-124 710.5,-124 710.5,-88 811.5,-88 811.5,-124"></polygon>
</g>
<!-- n3&#45;&gt;n4 -->
<g id="edge23" class="edge">
<title>n3-&gt;n4</title>
<path fill="none" stroke="#000000" d="M761,-169.8015C761,-159.3976 761,-146.1215 761,-134.3768"></path>
<polygon fill="#000000" stroke="#000000" points="764.5001,-134.1476 761,-124.1476 757.5001,-134.1476 764.5001,-134.1476"></polygon>
</g>
</g>
</svg>