> In the patch case, the user and system time are essentially identical. > In the context case, the difference in user time is 2 seconds out of 9.5 > minutes, 0.3%.
This was just a single test run example. > In the patch case, the real time is a bit slower. I wonder about such an interpretation. > But I believe that this is due to the time to read in the data from the file > system. I assume that I could reduce such an influence a bit if I would put (my) Linux repository into a RAM disk. > I also had a number like that, but the difference disappeared > when I reran it afterwards, which meant running that case in the same > conditions > as the others. > > In the context case, the real time is slightly slower with your patch. I guess that the small variations from such a test approach can eventually become more interesting. > So I see no compelling evidence for making the change. This can be. Should any other differences become more significant? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
