Skip to content

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.

2 participants