From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: bug#29826: nondeterministic Broken pipe Date: Tue, 02 Jan 2018 14:04:16 -0500 Message-ID: <87inckxetr.fsf@netris.org> References: <874lohdwhb.fsf@gmail.com> <87d133lqsb.fsf@netris.org> <87608uaorx.fsf@gmail.com> <87k1x32on0.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42016) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eWRs2-0002o6-9d for bug-guix@gnu.org; Tue, 02 Jan 2018 14:05:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eWRrz-0006SS-4b for bug-guix@gnu.org; Tue, 02 Jan 2018 14:05:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:52990) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eWRrz-0006SI-1H for bug-guix@gnu.org; Tue, 02 Jan 2018 14:05:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eWRry-0004rv-KX for bug-guix@gnu.org; Tue, 02 Jan 2018 14:05:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87k1x32on0.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sun, 31 Dec 2017 11:11:15 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: Alex Vong , 29826@debbugs.gnu.org Hi, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Alex Vong skribis: > >> Mark H Weaver writes: >> >>> Alex Vong writes: >>> >>>> I get the following error when running ``guix --version | head -n 1''.= I >>>> can get similar after replacing ``--version'' with ``--help''. Also, t= he >>>> error is nondeterministic. Any idea? >>> >>> Attempts to write to a pipe that has already been closed on the other >>> end results in EPIPE. From the write(2) man page: >>> >>> EPIPE fd is connected to a pipe or socket whose reading end is closed. >>> When this happens the writing process will also receive a >>> SIGPIPE signal. (Thus, the write return value is seen only if >>> the program catches, blocks or ignores this signal.) >>> >>> In this case, there's a race condition. The result depends on whether >>> "head -n 1" closes its end of the pipe before or after "guix --version" >>> is finished writing all of its output. If "head -n 1" closes the pipe >>> first, then "guix --version" will receive EPIPE while attempting to >>> write to it. >>> >>> What normally happens is that the sending process receives SIGPIPE, >>> which simply causes it to exit prematurely without ever receiving this >>> error. However, since Guix arranges to ignore SIGPIPE in >>> 'initialize-guix' in guix/ui.scm, we receive EPIPE. >>> >>> That's what's happening here. I'll need to think on how best to fix it. >>> >>> Regards, >>> Mark >> >> Nice explaination as always! I forget to mention that I reported a bug >> of similar flavour before . I agree that >> thought is needed to fix all instances of this type of bug. > > Not sure! We specifically ignore EPIPE in cases where it matters, such > as for the output of =E2=80=98guix package --search=E2=80=99, =E2=80=98gu= ix package -A=E2=80=99, etc. > In other cases, it=E2=80=99s probably an error, so it=E2=80=99s worth rep= orting. > > WDYT? I see from the comment in (guix ui) where SIGPIPE is ignored, the rationale: ;; Ignore SIGPIPE. If the daemon closes the connection, we prefer to be ;; notified via an EPIPE later. (sigaction SIGPIPE SIG_IGN) Instead of unconditionally ignoring SIGPIPE here in (initialize-guix), it might be better to ignore SIGPIPE only if we open a connection to the daemon with the intent of mutating the store, and perhaps in some other cases where we're mutating information on disk (e.g. switching generations). In those cases, we have a job to do that should ideally be completed regardless of whether anyone is still listening to our STDOUT. However, in many other cases, we don't mutate anything on disk, and our *only* job is printing information to the user, e.g. when showing version/usage information, the list of available packages, the list of generations, etc. In those cases, I think it would be better to let SIGPIPE kill us, because there is no reason to keep the 'guix' process alive if its output is going nowhere. These are also the cases where it's most useful to pipe 'guix' output into other commands. So, I think we should consider removing (sigaction SIGPIPE SIG_IGN) from (initialize-guix), and instead putting it in various other selected places. What do you think? Mark