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: When track pages receive more writes, treat them as dirty pages #423

Merged
merged 1 commit into from
Mar 20, 2024
Merged

fix: When track pages receive more writes, treat them as dirty pages #423

merged 1 commit into from
Mar 20, 2024

Commits on Mar 20, 2024

  1. fix: When track pages receive more writes, treat them as dirty pages 

    * chore: Use debug assertions to document get_page_indices input requirements

* fix: When track pages receive more writes, treat them as dirty pages

Credit goes to @mohanson for providing the tests
    @xxuejie @mohanson
    xxuejie authored and mohanson committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    947ac35 View commit details
    Browse the repository at this point in the history