On Mon, Aug 21, 2017 at 9:50 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Mon, Aug 21, 2017 at 3:02 PM, Luc Van Oostenryck wrote: >> >> Do you have some numbers for rc4 vs. rc5 ? >> > ============rc4 ==================== > 1166.81user 437.91system 1:14.20elapsed 2162%CPU (0avgtext+0avgdata > 238036maxresident)k > 8inputs+12776outputs (0major+128364597minor)pagefaults 0swaps > 1166.99user 436.69system 1:14.23elapsed 2160%CPU (0avgtext+0avgdata > 238100maxresident)k > 0inputs+12776outputs (0major+128364667minor)pagefaults 0swaps > > ============rc5==================== > 1175.79user 438.58system 1:14.59elapsed 2164%CPU (0avgtext+0avgdata > 238028maxresident)k > 0inputs+12768outputs (0major+128881556minor)pagefaults 0swaps > 1175.76user 439.47system 1:14.55elapsed 2166%CPU (0avgtext+0avgdata > 238024maxresident)k > 0inputs+12768outputs (0major+128881539minor)pagefaults 0swaps > 1174.53user 438.69system 1:14.54elapsed 2164%CPU (0avgtext+0avgdata > 238112maxresident)k > 0inputs+12768outputs (0major+128880926minor)pagefaults 0swaps Thanks! So that make rc5 taking 0.4 - 0.7% more time than rc4. > I really enjoy this server. The timing run is very precise. Yes, it's certainly quite useful to have very repeatable measurements. -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
