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.

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

Enable easy access to cycle count, segment count, and executor time stats from running dev-mode #1027

Closed
Cardosaum opened this issue Oct 24, 2023 · 1 comment · Fixed by #1047
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@Cardosaum
Copy link
Contributor

A feature is proposed to simplify the process for users to view cycle count, segment count, and executor time statistics when running in development mode. By setting RISC0_DEV_MODE=1 and RUST_LOG="<module>=debug", a clear log of executor stats should be enabled. This feature aims to enhance the user experience by providing an easier way to obtain statistics about the program running.

@Cardosaum Cardosaum added the enhancement New feature or request label Oct 24, 2023
@Cardosaum Cardosaum self-assigned this Oct 24, 2023
@flaub flaub added this to the 0.19 milestone Oct 25, 2023
@SchmErik
Copy link
Contributor

So what we discussed was to put something like this in the template:

env_logger::init();

This uses env_logger but we might want tracing subscriber instead.

And then, add log::info!(...); in the executor somewhere in this function:

pub fn run_with_callback<F>(&mut self, callback: F) -> Result<Session, ExecutorError>

@flaub flaub modified the milestones: 0.19.0, 0.19.1 Nov 3, 2023
flaub added a commit that referenced this issue Nov 4, 2023
Closes #1027

---------

Co-authored-by: Erik Kaneda <erik@risczero.com>
Co-authored-by: Frank Laub <flaub@risc0.com>
flaub added a commit that referenced this issue Nov 8, 2023
Closes #1027

---------

Co-authored-by: Erik Kaneda <erik@risczero.com>
Co-authored-by: Frank Laub <flaub@risc0.com>
flaub added a commit that referenced this issue Nov 8, 2023
Closes #1027

---------

Co-authored-by: Erik Kaneda <erik@risczero.com>
Co-authored-by: Frank Laub <flaub@risc0.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants