On Fri, Jun 28, 2013 at 5:25 AM, Simon King <
simon...@uni-jena.de> wrote:
> Hi!
>
> On 2013-06-27, Simon King <
simon...@uni-jena.de> wrote:
>> Is there currently a problem with the patchbots on trac?
>
> According to your answers, indeed some bots went down. But now, the
> colourful blobs show up again.
>
>> At #13589, we are
>> currently struggling against a 5% regression of startup time
>
> ... and: With the new patches from #13589, the plugin now even finds a
> non-significant decrease in startup time (in particular, no regression).
Nice work.
> At this point, thank you for those who implemented the plugin.
> Otherwise, I would not have bothered to try and make it faster. We are
> talking about functions that are called about 100 times during startup,
> but hardly ever *after* Sage has started. Only the plugin showed that it
> would make sense to optimize them.
Note that Sage startup is so noisy that it's really hard to gather
good information on it. As mentioned, it does use the Mann-Whitney U
test, but it's still a pretty small sample size, but it's still a very
useful signal. IMHO, Sage's startup time is death by a thousand cuts,
1% here, 5% here, it really compounds, and people just aren't aware.
(The number of imported modules just keeps creeping up as well... but
often it's just being aware and saying "is that worth it or should it
be worked around?")
Now that we're (mostly) out of the dark ages with respect to
continuous testing, I can't wait to get out of the dark ages with our
revision control system :).
>> Talking about the plugin: Is there an easy way to use the plugin on my
>> machine, so that there'd be no need to wait for the patchbots on trac?
>
> Is there?
You can run the patchbot on a specific ticket and in plugin-only mode.
It'd be good to be able to specify a specific plugin (though many of
them compare to the base branch, so that'd be harder to do out of
context).
Even better is to run a patchbot yourself. (If you want you can set
very high priority to tickets authored by yourself.)
- Robert