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

Allow for permanent tracking of compilation times #41762

Closed
wants to merge 3 commits into from
Closed

Allow for permanent tracking of compilation times #41762

wants to merge 3 commits into from

Commits on Aug 26, 2021

  1. Allow for permanent tracking of compilation times 

    In situations where we run long-running server that spends non-trivial amount of time in the compilation we are happy to pay the cost to have this instrumentation always on.

This PR allows us to enable permanent tracking (effectively switching the before/after switches moot) by calling `jl_track_compile_time_permanently()` method, and then providing `jl_cumulative_compile_time_ns_total()` to return the total time.

Co-Authored-By: janrous-rai <jan.rous@relational.ai>
    @NHDaly @janrous-rai
    NHDaly and janrous-rai committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    df32b32 View commit details
    Browse the repository at this point in the history

  2. Add julia bindings & tests for cumulative_compile_time_ns_total() and… 

    … track_compile_time_permanently()
    @NHDaly
    NHDaly committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    e4c5b95 View commit details
    Browse the repository at this point in the history

  3. Add docstrings

    @NHDaly
    NHDaly committed Aug 26, 2021
    Configuration menu
    Copy the full SHA
    92635f6 View commit details
    Browse the repository at this point in the history