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.

Sign up for GitHub

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

Jump to bottom

Support parallel verification with Rayon for script groups. #4551

Draft
wants to merge 1 commit into
base: develop
Choose a base branch
from
Draft

Support parallel verification with Rayon for script groups. #4551

wants to merge 1 commit into from

Conversation

eval-exec
Copy link
Collaborator

@eval-exec eval-exec commented Jul 29, 2024 •
edited
Loading

What problem does this PR solve?

This PR aims to verify script groups in parallel.

What is changed and how it works?

Related changes

  • use rayon to verify script groups in parallel

Check List

Tests

  • Unit test
  • Integration test
  • Manual test (add detailed scripts or steps below)
  • No code ci-runs-only: [ quick_checks,linters ]

Side effects

  • Performance improvement

Release note 

Title Only: Include only the PR title in the release note.

@eval-exec
Copy link
Collaborator Author

The benchmark results will be available tomorrow.

@eval-exec eval-exec changed the title Support rayon parallel verify for script groups Support parallel verification with Rayon for script groups. Jul 29, 2024
@eval-exec
Copy link
Collaborator Author

rayon-script
The concurrent verification of script groups does not significantly improve synchronization speed.

@github-actions GitHub Actions
Copy link

This PR is stale because it has been open 45 days with no activity. Remove stale label or comment or this will be closed in 10 days.

@github-actions github-actions bot added the stale To be closed due to a lack of activity label Sep 14, 2024
@eval-exec eval-exec removed the stale To be closed due to a lack of activity label Sep 14, 2024
@github-actions GitHub Actions
Copy link

This PR is stale because it has been open 45 days with no activity. Remove stale label or comment or this will be closed in 10 days.

@github-actions github-actions bot added the stale To be closed due to a lack of activity label Oct 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
stale To be closed due to a lack of activity
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@eval-exec