[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] creduce crash
Looks like this is the case.
My machine has 80 cores, so I'm running in 80 threads typically. But in this case I hit the memory limit, which typically doesn't happen.
The solution with meaningful assertion looks good to me.
> Hello Dmitry,
> This is a new one for us!
> It appears that C-Reduce isn't testing for the case where fork fails, and that must be what is happening for you.> We can fix this oversight but the fact remains that if you are overloading your machine to the point where a fork cannot succeed, then you should back off significantly on the level of parallelism.