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

Re: [creduce-dev] parallel tuning




17.11.2015, 18:47, "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.

FWIW, someone running such monster probably
a) knows what he is doing
b) can have other tasks running on some cores in parallel


-- 
Regards,
Konstantin