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

Reduce memory consumption during discrete pruning #1898

Merged
merged 4 commits into from
Nov 7, 2024
Merged

Reduce memory consumption during discrete pruning #1898

merged 4 commits into from
Nov 7, 2024

Commits on Nov 6, 2024

  1. use visitWith to not create a new tree

    @varunagrawal
    varunagrawal committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    8b968c1 View commit details
    Browse the repository at this point in the history

  2. use a fixed size min-heap to find the pruning threshold

    @varunagrawal
    varunagrawal committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    d21f191 View commit details
    Browse the repository at this point in the history

  3. implement a min-heap to record the top N probabilities for pruning

    @varunagrawal
    varunagrawal committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    9666725 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. make MinHeap more efficient by calling push_heap instead of make_heap

    @varunagrawal
    varunagrawal committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    ae43b2a View commit details
    Browse the repository at this point in the history