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

Synchronized diagnostics worker threads #190

Merged
merged 9 commits into from
Jan 27, 2025

Conversation

Arcticae
Copy link
Member

@Arcticae Arcticae commented Jan 16, 2025

Stack ⬆️ : #44

In order to achieve more robust tracking of diagnostics progress, we need to make those threads converge.

That means two different generations' threads now don't run in parallel, and modify state (in turn making the progress tracking very difficult).

@Arcticae Arcticae requested a review from a team as a code owner January 16, 2025 10:23
@Arcticae Arcticae requested review from mkaput and Draggu and removed request for a team January 16, 2025 10:23
@Arcticae Arcticae force-pushed the feature/joined-diagnostics-threads branch from 14a3398 to 05eae23 Compare January 16, 2025 10:29
src/lang/diagnostics/mod.rs Outdated Show resolved Hide resolved
src/lang/diagnostics/mod.rs Outdated Show resolved Hide resolved
@Arcticae Arcticae requested a review from mkaput January 16, 2025 13:19
src/lang/diagnostics/mod.rs Outdated Show resolved Hide resolved
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
@Arcticae Arcticae requested review from Draggu and piotmag769 January 16, 2025 15:26
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
src/lang/diagnostics/mod.rs Outdated Show resolved Hide resolved
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
@Arcticae Arcticae requested a review from Draggu January 16, 2025 15:43
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
src/server/schedule/thread/pool.rs Outdated Show resolved Hide resolved
src/lang/diagnostics/trigger.rs Outdated Show resolved Hide resolved
src/lang/diagnostics/trigger.rs Outdated Show resolved Hide resolved
src/lang/diagnostics/mod.rs Show resolved Hide resolved
@Arcticae Arcticae requested review from mkaput and Draggu January 17, 2025 15:31
src/server/trigger.rs Outdated Show resolved Hide resolved
@Arcticae Arcticae enabled auto-merge January 20, 2025 10:30
@Arcticae Arcticae force-pushed the feature/joined-diagnostics-threads branch from 62ad275 to a9bd5c8 Compare January 23, 2025 15:34
@Arcticae Arcticae force-pushed the feature/joined-diagnostics-threads branch from a9bd5c8 to b1a0a44 Compare January 23, 2025 15:43
@Arcticae Arcticae added this pull request to the merge queue Jan 27, 2025
Merged via the queue into main with commit dcf1005 Jan 27, 2025
11 checks passed
@Arcticae Arcticae deleted the feature/joined-diagnostics-threads branch January 27, 2025 14:16
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.

4 participants