Skip to content

chore: add more trace nodes, for better profiling data - #211

Merged
shigoel merged 7 commits into
mainfrom
better-tracing
Oct 8, 2024
Merged

chore: add more trace nodes, for better profiling data#211
shigoel merged 7 commits into
mainfrom
better-tracing

Conversation

@alexkeizer

@alexkeizer alexkeizer commented Oct 2, 2024

Copy link
Copy Markdown
Collaborator

Description:

Stacked on:

Testing:

What tests have been run? Did make all succeed for your changes? Was
conformance testing successful on an Aarch64 machine? Yes

License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.

@alexkeizer alexkeizer changed the title WIP: chore: add more trace nodes, for better profiling data chore: add more trace nodes, for better profiling data Oct 3, 2024
@alexkeizer
alexkeizer changed the base branch from main to benchmarks-v3 October 8, 2024 15:33
@alexkeizer
alexkeizer force-pushed the better-tracing branch 3 times, most recently from ffced42 to 21657ae Compare October 8, 2024 15:40
Base automatically changed from benchmarks-v3 to main October 8, 2024 15:41
@alexkeizer
alexkeizer marked this pull request as ready for review October 8, 2024 15:42
@alexkeizer
alexkeizer requested a review from shigoel as a code owner October 8, 2024 15:42
@alexkeizer

Copy link
Copy Markdown
Collaborator Author

@shigoel rebased on main, this is now ready for review

@alexkeizer

Copy link
Copy Markdown
Collaborator Author

Also, I cherry-picked the changes from #214 onto this PR, to reduce the amount of open PRs

Comment thread Tactics/Sym.lean Outdated
Comment thread Tactics/Sym.lean Outdated
Comment thread Tactics/Sym/AxEffects.lean Outdated
Comment thread Tactics/Sym/Common.lean
@shigoel
shigoel merged commit 85d5239 into main Oct 8, 2024
@shigoel
shigoel deleted the better-tracing branch October 8, 2024 19:31
shigoel added a commit that referenced this pull request Oct 8, 2024
…ep in `sym_n` (#213)

### Description:

Stacked on:
- [x] #204 
- [x] #207 
- [x] #209 
- [x] #211 

This PR implements "snorkeling" of the heartbeat budget.

This unfortunately does not buy us much, as aggregation for 500 steps
already seems to hit both the recursion limit and heartbeat budget, by
itself.

### Testing:

What tests have been run? Did `make all` succeed for your changes? Was
conformance testing successful on an Aarch64 machine? Yes

### License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.

---------

Co-authored-by: Shilpi Goel <shigoel@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants