Re: [creduce-dev] parallel tuning

[Eric Eide <eeide@cs.utah.edu>]

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.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX