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

Rework the CQueue implementation #38

Draft
wants to merge 8 commits into
base: main
Choose a base branch
from
Draft

Rework the CQueue implementation #38

wants to merge 8 commits into from

Conversation

NicolasT
Copy link
Owner

Instead of using CQueue from distributed-process, provide an implementation which is simpler and tailored to our needs.

This is meant to be a long-running PR to experiment on the implementation. The intent is for the implementation to be correct, not necessarily fast. Once it's correct, we can further work on its performance.

The tests for the implementation include some experiments with DejaFu to ensure the implementation produces consistent results and doesn't deadlock. Cfr. #17.

@NicolasT NicolasT added the enhancement New feature or request label Mar 27, 2023
@NicolasT NicolasT self-assigned this Mar 27, 2023
@NicolasT
Copy link
Owner Author

There's clearly some bug in the current implementation, since using it "for real" causes some tests to lock up.

I might first rework Process so it can (internally) live in MonadConc, such that some DejaFu tests can ensure it works as intended.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant