Tim Armstrong has uploaded a new patch set (#2). Change subject: IMPALA-5113: fix dirty unpinned invariant ......................................................................
IMPALA-5113: fix dirty unpinned invariant There were two bugs: * The invariant was too strict and didn't take into account multiple pins of pages (which don't use buffers and therefore shouldn't count). * The invariant wasn't enforced when reclaiming a clean page. The invariant is rephrased in terms of buffers/pages instead of "used reservation" to avoid double-counting buffers attached to pages that are pinned multiple times and hopefully make the invariant more intuitive. Testing: Added a unit test that reproduces the issue and added stricter DCHECKs to detect the issue in future. Change-Id: I07e08acb6cf6839bfccbd09258c093b1c8252b25 --- M be/src/runtime/bufferpool/buffer-pool-internal.h M be/src/runtime/bufferpool/buffer-pool-test.cc M be/src/runtime/bufferpool/buffer-pool.cc 3 files changed, 93 insertions(+), 30 deletions(-) git pull ssh://gerrit.cloudera.org:29418/Impala-ASF refs/changes/69/6469/2 -- To view, visit http://gerrit.cloudera.org:8080/6469 To unsubscribe, visit http://gerrit.cloudera.org:8080/settings Gerrit-MessageType: newpatchset Gerrit-Change-Id: I07e08acb6cf6839bfccbd09258c093b1c8252b25 Gerrit-PatchSet: 2 Gerrit-Project: Impala-ASF Gerrit-Branch: master Gerrit-Owner: Tim Armstrong <[email protected]> Gerrit-Reviewer: Dan Hecht <[email protected]> Gerrit-Reviewer: Tim Armstrong <[email protected]>
