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

investigate parallelising the haskell translator #635

Open
lsf37 opened this issue May 24, 2023 · 0 comments
Open

investigate parallelising the haskell translator #635

lsf37 opened this issue May 24, 2023 · 0 comments
Labels
proof tools convenience, automation, productivity tools

Comments

@lsf37
Copy link
Member

lsf37 commented May 24, 2023

The Haskell translator might be able to work on separate files in parallel. We should investigate if that is the case, because on machines with a bunch of cores this could give you a nice (> 10 times) interactive speed up.

The main loop that goes through all the files is in python. Not clear to me if that lends itself to easy parallelisation. Probably not, tbh (big interpreter lock and all that). But then again, maybe one can fork many small pythons of the big python. Who knows..

@lsf37 lsf37 added the proof tools convenience, automation, productivity tools label May 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
proof tools convenience, automation, productivity tools
Projects
None yet
Development

No branches or pull requests

1 participant