perf: optimize OpamString.split#6210
Merged
kit-ty-kate merged 2 commits intoocaml:masterfrom Dec 17, 2024
Merged
Conversation
Member
Author
|
After trying a couple of things, it looks like |
a11b3e2 to
0a80e5c
Compare
0a80e5c to
9f19452
Compare
77be560 to
643dfd1
Compare
Member
Author
|
ok i should've just started with benchmarking just the function in isolation. It now shows a 45x speedup |
858c302 to
95e17c8
Compare
95e17c8 to
37e822f
Compare
this cuts the time spent on parsing `pacman -Si` significantly down Co-authored-by: Kate <kit-ty-kate@outlook.com>
37e822f to
30827b0
Compare
bff3894 to
9002d47
Compare
Collaborator
|
60s to 1.2s, from bench |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
this cuts the time spent on parsing
pacman -Sisignificantly downCommit by @c-cube split from #5757
Queued on #6212