-
Notifications
You must be signed in to change notification settings - Fork 352
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
stacked-borrows very slow #1647
Comments
It is much more likely that miri is just extremely slow. How long does it take in debug mode when running without miri? |
The test is quite fast, around 3ms. I let run Miri for about 30Minutes before cancelling. |
Is there any concurrency involved? This could be a case of #1388. |
I saw that issue, but here is no concurrency involved. There is not much happening, just a compress and decompress in around 1000Lines. |
can you do some println debugging by printing the progress of your program via stdout and check this way where the operations differ between host execution and miri interpretation? Maybe keep printing an increasing index whenever the algorithm consumes another input byte? |
Okay it seems, it is just getting slower and slower. I just saw it also eats slowly all my memory, after 30 minutes it is at 7GB.
|
It is related to the stacked borrows check. |
Ah, yes, unfortunately this is a known issue: #1367 I'll close this issue then, thanks for analyzing it. |
Miri seems to hang in an endlessloop in a test case in my project:
https://github.com/PSeitz/lz4_flex
cargo miri test test_minimum_compression_ratio
The text was updated successfully, but these errors were encountered: