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

Reuse the workspace to better take advantage of caches when indexing #69268

Merged
merged 3 commits into from
Jul 28, 2023
Merged

Reuse the workspace to better take advantage of caches when indexing #69268

merged 3 commits into from
Jul 28, 2023

Commits on Jul 28, 2023

  1. Include total execution time at the very end

    @jasonmalinowski
    jasonmalinowski committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    0cb7f11 View commit details
    Browse the repository at this point in the history

  2. Enable auto-flush for the log file 

    This means all writes immediately flush to the file so you can watch
the log file in real time to get a sense of progress. Although this is
slightly slower, we don't remotely write enough to the log file for it
to matter.
    @jasonmalinowski
    jasonmalinowski committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    d664ee5 View commit details
    Browse the repository at this point in the history

  3. Reuse the workspace to better take advantage of caches when indexing 

    When we were processing a binlog, we would create a workspace per
project. This was't ideal, as it turns out this meant we wouldn't
reuse caches for metadata references and documentation comments from
one indexing job to the next.

Fixes dotnet#68750
    @jasonmalinowski
    jasonmalinowski committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    19d29d6 View commit details
    Browse the repository at this point in the history