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
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
|
/*-
* Copyright (c) 2014-2016 MongoDB, Inc.
* Copyright (c) 2008-2014 WiredTiger, Inc.
* All rights reserved.
*
* See the file LICENSE for redistribution information.
*/
#include "wt_internal.h"
static void __free_page_modify(WT_SESSION_IMPL *, WT_PAGE *);
static void __free_page_col_var(WT_SESSION_IMPL *, WT_PAGE *);
static void __free_page_int(WT_SESSION_IMPL *, WT_PAGE *);
static void __free_page_row_leaf(WT_SESSION_IMPL *, WT_PAGE *);
static void __free_skip_array(
WT_SESSION_IMPL *, WT_INSERT_HEAD **, uint32_t, bool);
static void __free_skip_list(WT_SESSION_IMPL *, WT_INSERT *, bool);
static void __free_update(WT_SESSION_IMPL *, WT_UPDATE **, uint32_t, bool);
/*
* __wt_ref_out --
* Discard an in-memory page, freeing all memory associated with it.
*/
void
__wt_ref_out(WT_SESSION_IMPL *session, WT_REF *ref)
{
/*
* A version of the page-out function that allows us to make additional
* diagnostic checks.
*/
WT_ASSERT(session, S2BT(session)->evict_ref != ref);
__wt_page_out(session, &ref->page);
}
/*
* __wt_page_out --
* Discard an in-memory page, freeing all memory associated with it.
*/
void
__wt_page_out(WT_SESSION_IMPL *session, WT_PAGE **pagep)
{
WT_PAGE *page;
WT_PAGE_HEADER *dsk;
WT_PAGE_MODIFY *mod;
/*
* Kill our caller's reference, do our best to catch races.
*/
page = *pagep;
*pagep = NULL;
if (F_ISSET(session->dhandle, WT_DHANDLE_DEAD))
__wt_page_modify_clear(session, page);
/*
* We should never discard:
* - a dirty page,
* - a page queued for eviction, or
* - a locked page.
*/
WT_ASSERT(session, !__wt_page_is_modified(page));
WT_ASSERT(session, !F_ISSET_ATOMIC(page, WT_PAGE_EVICT_LRU));
WT_ASSERT(session, !__wt_fair_islocked(session, &page->page_lock));
#ifdef HAVE_DIAGNOSTIC
{
WT_HAZARD *hp;
int i;
/*
* Make sure no other thread has a hazard pointer on the page we are
* about to discard. This is complicated by the fact that readers
* publish their hazard pointer before re-checking the page state, so
* our check can race with readers without indicating a real problem.
* Wait for up to a second for hazard pointers to be cleared.
*/
for (hp = NULL, i = 0; i < 100; i++) {
if ((hp = __wt_page_hazard_check(session, page)) == NULL)
break;
__wt_sleep(0, 10000);
}
if (hp != NULL)
__wt_errx(session,
"discarded page has hazard pointer: (%p: %s, line %d)",
(void *)hp->page, hp->file, hp->line);
WT_ASSERT(session, hp == NULL);
}
#endif
/*
* If a root page split, there may be one or more pages linked from the
* page; walk the list, discarding pages.
*/
switch (page->type) {
case WT_PAGE_COL_INT:
case WT_PAGE_ROW_INT:
mod = page->modify;
if (mod != NULL && mod->mod_root_split != NULL)
__wt_page_out(session, &mod->mod_root_split);
break;
}
/* Update the cache's information. */
__wt_cache_page_evict(session, page);
/*
* If discarding the page as part of process exit, the application may
* configure to leak the memory rather than do the work.
*/
if (F_ISSET(S2C(session), WT_CONN_LEAK_MEMORY))
return;
/* Free the page modification information. */
if (page->modify != NULL)
__free_page_modify(session, page);
switch (page->type) {
case WT_PAGE_COL_FIX:
break;
case WT_PAGE_COL_INT:
case WT_PAGE_ROW_INT:
__free_page_int(session, page);
break;
case WT_PAGE_COL_VAR:
__free_page_col_var(session, page);
break;
case WT_PAGE_ROW_LEAF:
__free_page_row_leaf(session, page);
break;
}
/* Discard any disk image. */
dsk = (WT_PAGE_HEADER *)page->dsk;
if (F_ISSET_ATOMIC(page, WT_PAGE_DISK_ALLOC))
__wt_overwrite_and_free_len(session, dsk, dsk->mem_size);
/* Discard any mapped image. */
if (F_ISSET_ATOMIC(page, WT_PAGE_DISK_MAPPED))
(void)S2BT(session)->bm->map_discard(
S2BT(session)->bm, session, dsk, (size_t)dsk->mem_size);
__wt_overwrite_and_free(session, page);
}
/*
* __free_page_modify --
* Discard the page's associated modification structures.
*/
static void
__free_page_modify(WT_SESSION_IMPL *session, WT_PAGE *page)
{
WT_INSERT_HEAD *append;
WT_MULTI *multi;
WT_PAGE_MODIFY *mod;
uint32_t i;
bool update_ignore;
mod = page->modify;
/* In some failed-split cases, we can't discard updates. */
update_ignore = F_ISSET_ATOMIC(page, WT_PAGE_UPDATE_IGNORE);
switch (mod->rec_result) {
case WT_PM_REC_MULTIBLOCK:
/* Free list of replacement blocks. */
for (multi = mod->mod_multi,
i = 0; i < mod->mod_multi_entries; ++multi, ++i) {
switch (page->type) {
case WT_PAGE_ROW_INT:
case WT_PAGE_ROW_LEAF:
__wt_free(session, multi->key.ikey);
break;
}
__wt_free(session, multi->supd);
__wt_free(session, multi->disk_image);
__wt_free(session, multi->addr.addr);
}
__wt_free(session, mod->mod_multi);
break;
case WT_PM_REC_REPLACE:
/*
* Discard any replacement address: this memory is usually moved
* into the parent's WT_REF, but at the root that can't happen.
*/
__wt_free(session, mod->mod_replace.addr);
break;
}
switch (page->type) {
case WT_PAGE_COL_FIX:
case WT_PAGE_COL_VAR:
/* Free the append array. */
if ((append = WT_COL_APPEND(page)) != NULL) {
__free_skip_list(
session, WT_SKIP_FIRST(append), update_ignore);
__wt_free(session, append);
__wt_free(session, mod->mod_col_append);
}
/* Free the insert/update array. */
if (mod->mod_col_update != NULL)
__free_skip_array(session, mod->mod_col_update,
page->type ==
WT_PAGE_COL_FIX ? 1 : page->pg_var_entries,
update_ignore);
break;
case WT_PAGE_ROW_LEAF:
/*
* Free the insert array.
*
* Row-store tables have one additional slot in the insert array
* (the insert array has an extra slot to hold keys that sort
* before keys found on the original page).
*/
if (mod->mod_row_insert != NULL)
__free_skip_array(session, mod->mod_row_insert,
page->pg_row_entries + 1, update_ignore);
/* Free the update array. */
if (mod->mod_row_update != NULL)
__free_update(session, mod->mod_row_update,
page->pg_row_entries, update_ignore);
break;
}
/* Free the overflow on-page, reuse and transaction-cache skiplists. */
__wt_ovfl_reuse_free(session, page);
__wt_ovfl_txnc_free(session, page);
__wt_ovfl_discard_free(session, page);
__wt_free(session, page->modify->ovfl_track);
__wt_free(session, page->modify);
}
/*
* __free_page_int --
* Discard a WT_PAGE_COL_INT or WT_PAGE_ROW_INT page.
*/
static void
__free_page_int(WT_SESSION_IMPL *session, WT_PAGE *page)
{
__wt_free_ref_index(session, page, WT_INTL_INDEX_GET_SAFE(page), false);
}
/*
* __wt_free_ref --
* Discard the contents of a WT_REF structure (optionally including the
* pages it references).
*/
void
__wt_free_ref(
WT_SESSION_IMPL *session, WT_REF *ref, int page_type, bool free_pages)
{
WT_IKEY *ikey;
if (ref == NULL)
return;
/*
* Optionally free the referenced pages. (The path to free referenced
* page is used for error cleanup, no instantiated and then discarded
* page should have WT_REF entries with real pages. The page may have
* been marked dirty as well; page discard checks for that, so we mark
* it clean explicitly.)
*/
if (free_pages && ref->page != NULL) {
__wt_page_modify_clear(session, ref->page);
__wt_page_out(session, &ref->page);
}
/*
* Optionally free row-store WT_REF key allocation. Historic versions of
* this code looked in a passed-in page argument, but that is dangerous,
* some of our error-path callers create WT_REF structures without ever
* setting WT_REF.home or having a parent page to which the WT_REF will
* be linked. Those WT_REF structures invariably have instantiated keys,
* (they obviously cannot be on-page keys), and we must free the memory.
*/
switch (page_type) {
case WT_PAGE_ROW_INT:
case WT_PAGE_ROW_LEAF:
if ((ikey = __wt_ref_key_instantiated(ref)) != NULL)
__wt_free(session, ikey);
break;
}
/*
* Free any address allocation; if there's no linked WT_REF page, it
* must be allocated.
*/
__wt_ref_addr_free(session, ref);
/* Free any page-deleted information. */
if (ref->page_del != NULL) {
__wt_free(session, ref->page_del->update_list);
__wt_free(session, ref->page_del);
}
__wt_overwrite_and_free(session, ref);
}
/*
* __wt_free_ref_index --
* Discard a page index and its references.
*/
void
__wt_free_ref_index(WT_SESSION_IMPL *session,
WT_PAGE *page, WT_PAGE_INDEX *pindex, bool free_pages)
{
uint32_t i;
if (pindex == NULL)
return;
for (i = 0; i < pindex->entries; ++i)
__wt_free_ref(
session, pindex->index[i], page->type, free_pages);
__wt_free(session, pindex);
}
/*
* __free_page_col_var --
* Discard a WT_PAGE_COL_VAR page.
*/
static void
__free_page_col_var(WT_SESSION_IMPL *session, WT_PAGE *page)
{
/* Free the RLE lookup array. */
__wt_free(session, page->pg_var_repeats);
}
/*
* __free_page_row_leaf --
* Discard a WT_PAGE_ROW_LEAF page.
*/
static void
__free_page_row_leaf(WT_SESSION_IMPL *session, WT_PAGE *page)
{
WT_IKEY *ikey;
WT_ROW *rip;
uint32_t i;
void *copy;
/*
* Free the in-memory index array.
*
* For each entry, see if the key was an allocation (that is, if it
* points somewhere other than the original page), and if so, free
* the memory.
*/
WT_ROW_FOREACH(page, rip, i) {
copy = WT_ROW_KEY_COPY(rip);
(void)__wt_row_leaf_key_info(
page, copy, &ikey, NULL, NULL, NULL);
__wt_free(session, ikey);
}
}
/*
* __free_skip_array --
* Discard an array of skip list headers.
*/
static void
__free_skip_array(WT_SESSION_IMPL *session,
WT_INSERT_HEAD **head_arg, uint32_t entries, bool update_ignore)
{
WT_INSERT_HEAD **head;
/*
* For each non-NULL slot in the page's array of inserts, free the
* linked list anchored in that slot.
*/
for (head = head_arg; entries > 0; --entries, ++head)
if (*head != NULL) {
__free_skip_list(
session, WT_SKIP_FIRST(*head), update_ignore);
__wt_free(session, *head);
}
/* Free the header array. */
__wt_free(session, head_arg);
}
/*
* __free_skip_list --
* Walk a WT_INSERT forward-linked list and free the per-thread combination
* of a WT_INSERT structure and its associated chain of WT_UPDATE structures.
*/
static void
__free_skip_list(WT_SESSION_IMPL *session, WT_INSERT *ins, bool update_ignore)
{
WT_INSERT *next;
for (; ins != NULL; ins = next) {
if (!update_ignore)
__wt_free_update_list(session, ins->upd);
next = WT_SKIP_NEXT(ins);
__wt_free(session, ins);
}
}
/*
* __free_update --
* Discard the update array.
*/
static void
__free_update(WT_SESSION_IMPL *session,
WT_UPDATE **update_head, uint32_t entries, bool update_ignore)
{
WT_UPDATE **updp;
/*
* For each non-NULL slot in the page's array of updates, free the
* linked list anchored in that slot.
*/
if (!update_ignore)
for (updp = update_head; entries > 0; --entries, ++updp)
if (*updp != NULL)
__wt_free_update_list(session, *updp);
/* Free the update array. */
__wt_free(session, update_head);
}
/*
* __wt_free_update_list --
* Walk a WT_UPDATE forward-linked list and free the per-thread combination
* of a WT_UPDATE structure and its associated data.
*/
void
__wt_free_update_list(WT_SESSION_IMPL *session, WT_UPDATE *upd)
{
WT_UPDATE *next;
for (; upd != NULL; upd = next) {
next = upd->next;
__wt_free(session, upd);
}
}
|