Memory Usage for rebuild_std.sh

Question

Memory Usage for rebuild_std.sh

masapr opened this issue a year ago · comments

The script rebuild_std.sh runs out of memory on my machine (with almost 32GB free RAM). It works fine, when I remove MIRAI_START_FRESH=true.

I'm on commit 41b3c946163df3faf543667b64448bd2abc3357f

Herman Venter · Answer 1 · Sat Aug 12 2023 00:24:04 GMT+0800 (China Standard Time)

Is this still an issue? I don't see the problem when I run rebuild_std.sh on my much less well endowed laptop. What OS are you running on?

masapr · Answer 2 · Mon Aug 14 2023 17:23:25 GMT+0800 (China Standard Time)

I checked again: the problem only occurs on my fork, where we included more dependencies. If I run it from this repository, it actually works. Sorry, I wasn't aware that our code would have any influence on this.

masapr · Answer 3 · Tue Aug 15 2023 15:09:29 GMT+0800 (China Standard Time)

@hermanventer I had the issue on our fork. The branch rebuild_std_issue should reproduce the issue. Even though I have to admit, that ultimately I couldn't reproduce it anymore. But memory does go down significantly, so you might still want to check it out.