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

Parallelisation by default in State Automata? #308

Open
turion opened this issue Apr 29, 2024 · 0 comments
Open

Parallelisation by default in State Automata? #308

turion opened this issue Apr 29, 2024 · 0 comments

Comments

@turion
Copy link
Owner

turion commented Apr 29, 2024

In https://github.com/turion/rhine/pull/299/files/f8f72050f4c69ad74864370738e9ef90a86ce3eb#diff-6421dff49f75037ffc55f3a3ceeed8653e196c490d41d5601a55d30a5d69525b I proposed, that when dunai MSFs are replaced by automata, we could by default use GHC parallelism (par and pseq) whenever automata are combined, with ***, &&&, <*>, or even with >>>/..

With *** it's straightforward, but Arrow syntax doesn't usually desugar to it. Therefore the more aggressive optimization attempt is >>>, although it will often have data dependencies that will prevent parallelism.

It should be measured with a few realistic benchmarks whether this is actually an optimization, or even a pessimization.

Another place to check for optimization gains would be the particle filter in rhine-bayes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant