Hi! Christopher Baines skribis: > This isn't meant to change the way errors are handled, and arguably makes the > code harder to read, but it's a uninformed attempt to improve the > performance (following on from a performance regression in > 205833b72c5517915a47a50dbe28e7024dc74e57). > > I'm guessing something about Guile internals makes calling (loop ...) within > the catch bit less performant than avoiding this and calling (loop ...) after > the catch bit has finished. Since this happens lots, this seems to be > sufficient to make guix weather a lot slower than it was before. As Maxime wrote, the problem is that we were making non-tail calls, thereby consuming stack space as well as accumulating exception handlers. As discussed earlier, ‘raise-exception’ exhibits quadratic behavior in the number of exception handlers, which is okay in normal situations, but not so much when there are thousands of handlers, as is the case when asking for many substitutes. > Anecdotal testing of guix weather suggests this change might work. Don’t leave this last sentence in the actual commit. :-) Please mention . > * guix/http-client.scm (http-multiple-get): Tweak how the second catch > statement works. > --- > guix/http-client.scm | 77 +++++++++++++++++++++++++------------------- > 1 file changed, 43 insertions(+), 34 deletions(-) > > diff --git a/guix/http-client.scm b/guix/http-client.scm > index 4b4c14ed0b..adbfbc0d6e 100644 > --- a/guix/http-client.scm > +++ b/guix/http-client.scm > @@ -219,42 +219,51 @@ returning." > (remainder > (connect p remainder result)))) > ((head tail ...) [...] > + (match > + (catch #t > + (lambda () > + (let* ((resp (read-response p)) > + (body (response-body-port resp)) > + (result (proc head resp body result))) > + ;; The server can choose to stop responding at any time, > + ;; in which case we have to try again. Check whether > + ;; that is the case. Note that even upon "Connection: > + ;; close", we can read from BODY. > + (match (assq 'connection (response-headers resp)) > + (('connection 'close) > + (close-port p) > + (list 'connect > + #f > (drop requests (+ 1 processed)) > result)) > - (apply throw key args)))))))))) > + (_ > + (list 'loop tail (+ 1 processed) result))))) > + (lambda (key . args) > + ;; If PORT was cached and the server closed the connection > + ;; in the meantime, we get EPIPE. In that case, open a > + ;; fresh connection and retry. We might also get > + ;; 'bad-response or a similar exception from (web response) > + ;; later on, once we've sent the request, or a > + ;; ERROR/INVALID-SESSION from GnuTLS. > + (if (or (and (eq? key 'system-error) > + (= EPIPE (system-error-errno `(,key ,@args)))) > + (and (eq? key 'gnutls-error) > + (eq? (first args) error/invalid-session)) > + (memq key > + '(bad-response > + bad-header > + bad-header-component))) > + (begin > + (close-port p) > + (list 'connect > + #f > + (drop requests processed) > + result)) > + (apply throw key args)))) > + (('connect . args) > + (apply connect args)) > + (('loop . args) > + (apply loop args))))))))) OK to write it this way as the first commit, to ease review. What about the approach below: