On Fri, Jun 28, 2013 at 5:25 AM, Simon King <[email protected]> wrote: > Hi! > > On 2013-06-27, Simon King <[email protected]> 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 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
