Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix(mango): communicate rows read for global stats collection #4908

Merged
merged 1 commit into from
Jan 9, 2024
Merged

fix(mango): communicate rows read for global stats collection #4908

merged 1 commit into from
Jan 9, 2024

Commits on Jan 9, 2024

  1. mango: communicate rows read for global stats collection 

    Besides the execution statistics that could be shown for the user,
the number of rows and documents read are tracked separately on
the global level.  (Which is more like a bug than a feature, but
that is out of the scope of this change.)

With the introduction of covering indexes, these two have been
become different, therefore global counting has to be taught about
the number of times when no documents were read but rows only.  For
text indexes, the number of rows and documents should be the same,
the distinction makes sense only for json indexes.
    @pgj
    pgj committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    33c9881 View commit details
    Browse the repository at this point in the history