Enable custom profiling interval via CLI flag (#357) #437
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Issue: #357 (guest profiler support originally added in #301)
This PR adds the ability to pass a profiling interval to Viceroy, e.g.
--profile=guest,/tmp/path,25
will set the profiling sample interval to 25 ms.Open question(s):
It looks likewasmtime
will parse the time including units, e.g.--profile=guest,/some/path,25ms
. This PR assumes milliseconds by default. I can either add a smallparse_duration
helper function or use thehumantime
crate (used bywasmtime
, so already an implicit project dependency) to stay consistent withwasmtime
. Thoughts?EDIT: I've added support for
humantime
, but if this is not preferable I'm happy to revert the latest change.0.05
ms (50 microseconds). The default interval inwasmtime
appears to be10
ms. Should Viceroy's default be changed?