-
Notifications
You must be signed in to change notification settings - Fork 154
perf(l1, l2): move post-execution trie updates to the background #4989
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
Merged
Merged
Changes from 22 commits
Commits
Show all changes
37 commits
Select commit
Hold shift + click to select a range
b673159
wip: perf: move trie updates to background
Oppen 624959c
almost building
Oppen fd10649
fixes
edg-l be1cbd1
Send continue message after db write
jrchatruc bf8dc61
revert btreemap
Oppen e518452
unconditionally notify about new diff layer
jrchatruc ef7a108
change trie update channel to have bound 0 instead of 1
jrchatruc 0b5d535
Test sending ok afterwards
jrchatruc 3e68692
fix
jrchatruc 29bf987
fix id increment + disallow modify
Oppen e41963b
actually update last_id
Oppen 6b3c8b9
Revert "fix"
Oppen 49e47ee
Revert "Test sending ok afterwards"
Oppen d85c9fe
Merge branch 'main' into perf/bg_trie_update-edgar-v2
jrchatruc ab7c5a8
Update changelog
jrchatruc c905574
Update prover cargo lock files
jrchatruc 693c94d
Remove unneeded spawned concurrency dependency
jrchatruc 65cd9a7
Revert "Update prover cargo lock files"
jrchatruc ca26b76
Merge branch 'main' into perf/bg_trie_update-edgar-v2
jrchatruc b27b2aa
Fix tests
jrchatruc ff93aa9
clippy
jrchatruc 3a89d6a
Merge branch 'main' into perf/bg_trie_update-edgar-v2
jrchatruc b080ea2
Add documentation for the background thread
jrchatruc 28369f1
cargo fmt
jrchatruc d714943
remove needless scope
edg-l 48f5b3a
add warnings, use collect
edg-l 0122787
typo
edg-l 32b6de2
use destructure
edg-l 12c9621
typo
edg-l 68e32a9
avoid lock
edg-l 39dc217
merge conflicts
edg-l 4441238
Make change in L2 to trigger CI L2 tests
jrchatruc 5d39705
Revert "Make change in L2 to trigger CI L2 tests"
jrchatruc 56db24c
Merge branch 'main' into perf/bg_trie_update-edgar-v2
jrchatruc f1d50bd
Merge branch 'main' into perf/bg_trie_update-edgar-v2
jrchatruc d4f74f2
Test l2 ci
jrchatruc a05a039
Revert "Test l2 ci"
jrchatruc File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
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
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
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
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
Oops, something went wrong.
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.
Uh oh!
There was an error while loading. Please reload this page.