Zbigniew Jędrzejewski-Szmek f1004d
From 4807d2d068ae9fc08b87121fc0a574394f8acc5b Mon Sep 17 00:00:00 2001
Zbigniew Jędrzejewski-Szmek f1004d
From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= <zbyszek@in.waw.pl>
Zbigniew Jędrzejewski-Szmek f1004d
Date: Sat, 4 Oct 2014 22:57:43 -0400
Zbigniew Jędrzejewski-Szmek f1004d
Subject: [PATCH] sd-event: be more careful when enabling/disabling signals
Zbigniew Jędrzejewski-Szmek f1004d
Zbigniew Jędrzejewski-Szmek f1004d
When a child event is disabled (in order to be freed) and there is no
Zbigniew Jędrzejewski-Szmek f1004d
SIGCHLD signal event, sd_event_source_set_enabled will disable SIGCHLD
Zbigniew Jędrzejewski-Szmek f1004d
even if there are other child events.
Zbigniew Jędrzejewski-Szmek f1004d
Zbigniew Jędrzejewski-Szmek f1004d
Also remove some unneeded signalfd updates.
Zbigniew Jędrzejewski-Szmek f1004d
Zbigniew Jędrzejewski-Szmek f1004d
https://bugs.freedesktop.org/show_bug.cgi?id=84659
Zbigniew Jędrzejewski-Szmek f1004d
Zbigniew Jędrzejewski-Szmek f1004d
Based-on-a-patch-by: Hristo Venev <mustrumr97@gmail.com>
Zbigniew Jędrzejewski-Szmek f1004d
---
Zbigniew Jędrzejewski-Szmek f1004d
 src/libsystemd/sd-event/sd-event.c | 86 ++++++++++++++++++++++++++++----------
Zbigniew Jędrzejewski-Szmek f1004d
 1 file changed, 63 insertions(+), 23 deletions(-)
Zbigniew Jędrzejewski-Szmek f1004d
Zbigniew Jędrzejewski-Szmek f1004d
diff --git a/src/libsystemd/sd-event/sd-event.c b/src/libsystemd/sd-event/sd-event.c
Zbigniew Jędrzejewski-Szmek f1004d
index 4c67ee87e1..c5f062b3e0 100644
Zbigniew Jędrzejewski-Szmek f1004d
--- a/src/libsystemd/sd-event/sd-event.c
Zbigniew Jędrzejewski-Szmek f1004d
+++ b/src/libsystemd/sd-event/sd-event.c
Zbigniew Jędrzejewski-Szmek f1004d
@@ -590,6 +590,14 @@ static struct clock_data* event_get_clock_data(sd_event *e, EventSourceType t) {
Zbigniew Jędrzejewski-Szmek f1004d
         }
Zbigniew Jędrzejewski-Szmek f1004d
 }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
+static bool need_signal(sd_event *e, int signal) {
Zbigniew Jędrzejewski-Szmek f1004d
+        return (e->signal_sources && e->signal_sources[signal] &&
Zbigniew Jędrzejewski-Szmek f1004d
+                e->signal_sources[signal]->enabled != SD_EVENT_OFF)
Zbigniew Jędrzejewski-Szmek f1004d
+                ||
Zbigniew Jędrzejewski-Szmek f1004d
+               (signal == SIGCHLD &&
Zbigniew Jędrzejewski-Szmek f1004d
+                e->n_enabled_child_sources > 0);
Zbigniew Jędrzejewski-Szmek f1004d
+}
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
 static void source_disconnect(sd_event_source *s) {
Zbigniew Jędrzejewski-Szmek f1004d
         sd_event *event;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
@@ -626,11 +634,13 @@ static void source_disconnect(sd_event_source *s) {
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
         case SOURCE_SIGNAL:
Zbigniew Jędrzejewski-Szmek f1004d
                 if (s->signal.sig > 0) {
Zbigniew Jędrzejewski-Szmek f1004d
-                        if (s->signal.sig != SIGCHLD || s->event->n_enabled_child_sources == 0)
Zbigniew Jędrzejewski-Szmek f1004d
-                                assert_se(sigdelset(&s->event->sigset, s->signal.sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
-
Zbigniew Jędrzejewski-Szmek f1004d
                         if (s->event->signal_sources)
Zbigniew Jędrzejewski-Szmek f1004d
                                 s->event->signal_sources[s->signal.sig] = NULL;
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                        /* If the signal was on and now it is off... */
Zbigniew Jędrzejewski-Szmek f1004d
+                        if (s->enabled != SD_EVENT_OFF && !need_signal(s->event, s->signal.sig)) {
Zbigniew Jędrzejewski-Szmek f1004d
+                                assert_se(sigdelset(&s->event->sigset, s->signal.sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
+                        }
Zbigniew Jędrzejewski-Szmek f1004d
                 }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                 break;
Zbigniew Jędrzejewski-Szmek f1004d
@@ -640,10 +650,12 @@ static void source_disconnect(sd_event_source *s) {
Zbigniew Jędrzejewski-Szmek f1004d
                         if (s->enabled != SD_EVENT_OFF) {
Zbigniew Jędrzejewski-Szmek f1004d
                                 assert(s->event->n_enabled_child_sources > 0);
Zbigniew Jędrzejewski-Szmek f1004d
                                 s->event->n_enabled_child_sources--;
Zbigniew Jędrzejewski-Szmek f1004d
-                        }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
-                        if (!s->event->signal_sources || !s->event->signal_sources[SIGCHLD])
Zbigniew Jędrzejewski-Szmek f1004d
-                                assert_se(sigdelset(&s->event->sigset, SIGCHLD) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
+                                /* We know the signal was on, if it is off now... */
Zbigniew Jędrzejewski-Szmek f1004d
+                                if (!need_signal(s->event, SIGCHLD)) {
Zbigniew Jędrzejewski-Szmek f1004d
+                                        assert_se(sigdelset(&s->event->sigset, SIGCHLD) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
+                                }
Zbigniew Jędrzejewski-Szmek f1004d
+                        }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                         hashmap_remove(s->event->child_sources, INT_TO_PTR(s->child.pid));
Zbigniew Jędrzejewski-Szmek f1004d
                 }
Zbigniew Jędrzejewski-Szmek f1004d
@@ -963,6 +975,7 @@ _public_ int sd_event_add_signal(
Zbigniew Jędrzejewski-Szmek f1004d
         sd_event_source *s;
Zbigniew Jędrzejewski-Szmek f1004d
         sigset_t ss;
Zbigniew Jędrzejewski-Szmek f1004d
         int r;
Zbigniew Jędrzejewski-Szmek f1004d
+        bool previous;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
         assert_return(e, -EINVAL);
Zbigniew Jędrzejewski-Szmek f1004d
         assert_return(sig > 0, -EINVAL);
Zbigniew Jędrzejewski-Szmek f1004d
@@ -987,6 +1000,8 @@ _public_ int sd_event_add_signal(
Zbigniew Jędrzejewski-Szmek f1004d
         } else if (e->signal_sources[sig])
Zbigniew Jędrzejewski-Szmek f1004d
                 return -EBUSY;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
+        previous = need_signal(e, sig);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
         s = source_new(e, !ret, SOURCE_SIGNAL);
Zbigniew Jędrzejewski-Szmek f1004d
         if (!s)
Zbigniew Jędrzejewski-Szmek f1004d
                 return -ENOMEM;
Zbigniew Jędrzejewski-Szmek f1004d
@@ -997,9 +1012,10 @@ _public_ int sd_event_add_signal(
Zbigniew Jędrzejewski-Szmek f1004d
         s->enabled = SD_EVENT_ON;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
         e->signal_sources[sig] = s;
Zbigniew Jędrzejewski-Szmek f1004d
-        assert_se(sigaddset(&e->sigset, sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
-        if (sig != SIGCHLD || e->n_enabled_child_sources == 0) {
Zbigniew Jędrzejewski-Szmek f1004d
+        if (!previous) {
Zbigniew Jędrzejewski-Szmek f1004d
+                assert_se(sigaddset(&e->sigset, sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
                 r = event_update_signal_fd(e);
Zbigniew Jędrzejewski-Szmek f1004d
                 if (r < 0) {
Zbigniew Jędrzejewski-Szmek f1004d
                         source_free(s);
Zbigniew Jędrzejewski-Szmek f1004d
@@ -1023,6 +1039,7 @@ _public_ int sd_event_add_child(
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
         sd_event_source *s;
Zbigniew Jędrzejewski-Szmek f1004d
         int r;
Zbigniew Jędrzejewski-Szmek f1004d
+        bool previous;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
         assert_return(e, -EINVAL);
Zbigniew Jędrzejewski-Szmek f1004d
         assert_return(pid > 1, -EINVAL);
Zbigniew Jędrzejewski-Szmek f1004d
@@ -1039,6 +1056,8 @@ _public_ int sd_event_add_child(
Zbigniew Jędrzejewski-Szmek f1004d
         if (hashmap_contains(e->child_sources, INT_TO_PTR(pid)))
Zbigniew Jędrzejewski-Szmek f1004d
                 return -EBUSY;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
+        previous = need_signal(e, SIGCHLD);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
         s = source_new(e, !ret, SOURCE_CHILD);
Zbigniew Jędrzejewski-Szmek f1004d
         if (!s)
Zbigniew Jędrzejewski-Szmek f1004d
                 return -ENOMEM;
Zbigniew Jędrzejewski-Szmek f1004d
@@ -1057,9 +1076,9 @@ _public_ int sd_event_add_child(
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
         e->n_enabled_child_sources ++;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
-        assert_se(sigaddset(&e->sigset, SIGCHLD) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
+        if (!previous) {
Zbigniew Jędrzejewski-Szmek f1004d
+                assert_se(sigaddset(&e->sigset, SIGCHLD) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
-        if (!e->signal_sources || !e->signal_sources[SIGCHLD]) {
Zbigniew Jędrzejewski-Szmek f1004d
                 r = event_update_signal_fd(e);
Zbigniew Jędrzejewski-Szmek f1004d
                 if (r < 0) {
Zbigniew Jędrzejewski-Szmek f1004d
                         source_free(s);
Zbigniew Jędrzejewski-Szmek f1004d
@@ -1437,23 +1456,32 @@ _public_ int sd_event_source_set_enabled(sd_event_source *s, int m) {
Zbigniew Jędrzejewski-Szmek f1004d
                 }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                 case SOURCE_SIGNAL:
Zbigniew Jędrzejewski-Szmek f1004d
+                        assert(need_signal(s->event, s->signal.sig));
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
                         s->enabled = m;
Zbigniew Jędrzejewski-Szmek f1004d
-                        if (s->signal.sig != SIGCHLD || s->event->n_enabled_child_sources == 0) {
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                        if (!need_signal(s->event, s->signal.sig)) {
Zbigniew Jędrzejewski-Szmek f1004d
                                 assert_se(sigdelset(&s->event->sigset, s->signal.sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
-                                event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                                (void) event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+                                /* If disabling failed, we might get a spurious event,
Zbigniew Jędrzejewski-Szmek f1004d
+                                 * but otherwise nothing bad should happen. */
Zbigniew Jędrzejewski-Szmek f1004d
                         }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                         break;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                 case SOURCE_CHILD:
Zbigniew Jędrzejewski-Szmek f1004d
+                        assert(need_signal(s->event, SIGCHLD));
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
                         s->enabled = m;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                         assert(s->event->n_enabled_child_sources > 0);
Zbigniew Jędrzejewski-Szmek f1004d
                         s->event->n_enabled_child_sources--;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
-                        if (!s->event->signal_sources || !s->event->signal_sources[SIGCHLD]) {
Zbigniew Jędrzejewski-Szmek f1004d
+                        if (!need_signal(s->event, SIGCHLD)) {
Zbigniew Jędrzejewski-Szmek f1004d
                                 assert_se(sigdelset(&s->event->sigset, SIGCHLD) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
-                                event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                                (void) event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
                         }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                         break;
Zbigniew Jędrzejewski-Szmek f1004d
@@ -1501,22 +1529,34 @@ _public_ int sd_event_source_set_enabled(sd_event_source *s, int m) {
Zbigniew Jędrzejewski-Szmek f1004d
                 }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                 case SOURCE_SIGNAL:
Zbigniew Jędrzejewski-Szmek f1004d
-                        s->enabled = m;
Zbigniew Jędrzejewski-Szmek f1004d
-
Zbigniew Jędrzejewski-Szmek f1004d
-                        if (s->signal.sig != SIGCHLD || s->event->n_enabled_child_sources == 0)  {
Zbigniew Jędrzejewski-Szmek f1004d
+                        /* Check status before enabling. */
Zbigniew Jędrzejewski-Szmek f1004d
+                        if (!need_signal(s->event, s->signal.sig)) {
Zbigniew Jędrzejewski-Szmek f1004d
                                 assert_se(sigaddset(&s->event->sigset, s->signal.sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
-                                event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                                r = event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+                                if (r < 0) {
Zbigniew Jędrzejewski-Szmek f1004d
+                                        s->enabled = SD_EVENT_OFF;
Zbigniew Jędrzejewski-Szmek f1004d
+                                        return r;
Zbigniew Jędrzejewski-Szmek f1004d
+                                }
Zbigniew Jędrzejewski-Szmek f1004d
                         }
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                        s->enabled = m;
Zbigniew Jędrzejewski-Szmek f1004d
                         break;
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                 case SOURCE_CHILD:
Zbigniew Jędrzejewski-Szmek f1004d
+                        /* Check status before enabling. */
Zbigniew Jędrzejewski-Szmek f1004d
                         if (s->enabled == SD_EVENT_OFF) {
Zbigniew Jędrzejewski-Szmek f1004d
-                                s->event->n_enabled_child_sources++;
Zbigniew Jędrzejewski-Szmek f1004d
-
Zbigniew Jędrzejewski-Szmek f1004d
-                                if (!s->event->signal_sources || !s->event->signal_sources[SIGCHLD]) {
Zbigniew Jędrzejewski-Szmek f1004d
-                                        assert_se(sigaddset(&s->event->sigset, SIGCHLD) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
-                                        event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+                                if (!need_signal(s->event, SIGCHLD)) {
Zbigniew Jędrzejewski-Szmek f1004d
+                                        assert_se(sigaddset(&s->event->sigset, s->signal.sig) == 0);
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                                        r = event_update_signal_fd(s->event);
Zbigniew Jędrzejewski-Szmek f1004d
+                                        if (r < 0) {
Zbigniew Jędrzejewski-Szmek f1004d
+                                                s->enabled = SD_EVENT_OFF;
Zbigniew Jędrzejewski-Szmek f1004d
+                                                return r;
Zbigniew Jędrzejewski-Szmek f1004d
+                                        }
Zbigniew Jędrzejewski-Szmek f1004d
                                 }
Zbigniew Jędrzejewski-Szmek f1004d
+
Zbigniew Jędrzejewski-Szmek f1004d
+                                s->event->n_enabled_child_sources++;
Zbigniew Jędrzejewski-Szmek f1004d
                         }
Zbigniew Jędrzejewski-Szmek f1004d
 
Zbigniew Jędrzejewski-Szmek f1004d
                         s->enabled = m;