marxin / cvise

Super-parallel Python port of the C-Reduce
Other
219 stars 25 forks source link

CVise fills temp directory on Windows #144

Open jketema opened 2 months ago

jketema commented 2 months ago

I'm running into an issue where CVise fills up the temp directory on my Windows system completely and where I have to wipe it manually. It looks like CVise is not very good at immediately cleaning up the temporary directories it's creating, which leaves a lot of data behind. With some long running passes this sometimes means my disk fills up completely. The passes are long running, because I'm trying to reduce a C++ source file that is about 30MB in size.

At the moment, for example, I see a directory cvise-ClangBinarySearchPass-replace-function-def-with-decl-qw57m91m which is about 70GB in size, and contains more than 4000 subdirectories.

I happily help debug and fix the problem, but I'll need some pointers on where to start with that.

marxin commented 2 months ago

Again, thanks for the report, it's great to have somebody who runs C-Vise on Windows target which is experimental right now. I would start here: https://github.com/marxin/cvise/blob/16a34b273966e32843b3f193590198e2a769b1b0/cvise/utils/testing.py#L35-L39

where I would remove the except block and catch potential issues. The function itself should be called here: https://github.com/marxin/cvise/blob/16a34b273966e32843b3f193590198e2a769b1b0/cvise/utils/testing.py#L341-L344

Hopefully, we can make some progress.