diff options
author | Michael Cahill <michael.cahill@mongodb.com> | 2016-11-16 16:49:09 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-16 16:49:09 +1100 |
commit | 9be507a869760c6adff119e6ea3be9e0e67135dd (patch) | |
tree | 8aa8a2ccdac099e2625fbe8095866e18ba4c11ce /dist | |
parent | 56f14ea2ea83b871ebaabdd0c0ff14b1dba21644 (diff) | |
download | mongo-9be507a869760c6adff119e6ea3be9e0e67135dd.tar.gz |
WT-3023 Don't treat splits as eviction making progress. (#3151)
* We still want to get aggressive and/or "stuck" if all we do is rewrite pages over and over.
* Reset the eviction skip count in tiny trees: we may never have enough pages to hit the target.
Diffstat (limited to 'dist')
-rw-r--r-- | dist/flags.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/flags.py b/dist/flags.py index e200f95fba6..676f224cbb6 100644 --- a/dist/flags.py +++ b/dist/flags.py @@ -114,6 +114,7 @@ flags = { 'session' : [ 'SESSION_CAN_WAIT', 'SESSION_INTERNAL', + 'SESSION_IN_SPLIT', 'SESSION_LOCK_NO_WAIT', 'SESSION_LOCKED_CHECKPOINT', 'SESSION_LOCKED_HANDLE_LIST', |