On 2015.11.17 at 18:49 +0300, Konstantin Tokarev wrote: > > > 17.11.2015, 18:47, "Eric Eide" <ee...@cs.utah.edu>: > > John Regehr <reg...@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. > > FWIW, someone running such monster probably > a) knows what he is doing > b) can have other tasks running on some cores in parallel
Yes. I run creduce on a 2x10x8 ppc64le machine often and I definitely don't want to use 160 tests in parallel... -- Markus