[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] parallel tuning

I'll see what I can do. Systems don't exactly expose this stuff in a nice way.

There's this but it doesn't work on my Mac:



On 11/17/15 4:44 PM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> writes:

But also, I think it's most friendly to provide a good default for the common
case of a single-socket Core-i7, not some quad-socket monster Xeon thing.

Oh sure, I agree.

But we can do both?  If C-Reduce detects that it is running on a monster, it
can use a monsterish default.