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

Memory-map the dep-graph instead of reading it up front #95543

Closed
wants to merge 5 commits into from
Closed

Memory-map the dep-graph instead of reading it up front #95543

wants to merge 5 commits into from

Commits on Jul 29, 2022

  1. Mmap the DepGraph instead of reading it.

    @cjgillot
    cjgillot committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    27732c2 View commit details
    Browse the repository at this point in the history

  2. Do not store the DepNode twice.

    @cjgillot
    cjgillot committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    b136f26 View commit details
    Browse the repository at this point in the history

  3. Remove useless bounds.

    @cjgillot
    cjgillot committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    8b9e38c View commit details
    Browse the repository at this point in the history

  4. Go back to LEB128 for edges.

    @cjgillot
    cjgillot committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    620d16a View commit details
    Browse the repository at this point in the history

  5. Decode edges using an iterator.

    @cjgillot
    cjgillot committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    9b4c844 View commit details
    Browse the repository at this point in the history