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
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
|
/*-
* Copyright (c) 2014-2015 MongoDB, Inc.
* Copyright (c) 2008-2014 WiredTiger, Inc.
* All rights reserved.
*
* See the file LICENSE for redistribution information.
*/
#include "wt_internal.h"
static int __evict_page_dirty_update(WT_SESSION_IMPL *, WT_REF *, bool);
static int __evict_review(WT_SESSION_IMPL *, WT_REF *, bool *, bool);
/*
* __evict_exclusive_clear --
* Release exclusive access to a page.
*/
static inline void
__evict_exclusive_clear(WT_SESSION_IMPL *session, WT_REF *ref)
{
WT_ASSERT(session, ref->state == WT_REF_LOCKED && ref->page != NULL);
ref->state = WT_REF_MEM;
}
/*
* __evict_exclusive --
* Acquire exclusive access to a page.
*/
static inline int
__evict_exclusive(WT_SESSION_IMPL *session, WT_REF *ref)
{
WT_ASSERT(session, ref->state == WT_REF_LOCKED);
/*
* Check for a hazard pointer indicating another thread is using the
* page, meaning the page cannot be evicted.
*/
if (__wt_page_hazard_check(session, ref->page) == NULL)
return (0);
WT_STAT_FAST_DATA_INCR(session, cache_eviction_hazard);
WT_STAT_FAST_CONN_INCR(session, cache_eviction_hazard);
return (EBUSY);
}
/*
* __wt_evict --
* Evict a page.
*/
int
__wt_evict(WT_SESSION_IMPL *session, WT_REF *ref, bool closing)
{
WT_CONNECTION_IMPL *conn;
WT_DECL_RET;
WT_PAGE *page;
WT_PAGE_MODIFY *mod;
bool clean_page, forced_eviction, inmem_split, tree_dead;
conn = S2C(session);
/* Checkpoints should never do eviction. */
WT_ASSERT(session, !WT_SESSION_IS_CHECKPOINT(session));
page = ref->page;
forced_eviction = page->read_gen == WT_READGEN_OLDEST;
inmem_split = false;
tree_dead = F_ISSET(session->dhandle, WT_DHANDLE_DEAD);
WT_RET(__wt_verbose(session, WT_VERB_EVICT,
"page %p (%s)", page, __wt_page_type_string(page->type)));
/*
* Get exclusive access to the page and review it for conditions that
* would block our eviction of the page. If the check fails (for
* example, we find a page with active children), we're done. We have
* to make this check for clean pages, too: while unlikely eviction
* would choose an internal page with children, it's not disallowed.
*/
WT_ERR(__evict_review(session, ref, &inmem_split, closing));
/*
* If there was an in-memory split, the tree has been left in the state
* we want: there is nothing more to do.
*/
if (inmem_split)
goto done;
/*
* Update the page's modification reference, reconciliation might have
* changed it.
*/
mod = page->modify;
/* Count evictions of internal pages during normal operation. */
if (!closing && WT_PAGE_IS_INTERNAL(page)) {
WT_STAT_FAST_CONN_INCR(session, cache_eviction_internal);
WT_STAT_FAST_DATA_INCR(session, cache_eviction_internal);
}
/*
* Track the largest page size seen at eviction, it tells us something
* about our ability to force pages out before they're larger than the
* cache.
*/
if (page->memory_footprint > conn->cache->evict_max_page_size)
conn->cache->evict_max_page_size = page->memory_footprint;
/* Figure out whether reconciliation was done on the page */
clean_page = mod == NULL || mod->rec_result == 0;
/* Update the reference and discard the page. */
if (__wt_ref_is_root(ref))
__wt_ref_out(session, ref);
else if (tree_dead || (clean_page && !F_ISSET(conn, WT_CONN_IN_MEMORY)))
/*
* Pages that belong to dead trees never write back to disk
* and can't support page splits.
*/
WT_ERR(__wt_evict_page_clean_update(
session, ref, tree_dead || closing));
else
WT_ERR(__evict_page_dirty_update(session, ref, closing));
if (clean_page) {
WT_STAT_FAST_CONN_INCR(session, cache_eviction_clean);
WT_STAT_FAST_DATA_INCR(session, cache_eviction_clean);
} else {
WT_STAT_FAST_CONN_INCR(session, cache_eviction_dirty);
WT_STAT_FAST_DATA_INCR(session, cache_eviction_dirty);
}
if (0) {
err: if (!closing)
__evict_exclusive_clear(session, ref);
WT_STAT_FAST_CONN_INCR(session, cache_eviction_fail);
WT_STAT_FAST_DATA_INCR(session, cache_eviction_fail);
}
done: if (((inmem_split && ret == 0) || (forced_eviction && ret == EBUSY)) &&
!F_ISSET(conn->cache, WT_CACHE_WOULD_BLOCK)) {
F_SET(conn->cache, WT_CACHE_WOULD_BLOCK);
WT_TRET(__wt_evict_server_wake(session));
}
return (ret);
}
/*
* __evict_delete_ref --
* Mark a page reference deleted and check if the parent can reverse
* split.
*/
static int
__evict_delete_ref(WT_SESSION_IMPL *session, WT_REF *ref, bool closing)
{
WT_DECL_RET;
WT_PAGE *parent;
WT_PAGE_INDEX *pindex;
uint32_t ndeleted;
if (__wt_ref_is_root(ref))
return (0);
/*
* Avoid doing reverse splits when closing the file, it is
* wasted work and some structure may already have been freed.
*/
if (!closing) {
parent = ref->home;
WT_INTL_INDEX_GET(session, parent, pindex);
ndeleted = __wt_atomic_addv32(&pindex->deleted_entries, 1);
/*
* If more than 10% of the parent references are deleted, try a
* reverse split. Don't bother if there is a single deleted
* reference: the internal page is empty and we have to wait
* for eviction to notice.
*
* This will consume the deleted ref (and eventually free it).
* If the reverse split can't get the access it needs because
* something is busy, be sure that the page still ends up
* marked deleted.
*/
if (ndeleted > pindex->entries / 10 && pindex->entries > 1) {
if ((ret = __wt_split_reverse(session, ref)) == 0)
return (0);
WT_RET_BUSY_OK(ret);
/*
* The child must be locked after a failed reverse
* split.
*/
WT_ASSERT(session, ref->state == WT_REF_LOCKED);
}
}
WT_PUBLISH(ref->state, WT_REF_DELETED);
return (0);
}
/*
* __wt_evict_page_clean_update --
* Update a clean page's reference on eviction.
*/
int
__wt_evict_page_clean_update(
WT_SESSION_IMPL *session, WT_REF *ref, bool closing)
{
WT_DECL_RET;
/*
* If doing normal system eviction, but only in the service of reducing
* the number of dirty pages, leave the clean page in cache.
*/
if (!closing && __wt_eviction_dirty_target(session))
return (EBUSY);
/*
* Discard the page and update the reference structure; if the page has
* an address, it's a disk page; if it has no address, it's a deleted
* page re-instantiated (for example, by searching) and never written.
*/
__wt_ref_out(session, ref);
if (ref->addr == NULL) {
WT_WITH_PAGE_INDEX(session,
ret = __evict_delete_ref(session, ref, closing));
WT_RET_BUSY_OK(ret);
} else
WT_PUBLISH(ref->state, WT_REF_DISK);
return (0);
}
/*
* __evict_page_dirty_update --
* Update a dirty page's reference on eviction.
*/
static int
__evict_page_dirty_update(WT_SESSION_IMPL *session, WT_REF *ref, bool closing)
{
WT_ADDR *addr;
WT_DECL_RET;
WT_PAGE *parent;
WT_PAGE_MODIFY *mod;
parent = ref->home;
mod = ref->page->modify;
switch (mod->rec_result) {
case WT_PM_REC_EMPTY: /* Page is empty */
/* Discard the parent's address. */
if (ref->addr != NULL && __wt_off_page(parent, ref->addr)) {
__wt_free(session, ((WT_ADDR *)ref->addr)->addr);
__wt_free(session, ref->addr);
}
/*
* Update the parent to reference a deleted page. The fact that
* reconciliation left the page "empty" means there's no older
* transaction in the system that might need to see an earlier
* version of the page. For that reason, we clear the address
* of the page, if we're forced to "read" into that namespace,
* we'll instantiate a new page instead of trying to read from
* the backing store.
*
* Publish: a barrier to ensure the structure fields are set
* before the state change makes the page available to readers.
*/
__wt_ref_out(session, ref);
ref->addr = NULL;
WT_WITH_PAGE_INDEX(session,
ret = __evict_delete_ref(session, ref, closing));
WT_RET_BUSY_OK(ret);
break;
case WT_PM_REC_MULTIBLOCK: /* Multiple blocks */
/*
* Either a split where we reconciled a page and it turned into
* a lot of pages or an in-memory page that got too large, we
* forcibly evicted it, and there wasn't anything to write.
*
* The latter is a special case of forced eviction. Imagine a
* thread updating a small set keys on a leaf page. The page
* is too large or has too many deleted items, so we try and
* evict it, but after reconciliation there's only a small
* amount of live data (so it's a single page we can't split),
* and if there's an older reader somewhere, there's data on
* the page we can't write (so the page can't be evicted). In
* that case, we end up here with a single block that we can't
* write. Take advantage of the fact we have exclusive access
* to the page and rewrite it in memory.
*/
if (mod->mod_multi_entries == 1)
WT_RET(__wt_split_rewrite(session, ref));
else
WT_RET(__wt_split_multi(session, ref, closing));
break;
case WT_PM_REC_REPLACE: /* 1-for-1 page swap */
/*
* If doing normal system eviction, but only in the service of
* reducing the number of dirty pages, leave the clean page in
* cache. Only do this when replacing a page with another one,
* because when a page splits into multiple pages, we want to
* push it out of cache (and read it back in, when needed), we
* would rather have more, smaller pages than fewer large pages.
*/
if (!closing && __wt_eviction_dirty_target(session))
return (EBUSY);
/* Discard the parent's address. */
if (ref->addr != NULL && __wt_off_page(parent, ref->addr)) {
__wt_free(session, ((WT_ADDR *)ref->addr)->addr);
__wt_free(session, ref->addr);
}
/*
* Update the parent to reference the replacement page.
*
* Publish: a barrier to ensure the structure fields are set
* before the state change makes the page available to readers.
*/
WT_RET(__wt_calloc_one(session, &addr));
*addr = mod->mod_replace;
mod->mod_replace.addr = NULL;
mod->mod_replace.size = 0;
__wt_ref_out(session, ref);
ref->addr = addr;
WT_PUBLISH(ref->state, WT_REF_DISK);
break;
WT_ILLEGAL_VALUE(session);
}
return (0);
}
/*
* __evict_child_check --
* Review an internal page for active children.
*/
static int
__evict_child_check(WT_SESSION_IMPL *session, WT_REF *parent)
{
WT_REF *child;
WT_INTL_FOREACH_BEGIN(session, parent->page, child) {
switch (child->state) {
case WT_REF_DISK: /* On-disk */
case WT_REF_DELETED: /* On-disk, deleted */
break;
default:
return (EBUSY);
}
} WT_INTL_FOREACH_END;
return (0);
}
/*
* __evict_review --
* Get exclusive access to the page and review the page and its subtree
* for conditions that would block its eviction.
*/
static int
__evict_review(
WT_SESSION_IMPL *session, WT_REF *ref, bool *inmem_splitp, bool closing)
{
WT_DECL_RET;
WT_PAGE *page;
uint32_t flags;
bool modified;
/*
* Get exclusive access to the page if our caller doesn't have the tree
* locked down.
*/
if (!closing) {
WT_RET(__evict_exclusive(session, ref));
/*
* Now the page is locked, remove it from the LRU eviction
* queue. We have to do this before freeing the page memory or
* otherwise touching the reference because eviction paths
* assume a non-NULL reference on the queue is pointing at
* valid memory.
*/
__wt_evict_list_clear_page(session, ref);
}
/* Now that we have exclusive access, review the page. */
page = ref->page;
/*
* Fail if an internal has active children, the children must be evicted
* first. The test is necessary but shouldn't fire much: the eviction
* code is biased for leaf pages, an internal page shouldn't be selected
* for eviction until all children have been evicted.
*/
if (WT_PAGE_IS_INTERNAL(page)) {
WT_WITH_PAGE_INDEX(session,
ret = __evict_child_check(session, ref));
WT_RET(ret);
}
/*
* It is always OK to evict pages from dead trees if they don't have
* children.
*/
if (F_ISSET(session->dhandle, WT_DHANDLE_DEAD))
return (0);
/*
* Retrieve the modified state of the page. This must happen after the
* check for evictable internal pages otherwise there is a race where a
* page could be marked modified due to a child being transitioned to
* WT_REF_DISK after the modified check and before we visited the ref
* while walking the parent index.
*/
modified = __wt_page_is_modified(page);
/*
* Clean pages can't be evicted when running in memory only. This
* should be uncommon - we don't add clean pages to the queue.
*/
if (F_ISSET(S2C(session), WT_CONN_IN_MEMORY) && !modified && !closing)
return (EBUSY);
/* Check if the page can be evicted. */
if (!closing) {
/*
* Update the oldest ID to avoid wasted effort should it have
* fallen behind current.
*/
if (modified)
__wt_txn_update_oldest(session, true);
if (!__wt_page_can_evict(session, ref, inmem_splitp))
return (EBUSY);
/*
* Check for an append-only workload needing an in-memory
* split; we can't do this earlier because in-memory splits
* require exclusive access. If an in-memory split completes,
* the page stays in memory and the tree is left in the desired
* state: avoid the usual cleanup.
*/
if (*inmem_splitp)
return (__wt_split_insert(session, ref));
}
/* If the page is clean, we're done and we can evict. */
if (!modified)
return (0);
/*
* If the page is dirty, reconcile it to decide if we can evict it.
*
* If we have an exclusive lock (we're discarding the tree), assert
* there are no updates we cannot read.
*
* Otherwise, if the page we're evicting is a leaf page marked for
* forced eviction, set the update-restore flag, so reconciliation will
* write blocks it can write and create a list of skipped updates for
* blocks it cannot write. This is how forced eviction of active, huge
* pages works: we take a big page and reconcile it into blocks, some of
* which we write and discard, the rest of which we re-create as smaller
* in-memory pages, (restoring the updates that stopped us from writing
* the block), and inserting the whole mess into the page's parent.
*
* Otherwise, if eviction is getting pressed, configure reconciliation
* to write not-yet-globally-visible updates to the lookaside table,
* allowing the eviction of pages we'd otherwise have to retain in cache
* to support older readers.
*
* Don't set the update-restore or lookaside table flags for internal
* pages, they don't have update lists that can be saved and restored.
*/
flags = WT_EVICTING;
if (closing)
LF_SET(WT_VISIBILITY_ERR);
else if (!WT_PAGE_IS_INTERNAL(page)) {
if (F_ISSET(S2C(session), WT_CONN_IN_MEMORY))
LF_SET(WT_EVICT_IN_MEMORY | WT_EVICT_UPDATE_RESTORE);
else if (page->read_gen == WT_READGEN_OLDEST)
LF_SET(WT_EVICT_UPDATE_RESTORE);
else if (F_ISSET(session, WT_SESSION_INTERNAL) &&
F_ISSET(S2C(session)->cache, WT_CACHE_STUCK))
LF_SET(WT_EVICT_LOOKASIDE);
}
WT_RET(__wt_reconcile(session, ref, NULL, flags));
/*
* Success: assert the page is clean or reconciliation was configured
* for an update/restore split. If the page is clean, assert that
* reconciliation was configured for a lookaside table, or it's not a
* durable object (currently the lookaside table), or all page updates
* were globally visible.
*/
WT_ASSERT(session,
LF_ISSET(WT_EVICT_UPDATE_RESTORE) || !__wt_page_is_modified(page));
WT_ASSERT(session,
__wt_page_is_modified(page) ||
LF_ISSET(WT_EVICT_LOOKASIDE) ||
F_ISSET(S2BT(session), WT_BTREE_LOOKASIDE) ||
__wt_txn_visible_all(session, page->modify->rec_max_txn));
return (0);
}
|