* bug#30368: ‘select’ returns non-empty sets upon EINTR or EAGAIN
@ 2018-02-06 10:39 Ludovic Courtès
2018-02-07 13:33 ` Ludovic Courtès
2018-02-16 14:33 ` Ludovic Courtès
0 siblings, 2 replies; 3+ messages in thread
From: Ludovic Courtès @ 2018-02-06 10:39 UTC (permalink / raw)
To: 30368
[-- Attachment #1: Type: text/plain, Size: 1310 bytes --]
Hello,
As of Guile 2.2.3, the Scheme-level ‘select’ can return non-empty sets
when the C-level ‘select’ returns EINTR or EAGAIN. The program below
illustrates this:
--8<---------------cut here---------------start------------->8---
(use-modules (ice-9 match))
(sigaction SIGINT (lambda args
(pk 'signal! args)))
(let ((target (getpid)))
(match (primitive-fork)
((? zero?)
(sleep 4)
(kill target SIGINT)
(primitive-exit 0))
(_ #t)))
(match (select (list (current-input-port)) '() '())
(((port) () ())
(pk 'reading-from port)
(read-char port))
(lst
(pk 'done lst)))
--8<---------------cut here---------------end--------------->8---
On 2.2.3, it prints:
--8<---------------cut here---------------start------------->8---
$ guile select.scm
;;; (signal! (2))
;;; (reading-from #<input: file /dev/pts/9>)
--8<---------------cut here---------------end--------------->8---
From there on it’s stuck in a read(0, …) call.
The attached patch fixes it by clearing the returned FD sets on
EINTR/EAGAIN.
(Besides it seems that select(2) never returns EAGAIN.)
I’m not sure how to write a test for this; the one above is
timing-sensitive, which wouldn’t be great.
Thoughts?
Ludo’.
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: Type: text/x-patch, Size: 1467 bytes --]
diff --git a/libguile/filesys.c b/libguile/filesys.c
index e39dc4a0d..05dd2bd16 100644
--- a/libguile/filesys.c
+++ b/libguile/filesys.c
@@ -1,5 +1,5 @@
/* Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2004, 2006,
- * 2009, 2010, 2011, 2012, 2013, 2014, 2016, 2017 Free Software Foundation, Inc.
+ * 2009, 2010, 2011, 2012, 2013, 2014, 2016, 2017, 2018 Free Software Foundation, Inc.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
@@ -900,10 +900,20 @@ SCM_DEFINE (scm_select, "select", 3, 2, 0,
int rv = scm_std_select (max_fd + 1,
&read_set, &write_set, &except_set,
time_ptr);
- /* Let EINTR / EAGAIN cause a return to the user and let them loop
- to run any asyncs that might be pending. */
- if (rv < 0 && errno != EINTR && errno != EAGAIN)
- SCM_SYSERROR;
+ if (rv < 0)
+ {
+ /* Let EINTR / EAGAIN cause a return to the user and let them
+ loop to run any asyncs that might be pending. */
+ if (errno != EINTR && errno != EAGAIN)
+ SCM_SYSERROR;
+ else
+ {
+ /* Return empty sets. */
+ FD_ZERO (&read_set);
+ FD_ZERO (&write_set);
+ FD_ZERO (&except_set);
+ }
+ }
}
return scm_list_3 (retrieve_select_type (&read_set, read_ports_ready, reads),
^ permalink raw reply related [flat|nested] 3+ messages in thread
* bug#30368: ‘select’ returns non-empty sets upon EINTR or EAGAIN
2018-02-06 10:39 bug#30368: ‘select’ returns non-empty sets upon EINTR or EAGAIN Ludovic Courtès
@ 2018-02-07 13:33 ` Ludovic Courtès
2018-02-16 14:33 ` Ludovic Courtès
1 sibling, 0 replies; 3+ messages in thread
From: Ludovic Courtès @ 2018-02-07 13:33 UTC (permalink / raw)
To: 30368
ludo@gnu.org (Ludovic Courtès) skribis:
> On 2.2.3, it prints:
>
> $ guile select.scm
>
>
> ;;; (signal! (2))
> ;;; (reading-from #<input: file /dev/pts/9>)
>
>>From there on it’s stuck in a read(0, …) call.
>
> The attached patch fixes it by clearing the returned FD sets on
> EINTR/EAGAIN.
There’s a case where we can get a “fake” EINTR that doesn’t come from
the underlying select(2) call: when the ‘scm_i_prepare_to_wait_on_fd’
call in ‘scm_std_select’ returns 1, which happens when new asyncs have
been queued.
Ludo’.
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#30368: ‘select’ returns non-empty sets upon EINTR or EAGAIN
2018-02-06 10:39 bug#30368: ‘select’ returns non-empty sets upon EINTR or EAGAIN Ludovic Courtès
2018-02-07 13:33 ` Ludovic Courtès
@ 2018-02-16 14:33 ` Ludovic Courtès
1 sibling, 0 replies; 3+ messages in thread
From: Ludovic Courtès @ 2018-02-16 14:33 UTC (permalink / raw)
To: 30368-done
ludo@gnu.org (Ludovic Courtès) skribis:
> The attached patch fixes it by clearing the returned FD sets on
> EINTR/EAGAIN.
Pushed as f390afa0cc84eb84ed2cb3e03f542b991d4bb080.
Ludo’.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-02-16 14:33 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-02-06 10:39 bug#30368: ‘select’ returns non-empty sets upon EINTR or EAGAIN Ludovic Courtès
2018-02-07 13:33 ` Ludovic Courtès
2018-02-16 14:33 ` Ludovic Courtès
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).