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

OOM when testing gimli with miri #1906

Closed
philipc opened this issue Nov 2, 2021 · 2 comments
Closed

OOM when testing gimli with miri #1906

philipc opened this issue Nov 2, 2021 · 2 comments

Comments

@philipc
Copy link

philipc commented Nov 2, 2021

When testing gimli:

$ rustc +nightly  --version
rustc 1.58.0-nightly (db062de72 2021-11-01)
$ cargo +nightly miri --version
miri 0.1.0 (9c18177 2021-10-26
$ cd gimli && cargo +nightly miri test test_advance

I get an OOM:

Nov 02 15:16:47 fedora earlyoom[782]: mem avail:    55 of 15859 MiB ( 0.35%), swap free:  575 of 8191 MiB ( 7.03%)
Nov 02 15:16:47 fedora earlyoom[782]: low memory! at or below SIGTERM limits: mem  2.52%, swap 10.00%
Nov 02 15:16:48 fedora earlyoom[782]: sending SIGTERM to process 17322 uid 1000 "miri": badness 1159, VmRSS 12042 MiB
Nov 02 15:16:48 fedora earlyoom[782]: process exited after 0.1 seconds

I'm not sure if this kind of problem is expected for some tests.

@RalfJung
Copy link
Member

RalfJung commented Nov 2, 2021

Yeah, Miri can use up tons of RAM. Cc #1367

Does MIRIFLAGS="-Zmiri-disable-stacked-borrows" help? That will of course mean Miri can no longer detect aliasing violations. You could also try figuring out which test is being run to use up all that RAM, and try reducing the iteration count or data size for that test.

@philipc
Copy link
Author

philipc commented Nov 3, 2021

MIRIFLAGS="-Zmiri-disable-stacked-borrows" does help, but instead I'll use #[cfg_attr(miri, ignore)], since I don't particularly need to run this test under miri. Thanks!

@philipc philipc closed this as completed Nov 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants