1 /*-*- Mode: C; c-basic-offset: 8 -*-*/
4 This file is part of systemd.
6 Copyright 2010 Lennart Poettering
8 systemd is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 systemd is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with systemd; If not, see <http://www.gnu.org/licenses/>.
25 #include <sys/epoll.h>
27 #include <sys/signalfd.h>
31 #include <sys/reboot.h>
32 #include <sys/ioctl.h>
36 #include <sys/types.h>
50 #include "ratelimit.h"
52 #include "mount-setup.h"
53 #include "unit-name.h"
54 #include "dbus-unit.h"
57 #include "path-lookup.h"
59 #include "bus-errors.h"
61 /* As soon as 16 units are in our GC queue, make sure to run a gc sweep */
62 #define GC_QUEUE_ENTRIES_MAX 16
64 /* As soon as 5s passed since a unit was added to our GC queue, make sure to run a gc sweep */
65 #define GC_QUEUE_USEC_MAX (10*USEC_PER_SEC)
67 /* Where clients shall send notification messages to */
68 #define NOTIFY_SOCKET "/org/freedesktop/systemd1/notify"
70 static int manager_setup_notify(Manager
*m
) {
73 struct sockaddr_un un
;
75 struct epoll_event ev
;
80 m
->notify_watch
.type
= WATCH_NOTIFY
;
81 if ((m
->notify_watch
.fd
= socket(AF_UNIX
, SOCK_DGRAM
|SOCK_CLOEXEC
|SOCK_NONBLOCK
, 0)) < 0) {
82 log_error("Failed to allocate notification socket: %m");
87 sa
.sa
.sa_family
= AF_UNIX
;
90 snprintf(sa
.un
.sun_path
+1, sizeof(sa
.un
.sun_path
)-1, NOTIFY_SOCKET
"/%llu", random_ull());
92 strncpy(sa
.un
.sun_path
+1, NOTIFY_SOCKET
, sizeof(sa
.un
.sun_path
)-1);
94 if (bind(m
->notify_watch
.fd
, &sa
.sa
, sizeof(sa_family_t
) + 1 + strlen(sa
.un
.sun_path
+1)) < 0) {
95 log_error("bind() failed: %m");
99 if (setsockopt(m
->notify_watch
.fd
, SOL_SOCKET
, SO_PASSCRED
, &one
, sizeof(one
)) < 0) {
100 log_error("SO_PASSCRED failed: %m");
106 ev
.data
.ptr
= &m
->notify_watch
;
108 if (epoll_ctl(m
->epoll_fd
, EPOLL_CTL_ADD
, m
->notify_watch
.fd
, &ev
) < 0)
111 if (!(m
->notify_socket
= strdup(sa
.un
.sun_path
+1)))
117 static int enable_special_signals(Manager
*m
) {
122 /* Enable that we get SIGINT on control-alt-del */
123 if (reboot(RB_DISABLE_CAD
) < 0)
124 log_warning("Failed to enable ctrl-alt-del handling: %m");
126 if ((fd
= open_terminal("/dev/tty0", O_RDWR
|O_NOCTTY
)) < 0)
127 log_warning("Failed to open /dev/tty0: %m");
129 /* Enable that we get SIGWINCH on kbrequest */
130 if (ioctl(fd
, KDSIGACCEPT
, SIGWINCH
) < 0)
131 log_warning("Failed to enable kbrequest handling: %s", strerror(errno
));
133 close_nointr_nofail(fd
);
139 static int manager_setup_signals(Manager
*m
) {
141 struct epoll_event ev
;
146 /* We are not interested in SIGSTOP and friends. */
148 sa
.sa_handler
= SIG_DFL
;
149 sa
.sa_flags
= SA_NOCLDSTOP
|SA_RESTART
;
150 assert_se(sigaction(SIGCHLD
, &sa
, NULL
) == 0);
152 assert_se(sigemptyset(&mask
) == 0);
154 sigset_add_many(&mask
,
155 SIGCHLD
, /* Child died */
156 SIGTERM
, /* Reexecute daemon */
157 SIGHUP
, /* Reload configuration */
158 SIGUSR1
, /* systemd/upstart: reconnect to D-Bus */
159 SIGUSR2
, /* systemd: dump status */
160 SIGINT
, /* Kernel sends us this on control-alt-del */
161 SIGWINCH
, /* Kernel sends us this on kbrequest (alt-arrowup) */
162 SIGPWR
, /* Some kernel drivers and upsd send us this on power failure */
163 SIGRTMIN
+0, /* systemd: start default.target */
164 SIGRTMIN
+1, /* systemd: start rescue.target */
165 SIGRTMIN
+2, /* systemd: isolate emergency.target */
166 SIGRTMIN
+3, /* systemd: start halt.target */
167 SIGRTMIN
+4, /* systemd: start poweroff.target */
168 SIGRTMIN
+5, /* systemd: start reboot.target */
170 assert_se(sigprocmask(SIG_SETMASK
, &mask
, NULL
) == 0);
172 m
->signal_watch
.type
= WATCH_SIGNAL
;
173 if ((m
->signal_watch
.fd
= signalfd(-1, &mask
, SFD_NONBLOCK
|SFD_CLOEXEC
)) < 0)
178 ev
.data
.ptr
= &m
->signal_watch
;
180 if (epoll_ctl(m
->epoll_fd
, EPOLL_CTL_ADD
, m
->signal_watch
.fd
, &ev
) < 0)
183 if (m
->running_as
== MANAGER_SYSTEM
)
184 return enable_special_signals(m
);
189 int manager_new(ManagerRunningAs running_as
, Manager
**_m
) {
194 assert(running_as
>= 0);
195 assert(running_as
< _MANAGER_RUNNING_AS_MAX
);
197 if (!(m
= new0(Manager
, 1)))
200 dual_timestamp_get(&m
->startup_timestamp
);
202 m
->running_as
= running_as
;
203 m
->name_data_slot
= m
->subscribed_data_slot
= -1;
204 m
->exit_code
= _MANAGER_EXIT_CODE_INVALID
;
205 m
->pin_cgroupfs_fd
= -1;
211 m
->signal_watch
.fd
= m
->mount_watch
.fd
= m
->udev_watch
.fd
= m
->epoll_fd
= m
->dev_autofs_fd
= -1;
212 m
->current_job_id
= 1; /* start as id #1, so that we can leave #0 around as "null-like" value */
214 if (!(m
->environment
= strv_copy(environ
)))
217 if (!(m
->units
= hashmap_new(string_hash_func
, string_compare_func
)))
220 if (!(m
->jobs
= hashmap_new(trivial_hash_func
, trivial_compare_func
)))
223 if (!(m
->transaction_jobs
= hashmap_new(trivial_hash_func
, trivial_compare_func
)))
226 if (!(m
->watch_pids
= hashmap_new(trivial_hash_func
, trivial_compare_func
)))
229 if (!(m
->cgroup_bondings
= hashmap_new(string_hash_func
, string_compare_func
)))
232 if (!(m
->watch_bus
= hashmap_new(string_hash_func
, string_compare_func
)))
235 if ((m
->epoll_fd
= epoll_create1(EPOLL_CLOEXEC
)) < 0)
238 if ((r
= lookup_paths_init(&m
->lookup_paths
, m
->running_as
)) < 0)
241 if ((r
= manager_setup_signals(m
)) < 0)
244 if ((r
= manager_setup_cgroup(m
)) < 0)
247 if ((r
= manager_setup_notify(m
)) < 0)
250 /* Try to connect to the busses, if possible. */
251 if ((r
= bus_init(m
)) < 0)
255 if ((m
->audit_fd
= audit_open()) < 0)
256 log_error("Failed to connect to audit log: %m");
267 static unsigned manager_dispatch_cleanup_queue(Manager
*m
) {
273 while ((meta
= m
->cleanup_queue
)) {
274 assert(meta
->in_cleanup_queue
);
276 unit_free((Unit
*) meta
);
284 GC_OFFSET_IN_PATH
, /* This one is on the path we were travelling */
285 GC_OFFSET_UNSURE
, /* No clue */
286 GC_OFFSET_GOOD
, /* We still need this unit */
287 GC_OFFSET_BAD
, /* We don't need this unit anymore */
291 static void unit_gc_sweep(Unit
*u
, unsigned gc_marker
) {
298 if (u
->meta
.gc_marker
== gc_marker
+ GC_OFFSET_GOOD
||
299 u
->meta
.gc_marker
== gc_marker
+ GC_OFFSET_BAD
||
300 u
->meta
.gc_marker
== gc_marker
+ GC_OFFSET_IN_PATH
)
303 if (u
->meta
.in_cleanup_queue
)
306 if (unit_check_gc(u
))
309 u
->meta
.gc_marker
= gc_marker
+ GC_OFFSET_IN_PATH
;
313 SET_FOREACH(other
, u
->meta
.dependencies
[UNIT_REFERENCED_BY
], i
) {
314 unit_gc_sweep(other
, gc_marker
);
316 if (other
->meta
.gc_marker
== gc_marker
+ GC_OFFSET_GOOD
)
319 if (other
->meta
.gc_marker
!= gc_marker
+ GC_OFFSET_BAD
)
326 /* We were unable to find anything out about this entry, so
327 * let's investigate it later */
328 u
->meta
.gc_marker
= gc_marker
+ GC_OFFSET_UNSURE
;
329 unit_add_to_gc_queue(u
);
333 /* We definitely know that this one is not useful anymore, so
334 * let's mark it for deletion */
335 u
->meta
.gc_marker
= gc_marker
+ GC_OFFSET_BAD
;
336 unit_add_to_cleanup_queue(u
);
340 u
->meta
.gc_marker
= gc_marker
+ GC_OFFSET_GOOD
;
343 static unsigned manager_dispatch_gc_queue(Manager
*m
) {
350 if ((m
->n_in_gc_queue
< GC_QUEUE_ENTRIES_MAX
) &&
351 (m
->gc_queue_timestamp
<= 0 ||
352 (m
->gc_queue_timestamp
+ GC_QUEUE_USEC_MAX
) > now(CLOCK_MONOTONIC
)))
355 log_debug("Running GC...");
357 m
->gc_marker
+= _GC_OFFSET_MAX
;
358 if (m
->gc_marker
+ _GC_OFFSET_MAX
<= _GC_OFFSET_MAX
)
361 gc_marker
= m
->gc_marker
;
363 while ((meta
= m
->gc_queue
)) {
364 assert(meta
->in_gc_queue
);
366 unit_gc_sweep((Unit
*) meta
, gc_marker
);
368 LIST_REMOVE(Meta
, gc_queue
, m
->gc_queue
, meta
);
369 meta
->in_gc_queue
= false;
373 if (meta
->gc_marker
== gc_marker
+ GC_OFFSET_BAD
||
374 meta
->gc_marker
== gc_marker
+ GC_OFFSET_UNSURE
) {
375 log_debug("Collecting %s", meta
->id
);
376 meta
->gc_marker
= gc_marker
+ GC_OFFSET_BAD
;
377 unit_add_to_cleanup_queue((Unit
*) meta
);
381 m
->n_in_gc_queue
= 0;
382 m
->gc_queue_timestamp
= 0;
387 static void manager_clear_jobs_and_units(Manager
*m
) {
393 while ((j
= hashmap_first(m
->transaction_jobs
)))
396 while ((u
= hashmap_first(m
->units
)))
399 manager_dispatch_cleanup_queue(m
);
401 assert(!m
->load_queue
);
402 assert(!m
->run_queue
);
403 assert(!m
->dbus_unit_queue
);
404 assert(!m
->dbus_job_queue
);
405 assert(!m
->cleanup_queue
);
406 assert(!m
->gc_queue
);
408 assert(hashmap_isempty(m
->transaction_jobs
));
409 assert(hashmap_isempty(m
->jobs
));
410 assert(hashmap_isempty(m
->units
));
413 void manager_free(Manager
*m
) {
418 manager_clear_jobs_and_units(m
);
420 for (c
= 0; c
< _UNIT_TYPE_MAX
; c
++)
421 if (unit_vtable
[c
]->shutdown
)
422 unit_vtable
[c
]->shutdown(m
);
424 /* If we reexecute ourselves, we keep the root cgroup
426 manager_shutdown_cgroup(m
, m
->exit_code
!= MANAGER_REEXECUTE
);
430 hashmap_free(m
->units
);
431 hashmap_free(m
->jobs
);
432 hashmap_free(m
->transaction_jobs
);
433 hashmap_free(m
->watch_pids
);
434 hashmap_free(m
->watch_bus
);
436 if (m
->epoll_fd
>= 0)
437 close_nointr_nofail(m
->epoll_fd
);
438 if (m
->signal_watch
.fd
>= 0)
439 close_nointr_nofail(m
->signal_watch
.fd
);
440 if (m
->notify_watch
.fd
>= 0)
441 close_nointr_nofail(m
->notify_watch
.fd
);
444 if (m
->audit_fd
>= 0)
445 audit_close(m
->audit_fd
);
448 free(m
->notify_socket
);
450 lookup_paths_free(&m
->lookup_paths
);
451 strv_free(m
->environment
);
453 hashmap_free(m
->cgroup_bondings
);
454 set_free_free(m
->unit_path_cache
);
459 int manager_enumerate(Manager
*m
) {
465 /* Let's ask every type to load all units from disk/kernel
466 * that it might know */
467 for (c
= 0; c
< _UNIT_TYPE_MAX
; c
++)
468 if (unit_vtable
[c
]->enumerate
)
469 if ((q
= unit_vtable
[c
]->enumerate(m
)) < 0)
472 manager_dispatch_load_queue(m
);
476 int manager_coldplug(Manager
*m
) {
484 /* Then, let's set up their initial state. */
485 HASHMAP_FOREACH_KEY(u
, k
, m
->units
, i
) {
491 if ((q
= unit_coldplug(u
)) < 0)
498 static void manager_build_unit_path_cache(Manager
*m
) {
505 set_free_free(m
->unit_path_cache
);
507 if (!(m
->unit_path_cache
= set_new(string_hash_func
, string_compare_func
))) {
508 log_error("Failed to allocate unit path cache.");
512 /* This simply builds a list of files we know exist, so that
513 * we don't always have to go to disk */
515 STRV_FOREACH(i
, m
->lookup_paths
.unit_path
) {
518 if (!(d
= opendir(*i
))) {
519 log_error("Failed to open directory: %m");
523 while ((de
= readdir(d
))) {
526 if (ignore_file(de
->d_name
))
529 if (asprintf(&p
, "%s/%s", streq(*i
, "/") ? "" : *i
, de
->d_name
) < 0) {
534 if ((r
= set_put(m
->unit_path_cache
, p
)) < 0) {
547 log_error("Failed to build unit path cache: %s", strerror(-r
));
549 set_free_free(m
->unit_path_cache
);
550 m
->unit_path_cache
= NULL
;
556 int manager_startup(Manager
*m
, FILE *serialization
, FDSet
*fds
) {
561 manager_build_unit_path_cache(m
);
563 /* If we will deserialize make sure that during enumeration
564 * this is already known, so we increase the counter here
567 m
->n_deserializing
++;
569 /* First, enumerate what we can from all config files */
570 r
= manager_enumerate(m
);
572 /* Second, deserialize if there is something to deserialize */
574 if ((q
= manager_deserialize(m
, serialization
, fds
)) < 0)
577 /* Third, fire things up! */
578 if ((q
= manager_coldplug(m
)) < 0)
582 assert(m
->n_deserializing
> 0);
583 m
->n_deserializing
--;
589 static void transaction_delete_job(Manager
*m
, Job
*j
, bool delete_dependencies
) {
593 /* Deletes one job from the transaction */
595 manager_transaction_unlink_job(m
, j
, delete_dependencies
);
601 static void transaction_delete_unit(Manager
*m
, Unit
*u
) {
604 /* Deletes all jobs associated with a certain unit from the
607 while ((j
= hashmap_get(m
->transaction_jobs
, u
)))
608 transaction_delete_job(m
, j
, true);
611 static void transaction_clean_dependencies(Manager
*m
) {
617 /* Drops all dependencies of all installed jobs */
619 HASHMAP_FOREACH(j
, m
->jobs
, i
) {
620 while (j
->subject_list
)
621 job_dependency_free(j
->subject_list
);
622 while (j
->object_list
)
623 job_dependency_free(j
->object_list
);
626 assert(!m
->transaction_anchor
);
629 static void transaction_abort(Manager
*m
) {
634 while ((j
= hashmap_first(m
->transaction_jobs
)))
636 transaction_delete_job(m
, j
, true);
640 assert(hashmap_isempty(m
->transaction_jobs
));
642 transaction_clean_dependencies(m
);
645 static void transaction_find_jobs_that_matter_to_anchor(Manager
*m
, Job
*j
, unsigned generation
) {
650 /* A recursive sweep through the graph that marks all units
651 * that matter to the anchor job, i.e. are directly or
652 * indirectly a dependency of the anchor job via paths that
653 * are fully marked as mattering. */
658 l
= m
->transaction_anchor
;
660 LIST_FOREACH(subject
, l
, l
) {
662 /* This link does not matter */
666 /* This unit has already been marked */
667 if (l
->object
->generation
== generation
)
670 l
->object
->matters_to_anchor
= true;
671 l
->object
->generation
= generation
;
673 transaction_find_jobs_that_matter_to_anchor(m
, l
->object
, generation
);
677 static void transaction_merge_and_delete_job(Manager
*m
, Job
*j
, Job
*other
, JobType t
) {
678 JobDependency
*l
, *last
;
682 assert(j
->unit
== other
->unit
);
683 assert(!j
->installed
);
685 /* Merges 'other' into 'j' and then deletes j. */
688 j
->state
= JOB_WAITING
;
689 j
->override
= j
->override
|| other
->override
;
691 j
->matters_to_anchor
= j
->matters_to_anchor
|| other
->matters_to_anchor
;
693 /* Patch us in as new owner of the JobDependency objects */
695 LIST_FOREACH(subject
, l
, other
->subject_list
) {
696 assert(l
->subject
== other
);
701 /* Merge both lists */
703 last
->subject_next
= j
->subject_list
;
705 j
->subject_list
->subject_prev
= last
;
706 j
->subject_list
= other
->subject_list
;
709 /* Patch us in as new owner of the JobDependency objects */
711 LIST_FOREACH(object
, l
, other
->object_list
) {
712 assert(l
->object
== other
);
717 /* Merge both lists */
719 last
->object_next
= j
->object_list
;
721 j
->object_list
->object_prev
= last
;
722 j
->object_list
= other
->object_list
;
725 /* Kill the other job */
726 other
->subject_list
= NULL
;
727 other
->object_list
= NULL
;
728 transaction_delete_job(m
, other
, true);
730 static bool job_is_conflicted_by(Job
*j
) {
735 /* Returns true if this job is pulled in by a least one
736 * ConflictedBy dependency. */
738 LIST_FOREACH(object
, l
, j
->object_list
)
745 static int delete_one_unmergeable_job(Manager
*m
, Job
*j
) {
750 /* Tries to delete one item in the linked list
751 * j->transaction_next->transaction_next->... that conflicts
752 * whith another one, in an attempt to make an inconsistent
753 * transaction work. */
755 /* We rely here on the fact that if a merged with b does not
756 * merge with c, either a or b merge with c neither */
757 LIST_FOREACH(transaction
, j
, j
)
758 LIST_FOREACH(transaction
, k
, j
->transaction_next
) {
761 /* Is this one mergeable? Then skip it */
762 if (job_type_is_mergeable(j
->type
, k
->type
))
765 /* Ok, we found two that conflict, let's see if we can
766 * drop one of them */
767 if (!j
->matters_to_anchor
&& !k
->matters_to_anchor
) {
769 /* Both jobs don't matter, so let's
770 * find the one that is smarter to
771 * remove. Let's think positive and
772 * rather remove stops then starts --
773 * except if something is being
774 * stopped because it is conflicted by
775 * another unit in which case we
776 * rather remove the start. */
778 log_debug("Looking at job %s/%s conflicted_by=%s", j
->unit
->meta
.id
, job_type_to_string(j
->type
), yes_no(j
->type
== JOB_STOP
&& job_is_conflicted_by(j
)));
779 log_debug("Looking at job %s/%s conflicted_by=%s", k
->unit
->meta
.id
, job_type_to_string(k
->type
), yes_no(k
->type
== JOB_STOP
&& job_is_conflicted_by(k
)));
781 if (j
->type
== JOB_STOP
) {
783 if (job_is_conflicted_by(j
))
788 } else if (k
->type
== JOB_STOP
) {
790 if (job_is_conflicted_by(k
))
797 } else if (!j
->matters_to_anchor
)
799 else if (!k
->matters_to_anchor
)
804 /* Ok, we can drop one, so let's do so. */
805 log_debug("Fixing conflicting jobs by deleting job %s/%s", d
->unit
->meta
.id
, job_type_to_string(d
->type
));
806 transaction_delete_job(m
, d
, true);
813 static int transaction_merge_jobs(Manager
*m
, DBusError
*e
) {
820 /* First step, check whether any of the jobs for one specific
821 * task conflict. If so, try to drop one of them. */
822 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
827 LIST_FOREACH(transaction
, k
, j
->transaction_next
) {
828 if (job_type_merge(&t
, k
->type
) >= 0)
831 /* OK, we could not merge all jobs for this
832 * action. Let's see if we can get rid of one
835 if ((r
= delete_one_unmergeable_job(m
, j
)) >= 0)
836 /* Ok, we managed to drop one, now
837 * let's ask our callers to call us
838 * again after garbage collecting */
841 /* We couldn't merge anything. Failure */
842 dbus_set_error(e
, BUS_ERROR_TRANSACTION_JOBS_CONFLICTING
, "Transaction contains conflicting jobs '%s' and '%s' for %s. Probably contradicting requirement dependencies configured.",
843 job_type_to_string(t
), job_type_to_string(k
->type
), k
->unit
->meta
.id
);
848 /* Second step, merge the jobs. */
849 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
853 /* Merge all transactions */
854 LIST_FOREACH(transaction
, k
, j
->transaction_next
)
855 assert_se(job_type_merge(&t
, k
->type
) == 0);
857 /* If an active job is mergeable, merge it too */
858 if (j
->unit
->meta
.job
)
859 job_type_merge(&t
, j
->unit
->meta
.job
->type
); /* Might fail. Which is OK */
861 while ((k
= j
->transaction_next
)) {
863 transaction_merge_and_delete_job(m
, k
, j
, t
);
866 transaction_merge_and_delete_job(m
, j
, k
, t
);
869 assert(!j
->transaction_next
);
870 assert(!j
->transaction_prev
);
876 static void transaction_drop_redundant(Manager
*m
) {
881 /* Goes through the transaction and removes all jobs that are
890 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
891 bool changes_something
= false;
894 LIST_FOREACH(transaction
, k
, j
) {
896 if (!job_is_anchor(k
) &&
897 job_type_is_redundant(k
->type
, unit_active_state(k
->unit
)))
900 changes_something
= true;
904 if (changes_something
)
907 log_debug("Found redundant job %s/%s, dropping.", j
->unit
->meta
.id
, job_type_to_string(j
->type
));
908 transaction_delete_job(m
, j
, false);
916 static bool unit_matters_to_anchor(Unit
*u
, Job
*j
) {
918 assert(!j
->transaction_prev
);
920 /* Checks whether at least one of the jobs for this unit
921 * matters to the anchor. */
923 LIST_FOREACH(transaction
, j
, j
)
924 if (j
->matters_to_anchor
)
930 static int transaction_verify_order_one(Manager
*m
, Job
*j
, Job
*from
, unsigned generation
, DBusError
*e
) {
937 assert(!j
->transaction_prev
);
939 /* Does a recursive sweep through the ordering graph, looking
940 * for a cycle. If we find cycle we try to break it. */
942 /* Have we seen this before? */
943 if (j
->generation
== generation
) {
946 /* If the marker is NULL we have been here already and
947 * decided the job was loop-free from here. Hence
948 * shortcut things and return right-away. */
952 /* So, the marker is not NULL and we already have been
953 * here. We have a cycle. Let's try to break it. We go
954 * backwards in our path and try to find a suitable
955 * job to remove. We use the marker to find our way
956 * back, since smart how we are we stored our way back
958 log_warning("Found ordering cycle on %s/%s", j
->unit
->meta
.id
, job_type_to_string(j
->type
));
961 for (k
= from
; k
; k
= ((k
->generation
== generation
&& k
->marker
!= k
) ? k
->marker
: NULL
)) {
963 log_info("Walked on cycle path to %s/%s", k
->unit
->meta
.id
, job_type_to_string(k
->type
));
967 !unit_matters_to_anchor(k
->unit
, k
)) {
968 /* Ok, we can drop this one, so let's
973 /* Check if this in fact was the beginning of
981 log_warning("Breaking ordering cycle by deleting job %s/%s", k
->unit
->meta
.id
, job_type_to_string(k
->type
));
982 transaction_delete_unit(m
, delete->unit
);
986 log_error("Unable to break cycle");
988 dbus_set_error(e
, BUS_ERROR_TRANSACTION_ORDER_IS_CYCLIC
, "Transaction order is cyclic. See logs for details.");
992 /* Make the marker point to where we come from, so that we can
993 * find our way backwards if we want to break a cycle. We use
994 * a special marker for the beginning: we point to
996 j
->marker
= from
? from
: j
;
997 j
->generation
= generation
;
999 /* We assume that the the dependencies are bidirectional, and
1000 * hence can ignore UNIT_AFTER */
1001 SET_FOREACH(u
, j
->unit
->meta
.dependencies
[UNIT_BEFORE
], i
) {
1004 /* Is there a job for this unit? */
1005 if (!(o
= hashmap_get(m
->transaction_jobs
, u
)))
1007 /* Ok, there is no job for this in the
1008 * transaction, but maybe there is already one
1010 if (!(o
= u
->meta
.job
))
1013 if ((r
= transaction_verify_order_one(m
, o
, j
, generation
, e
)) < 0)
1017 /* Ok, let's backtrack, and remember that this entry is not on
1018 * our path anymore. */
1024 static int transaction_verify_order(Manager
*m
, unsigned *generation
, DBusError
*e
) {
1033 /* Check if the ordering graph is cyclic. If it is, try to fix
1034 * that up by dropping one of the jobs. */
1036 g
= (*generation
)++;
1038 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
)
1039 if ((r
= transaction_verify_order_one(m
, j
, NULL
, g
, e
)) < 0)
1045 static void transaction_collect_garbage(Manager
*m
) {
1050 /* Drop jobs that are not required by any other job */
1058 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
1062 log_debug("Garbage collecting job %s/%s", j
->unit
->meta
.id
, job_type_to_string(j
->type
));
1063 transaction_delete_job(m
, j
, true);
1071 static int transaction_is_destructive(Manager
*m
, DBusError
*e
) {
1077 /* Checks whether applying this transaction means that
1078 * existing jobs would be replaced */
1080 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
1083 assert(!j
->transaction_prev
);
1084 assert(!j
->transaction_next
);
1086 if (j
->unit
->meta
.job
&&
1087 j
->unit
->meta
.job
!= j
&&
1088 !job_type_is_superset(j
->type
, j
->unit
->meta
.job
->type
)) {
1090 dbus_set_error(e
, BUS_ERROR_TRANSACTION_IS_DESTRUCTIVE
, "Transaction is destructive.");
1098 static void transaction_minimize_impact(Manager
*m
) {
1102 /* Drops all unnecessary jobs that reverse already active jobs
1103 * or that stop a running service. */
1111 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
1112 LIST_FOREACH(transaction
, j
, j
) {
1113 bool stops_running_service
, changes_existing_job
;
1115 /* If it matters, we shouldn't drop it */
1116 if (j
->matters_to_anchor
)
1119 /* Would this stop a running service?
1120 * Would this change an existing job?
1121 * If so, let's drop this entry */
1123 stops_running_service
=
1124 j
->type
== JOB_STOP
&& UNIT_IS_ACTIVE_OR_ACTIVATING(unit_active_state(j
->unit
));
1126 changes_existing_job
=
1127 j
->unit
->meta
.job
&& job_type_is_conflicting(j
->type
, j
->unit
->meta
.job
->type
);
1129 if (!stops_running_service
&& !changes_existing_job
)
1132 if (stops_running_service
)
1133 log_info("%s/%s would stop a running service.", j
->unit
->meta
.id
, job_type_to_string(j
->type
));
1135 if (changes_existing_job
)
1136 log_info("%s/%s would change existing job.", j
->unit
->meta
.id
, job_type_to_string(j
->type
));
1138 /* Ok, let's get rid of this */
1139 log_info("Deleting %s/%s to minimize impact.", j
->unit
->meta
.id
, job_type_to_string(j
->type
));
1141 transaction_delete_job(m
, j
, true);
1153 static int transaction_apply(Manager
*m
) {
1158 /* Moves the transaction jobs to the set of active jobs */
1160 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
1162 assert(!j
->transaction_prev
);
1163 assert(!j
->transaction_next
);
1168 if ((r
= hashmap_put(m
->jobs
, UINT32_TO_PTR(j
->id
), j
)) < 0)
1172 while ((j
= hashmap_steal_first(m
->transaction_jobs
))) {
1176 if (j
->unit
->meta
.job
)
1177 job_free(j
->unit
->meta
.job
);
1179 j
->unit
->meta
.job
= j
;
1180 j
->installed
= true;
1182 /* We're fully installed. Now let's free data we don't
1185 assert(!j
->transaction_next
);
1186 assert(!j
->transaction_prev
);
1188 job_add_to_run_queue(j
);
1189 job_add_to_dbus_queue(j
);
1193 /* As last step, kill all remaining job dependencies. */
1194 transaction_clean_dependencies(m
);
1200 HASHMAP_FOREACH(j
, m
->transaction_jobs
, i
) {
1204 hashmap_remove(m
->jobs
, UINT32_TO_PTR(j
->id
));
1210 static int transaction_activate(Manager
*m
, JobMode mode
, DBusError
*e
) {
1212 unsigned generation
= 1;
1216 /* This applies the changes recorded in transaction_jobs to
1217 * the actual list of jobs, if possible. */
1219 /* First step: figure out which jobs matter */
1220 transaction_find_jobs_that_matter_to_anchor(m
, NULL
, generation
++);
1222 /* Second step: Try not to stop any running services if
1223 * we don't have to. Don't try to reverse running
1224 * jobs if we don't have to. */
1225 transaction_minimize_impact(m
);
1227 /* Third step: Drop redundant jobs */
1228 transaction_drop_redundant(m
);
1231 /* Fourth step: Let's remove unneeded jobs that might
1233 transaction_collect_garbage(m
);
1235 /* Fifth step: verify order makes sense and correct
1236 * cycles if necessary and possible */
1237 if ((r
= transaction_verify_order(m
, &generation
, e
)) >= 0)
1241 log_warning("Requested transaction contains an unfixable cyclic ordering dependency: %s", bus_error(e
, r
));
1245 /* Let's see if the resulting transaction ordering
1246 * graph is still cyclic... */
1250 /* Sixth step: let's drop unmergeable entries if
1251 * necessary and possible, merge entries we can
1253 if ((r
= transaction_merge_jobs(m
, e
)) >= 0)
1257 log_warning("Requested transaction contains unmergable jobs: %s", bus_error(e
, r
));
1261 /* Seventh step: an entry got dropped, let's garbage
1262 * collect its dependencies. */
1263 transaction_collect_garbage(m
);
1265 /* Let's see if the resulting transaction still has
1266 * unmergeable entries ... */
1269 /* Eights step: Drop redundant jobs again, if the merging now allows us to drop more. */
1270 transaction_drop_redundant(m
);
1272 /* Ninth step: check whether we can actually apply this */
1273 if (mode
== JOB_FAIL
)
1274 if ((r
= transaction_is_destructive(m
, e
)) < 0) {
1275 log_notice("Requested transaction contradicts existing jobs: %s", bus_error(e
, r
));
1279 /* Tenth step: apply changes */
1280 if ((r
= transaction_apply(m
)) < 0) {
1281 log_warning("Failed to apply transaction: %s", strerror(-r
));
1285 assert(hashmap_isempty(m
->transaction_jobs
));
1286 assert(!m
->transaction_anchor
);
1291 transaction_abort(m
);
1295 static Job
* transaction_add_one_job(Manager
*m
, JobType type
, Unit
*unit
, bool override
, bool *is_new
) {
1301 /* Looks for an axisting prospective job and returns that. If
1302 * it doesn't exist it is created and added to the prospective
1305 f
= hashmap_get(m
->transaction_jobs
, unit
);
1307 LIST_FOREACH(transaction
, j
, f
) {
1308 assert(j
->unit
== unit
);
1310 if (j
->type
== type
) {
1317 if (unit
->meta
.job
&& unit
->meta
.job
->type
== type
)
1319 else if (!(j
= job_new(m
, type
, unit
)))
1324 j
->matters_to_anchor
= false;
1325 j
->override
= override
;
1327 LIST_PREPEND(Job
, transaction
, f
, j
);
1329 if (hashmap_replace(m
->transaction_jobs
, unit
, f
) < 0) {
1337 log_debug("Added job %s/%s to transaction.", unit
->meta
.id
, job_type_to_string(type
));
1342 void manager_transaction_unlink_job(Manager
*m
, Job
*j
, bool delete_dependencies
) {
1346 if (j
->transaction_prev
)
1347 j
->transaction_prev
->transaction_next
= j
->transaction_next
;
1348 else if (j
->transaction_next
)
1349 hashmap_replace(m
->transaction_jobs
, j
->unit
, j
->transaction_next
);
1351 hashmap_remove_value(m
->transaction_jobs
, j
->unit
, j
);
1353 if (j
->transaction_next
)
1354 j
->transaction_next
->transaction_prev
= j
->transaction_prev
;
1356 j
->transaction_prev
= j
->transaction_next
= NULL
;
1358 while (j
->subject_list
)
1359 job_dependency_free(j
->subject_list
);
1361 while (j
->object_list
) {
1362 Job
*other
= j
->object_list
->matters
? j
->object_list
->subject
: NULL
;
1364 job_dependency_free(j
->object_list
);
1366 if (other
&& delete_dependencies
) {
1367 log_debug("Deleting job %s/%s as dependency of job %s/%s",
1368 other
->unit
->meta
.id
, job_type_to_string(other
->type
),
1369 j
->unit
->meta
.id
, job_type_to_string(j
->type
));
1370 transaction_delete_job(m
, other
, delete_dependencies
);
1375 static int transaction_add_job_and_dependencies(
1392 assert(type
< _JOB_TYPE_MAX
);
1395 if (unit
->meta
.load_state
!= UNIT_LOADED
&& unit
->meta
.load_state
!= UNIT_FAILED
) {
1396 dbus_set_error(e
, BUS_ERROR_LOAD_FAILED
, "Unit %s is not loaded properly.", unit
->meta
.id
);
1400 if (type
!= JOB_STOP
&& unit
->meta
.load_state
== UNIT_FAILED
) {
1401 dbus_set_error(e
, BUS_ERROR_LOAD_FAILED
, "Unit %s failed to load: %s. You might find more information in the logs.",
1403 strerror(-unit
->meta
.load_error
));
1407 if (!unit_job_is_applicable(unit
, type
)) {
1408 dbus_set_error(e
, BUS_ERROR_JOB_TYPE_NOT_APPLICABLE
, "Job type %s is not applicable for unit %s.", job_type_to_string(type
), unit
->meta
.id
);
1412 /* First add the job. */
1413 if (!(ret
= transaction_add_one_job(m
, type
, unit
, override
, &is_new
)))
1416 /* Then, add a link to the job. */
1417 if (!job_dependency_new(by
, ret
, matters
, conflicts
))
1421 /* Finally, recursively add in all dependencies. */
1422 if (type
== JOB_START
|| type
== JOB_RELOAD_OR_START
) {
1423 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_REQUIRES
], i
)
1424 if ((r
= transaction_add_job_and_dependencies(m
, JOB_START
, dep
, ret
, true, override
, false, e
, NULL
)) < 0 && r
!= -EBADR
)
1427 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_REQUIRES_OVERRIDABLE
], i
)
1428 if ((r
= transaction_add_job_and_dependencies(m
, JOB_START
, dep
, ret
, !override
, override
, false, e
, NULL
)) < 0 && r
!= -EBADR
) {
1429 log_warning("Cannot add dependency job for unit %s, ignoring: %s", dep
->meta
.id
, bus_error(e
, r
));
1433 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_WANTS
], i
)
1434 if ((r
= transaction_add_job_and_dependencies(m
, JOB_START
, dep
, ret
, false, false, false, e
, NULL
)) < 0) {
1435 log_warning("Cannot add dependency job for unit %s, ignoring: %s", dep
->meta
.id
, bus_error(e
, r
));
1439 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_REQUISITE
], i
)
1440 if ((r
= transaction_add_job_and_dependencies(m
, JOB_VERIFY_ACTIVE
, dep
, ret
, true, override
, false, e
, NULL
)) < 0 && r
!= -EBADR
)
1443 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_REQUISITE_OVERRIDABLE
], i
)
1444 if ((r
= transaction_add_job_and_dependencies(m
, JOB_VERIFY_ACTIVE
, dep
, ret
, !override
, override
, false, e
, NULL
)) < 0 && r
!= -EBADR
) {
1445 log_warning("Cannot add dependency job for unit %s, ignoring: %s", dep
->meta
.id
, bus_error(e
, r
));
1449 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_CONFLICTS
], i
)
1450 if ((r
= transaction_add_job_and_dependencies(m
, JOB_STOP
, dep
, ret
, true, override
, true, e
, NULL
)) < 0 && r
!= -EBADR
)
1453 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_CONFLICTED_BY
], i
)
1454 if ((r
= transaction_add_job_and_dependencies(m
, JOB_STOP
, dep
, ret
, true, override
, false, e
, NULL
)) < 0 && r
!= -EBADR
)
1457 } else if (type
== JOB_STOP
|| type
== JOB_RESTART
|| type
== JOB_TRY_RESTART
) {
1459 SET_FOREACH(dep
, ret
->unit
->meta
.dependencies
[UNIT_REQUIRED_BY
], i
)
1460 if ((r
= transaction_add_job_and_dependencies(m
, type
, dep
, ret
, true, override
, false, e
, NULL
)) < 0 && r
!= -EBADR
)
1464 /* JOB_VERIFY_STARTED, JOB_RELOAD require no dependency handling */
1476 static int transaction_add_isolate_jobs(Manager
*m
) {
1484 HASHMAP_FOREACH_KEY(u
, k
, m
->units
, i
) {
1486 /* ignore aliases */
1487 if (u
->meta
.id
!= k
)
1490 if (UNIT_VTABLE(u
)->no_isolate
)
1493 /* No need to stop inactive jobs */
1494 if (UNIT_IS_INACTIVE_OR_MAINTENANCE(unit_active_state(u
)))
1497 /* Is there already something listed for this? */
1498 if (hashmap_get(m
->transaction_jobs
, u
))
1501 if ((r
= transaction_add_job_and_dependencies(m
, JOB_STOP
, u
, NULL
, true, false, false, NULL
, NULL
)) < 0)
1502 log_warning("Cannot add isolate job for unit %s, ignoring: %s", u
->meta
.id
, strerror(-r
));
1508 int manager_add_job(Manager
*m
, JobType type
, Unit
*unit
, JobMode mode
, bool override
, DBusError
*e
, Job
**_ret
) {
1513 assert(type
< _JOB_TYPE_MAX
);
1515 assert(mode
< _JOB_MODE_MAX
);
1517 if (mode
== JOB_ISOLATE
&& type
!= JOB_START
) {
1518 dbus_set_error(e
, BUS_ERROR_INVALID_JOB_MODE
, "Isolate is only valid for start.");
1522 log_debug("Trying to enqueue job %s/%s", unit
->meta
.id
, job_type_to_string(type
));
1524 if ((r
= transaction_add_job_and_dependencies(m
, type
, unit
, NULL
, true, override
, false, e
, &ret
)) < 0) {
1525 transaction_abort(m
);
1529 if (mode
== JOB_ISOLATE
)
1530 if ((r
= transaction_add_isolate_jobs(m
)) < 0) {
1531 transaction_abort(m
);
1535 if ((r
= transaction_activate(m
, mode
, e
)) < 0)
1538 log_debug("Enqueued job %s/%s as %u", unit
->meta
.id
, job_type_to_string(type
), (unsigned) ret
->id
);
1546 int manager_add_job_by_name(Manager
*m
, JobType type
, const char *name
, JobMode mode
, bool override
, DBusError
*e
, Job
**_ret
) {
1551 assert(type
< _JOB_TYPE_MAX
);
1553 assert(mode
< _JOB_MODE_MAX
);
1555 if ((r
= manager_load_unit(m
, name
, NULL
, NULL
, &unit
)) < 0)
1558 return manager_add_job(m
, type
, unit
, mode
, override
, e
, _ret
);
1561 Job
*manager_get_job(Manager
*m
, uint32_t id
) {
1564 return hashmap_get(m
->jobs
, UINT32_TO_PTR(id
));
1567 Unit
*manager_get_unit(Manager
*m
, const char *name
) {
1571 return hashmap_get(m
->units
, name
);
1574 unsigned manager_dispatch_load_queue(Manager
*m
) {
1580 /* Make sure we are not run recursively */
1581 if (m
->dispatching_load_queue
)
1584 m
->dispatching_load_queue
= true;
1586 /* Dispatches the load queue. Takes a unit from the queue and
1587 * tries to load its data until the queue is empty */
1589 while ((meta
= m
->load_queue
)) {
1590 assert(meta
->in_load_queue
);
1592 unit_load((Unit
*) meta
);
1596 m
->dispatching_load_queue
= false;
1600 int manager_load_unit_prepare(Manager
*m
, const char *name
, const char *path
, DBusError
*e
, Unit
**_ret
) {
1605 assert(name
|| path
);
1607 /* This will prepare the unit for loading, but not actually
1608 * load anything from disk. */
1610 if (path
&& !is_path(path
)) {
1611 dbus_set_error(e
, BUS_ERROR_INVALID_PATH
, "Path %s is not absolute.", path
);
1616 name
= file_name_from_path(path
);
1618 if (!unit_name_is_valid(name
)) {
1619 dbus_set_error(e
, BUS_ERROR_INVALID_NAME
, "Unit name %s is not valid.", name
);
1623 if ((ret
= manager_get_unit(m
, name
))) {
1628 if (!(ret
= unit_new(m
)))
1632 if (!(ret
->meta
.fragment_path
= strdup(path
))) {
1637 if ((r
= unit_add_name(ret
, name
)) < 0) {
1642 unit_add_to_load_queue(ret
);
1643 unit_add_to_dbus_queue(ret
);
1644 unit_add_to_gc_queue(ret
);
1652 int manager_load_unit(Manager
*m
, const char *name
, const char *path
, DBusError
*e
, Unit
**_ret
) {
1657 /* This will load the service information files, but not actually
1658 * start any services or anything. */
1660 if ((r
= manager_load_unit_prepare(m
, name
, path
, e
, _ret
)) != 0)
1663 manager_dispatch_load_queue(m
);
1666 *_ret
= unit_follow_merge(*_ret
);
1671 void manager_dump_jobs(Manager
*s
, FILE *f
, const char *prefix
) {
1678 HASHMAP_FOREACH(j
, s
->jobs
, i
)
1679 job_dump(j
, f
, prefix
);
1682 void manager_dump_units(Manager
*s
, FILE *f
, const char *prefix
) {
1690 HASHMAP_FOREACH_KEY(u
, t
, s
->units
, i
)
1691 if (u
->meta
.id
== t
)
1692 unit_dump(u
, f
, prefix
);
1695 void manager_clear_jobs(Manager
*m
) {
1700 transaction_abort(m
);
1702 while ((j
= hashmap_first(m
->jobs
)))
1706 unsigned manager_dispatch_run_queue(Manager
*m
) {
1710 if (m
->dispatching_run_queue
)
1713 m
->dispatching_run_queue
= true;
1715 while ((j
= m
->run_queue
)) {
1716 assert(j
->installed
);
1717 assert(j
->in_run_queue
);
1719 job_run_and_invalidate(j
);
1723 m
->dispatching_run_queue
= false;
1727 unsigned manager_dispatch_dbus_queue(Manager
*m
) {
1734 if (m
->dispatching_dbus_queue
)
1737 m
->dispatching_dbus_queue
= true;
1739 while ((meta
= m
->dbus_unit_queue
)) {
1740 assert(meta
->in_dbus_queue
);
1742 bus_unit_send_change_signal((Unit
*) meta
);
1746 while ((j
= m
->dbus_job_queue
)) {
1747 assert(j
->in_dbus_queue
);
1749 bus_job_send_change_signal(j
);
1753 m
->dispatching_dbus_queue
= false;
1757 static int manager_process_notify_fd(Manager
*m
) {
1764 struct msghdr msghdr
;
1766 struct ucred
*ucred
;
1768 struct cmsghdr cmsghdr
;
1769 uint8_t buf
[CMSG_SPACE(sizeof(struct ucred
))];
1775 iovec
.iov_base
= buf
;
1776 iovec
.iov_len
= sizeof(buf
)-1;
1780 msghdr
.msg_iov
= &iovec
;
1781 msghdr
.msg_iovlen
= 1;
1782 msghdr
.msg_control
= &control
;
1783 msghdr
.msg_controllen
= sizeof(control
);
1785 if ((n
= recvmsg(m
->notify_watch
.fd
, &msghdr
, MSG_DONTWAIT
)) <= 0) {
1789 if (errno
== EAGAIN
)
1795 if (msghdr
.msg_controllen
< CMSG_LEN(sizeof(struct ucred
)) ||
1796 control
.cmsghdr
.cmsg_level
!= SOL_SOCKET
||
1797 control
.cmsghdr
.cmsg_type
!= SCM_CREDENTIALS
||
1798 control
.cmsghdr
.cmsg_len
!= CMSG_LEN(sizeof(struct ucred
))) {
1799 log_warning("Received notify message without credentials. Ignoring.");
1803 ucred
= (struct ucred
*) CMSG_DATA(&control
.cmsghdr
);
1805 if (!(u
= hashmap_get(m
->watch_pids
, LONG_TO_PTR(ucred
->pid
))))
1806 if (!(u
= cgroup_unit_by_pid(m
, ucred
->pid
))) {
1807 log_warning("Cannot find unit for notify message of PID %lu.", (unsigned long) ucred
->pid
);
1811 assert((size_t) n
< sizeof(buf
));
1813 if (!(tags
= strv_split(buf
, "\n\r")))
1816 log_debug("Got notification message for unit %s", u
->meta
.id
);
1818 if (UNIT_VTABLE(u
)->notify_message
)
1819 UNIT_VTABLE(u
)->notify_message(u
, ucred
->pid
, tags
);
1827 static int manager_dispatch_sigchld(Manager
*m
) {
1837 /* First we call waitd() for a PID and do not reap the
1838 * zombie. That way we can still access /proc/$PID for
1839 * it while it is a zombie. */
1840 if (waitid(P_ALL
, 0, &si
, WEXITED
|WNOHANG
|WNOWAIT
) < 0) {
1842 if (errno
== ECHILD
)
1854 if (si
.si_code
== CLD_EXITED
|| si
.si_code
== CLD_KILLED
|| si
.si_code
== CLD_DUMPED
) {
1857 get_process_name(si
.si_pid
, &name
);
1858 log_debug("Got SIGCHLD for process %lu (%s)", (unsigned long) si
.si_pid
, strna(name
));
1862 /* Let's flush any message the dying child might still
1863 * have queued for us. This ensures that the process
1864 * still exists in /proc so that we can figure out
1865 * which cgroup and hence unit it belongs to. */
1866 if ((r
= manager_process_notify_fd(m
)) < 0)
1869 /* And now figure out the unit this belongs to */
1870 if (!(u
= hashmap_get(m
->watch_pids
, LONG_TO_PTR(si
.si_pid
))))
1871 u
= cgroup_unit_by_pid(m
, si
.si_pid
);
1873 /* And now, we actually reap the zombie. */
1874 if (waitid(P_PID
, si
.si_pid
, &si
, WEXITED
) < 0) {
1881 if (si
.si_code
!= CLD_EXITED
&& si
.si_code
!= CLD_KILLED
&& si
.si_code
!= CLD_DUMPED
)
1884 log_debug("Child %lu died (code=%s, status=%i/%s)",
1885 (long unsigned) si
.si_pid
,
1886 sigchld_code_to_string(si
.si_code
),
1888 strna(si
.si_code
== CLD_EXITED
? exit_status_to_string(si
.si_status
) : signal_to_string(si
.si_status
)));
1893 log_debug("Child %lu belongs to %s", (long unsigned) si
.si_pid
, u
->meta
.id
);
1895 hashmap_remove(m
->watch_pids
, LONG_TO_PTR(si
.si_pid
));
1896 UNIT_VTABLE(u
)->sigchld_event(u
, si
.si_pid
, si
.si_code
, si
.si_status
);
1902 static int manager_start_target(Manager
*m
, const char *name
, JobMode mode
) {
1906 dbus_error_init(&error
);
1908 log_info("Activating special unit %s", name
);
1910 if ((r
= manager_add_job_by_name(m
, JOB_START
, name
, mode
, true, &error
, NULL
)) < 0)
1911 log_error("Failed to enqueue %s job: %s", name
, bus_error(&error
, r
));
1913 dbus_error_free(&error
);
1918 static int manager_process_signal_fd(Manager
*m
) {
1920 struct signalfd_siginfo sfsi
;
1921 bool sigchld
= false;
1926 if ((n
= read(m
->signal_watch
.fd
, &sfsi
, sizeof(sfsi
))) != sizeof(sfsi
)) {
1931 if (errno
== EAGAIN
)
1937 log_debug("Received SIG%s", strna(signal_to_string(sfsi
.ssi_signo
)));
1939 switch (sfsi
.ssi_signo
) {
1946 if (m
->running_as
== MANAGER_SYSTEM
) {
1947 /* This is for compatibility with the
1948 * original sysvinit */
1949 m
->exit_code
= MANAGER_REEXECUTE
;
1956 if (m
->running_as
== MANAGER_SYSTEM
) {
1957 manager_start_target(m
, SPECIAL_CTRL_ALT_DEL_TARGET
, JOB_REPLACE
);
1961 /* Run the exit target if there is one, if not, just exit. */
1962 if (manager_start_target(m
, SPECIAL_EXIT_SERVICE
, JOB_REPLACE
) < 0) {
1963 m
->exit_code
= MANAGER_EXIT
;
1970 if (m
->running_as
== MANAGER_SYSTEM
)
1971 manager_start_target(m
, SPECIAL_KBREQUEST_TARGET
, JOB_REPLACE
);
1973 /* This is a nop on non-init */
1977 if (m
->running_as
== MANAGER_SYSTEM
)
1978 manager_start_target(m
, SPECIAL_SIGPWR_TARGET
, JOB_REPLACE
);
1980 /* This is a nop on non-init */
1986 u
= manager_get_unit(m
, SPECIAL_DBUS_SERVICE
);
1988 if (!u
|| UNIT_IS_ACTIVE_OR_RELOADING(unit_active_state(u
))) {
1989 log_info("Trying to reconnect to bus...");
1993 if (!u
|| !UNIT_IS_ACTIVE_OR_ACTIVATING(unit_active_state(u
))) {
1994 log_info("Loading D-Bus service...");
1995 manager_start_target(m
, SPECIAL_DBUS_SERVICE
, JOB_REPLACE
);
2006 if (!(f
= open_memstream(&dump
, &size
))) {
2007 log_warning("Failed to allocate memory stream.");
2011 manager_dump_units(m
, f
, "\t");
2012 manager_dump_jobs(m
, f
, "\t");
2017 log_warning("Failed to write status stream");
2022 log_dump(LOG_INFO
, dump
);
2029 m
->exit_code
= MANAGER_RELOAD
;
2033 static const char * const table
[] = {
2034 [0] = SPECIAL_DEFAULT_TARGET
,
2035 [1] = SPECIAL_RESCUE_TARGET
,
2036 [2] = SPECIAL_EMERGENCY_TARGET
,
2037 [3] = SPECIAL_HALT_TARGET
,
2038 [4] = SPECIAL_POWEROFF_TARGET
,
2039 [5] = SPECIAL_REBOOT_TARGET
2042 if ((int) sfsi
.ssi_signo
>= SIGRTMIN
+0 &&
2043 (int) sfsi
.ssi_signo
< SIGRTMIN
+(int) ELEMENTSOF(table
)) {
2044 manager_start_target(m
, table
[sfsi
.ssi_signo
- SIGRTMIN
],
2045 (sfsi
.ssi_signo
== 1 || sfsi
.ssi_signo
== 2) ? JOB_ISOLATE
: JOB_REPLACE
);
2049 log_warning("Got unhandled signal <%s>.", strna(signal_to_string(sfsi
.ssi_signo
)));
2055 return manager_dispatch_sigchld(m
);
2060 static int process_event(Manager
*m
, struct epoll_event
*ev
) {
2067 assert(w
= ev
->data
.ptr
);
2073 /* An incoming signal? */
2074 if (ev
->events
!= EPOLLIN
)
2077 if ((r
= manager_process_signal_fd(m
)) < 0)
2084 /* An incoming daemon notification event? */
2085 if (ev
->events
!= EPOLLIN
)
2088 if ((r
= manager_process_notify_fd(m
)) < 0)
2095 /* Some fd event, to be dispatched to the units */
2096 UNIT_VTABLE(w
->data
.unit
)->fd_event(w
->data
.unit
, w
->fd
, ev
->events
, w
);
2099 case WATCH_UNIT_TIMER
:
2100 case WATCH_JOB_TIMER
: {
2104 /* Some timer event, to be dispatched to the units */
2105 if ((k
= read(w
->fd
, &v
, sizeof(v
))) != sizeof(v
)) {
2107 if (k
< 0 && (errno
== EINTR
|| errno
== EAGAIN
))
2110 return k
< 0 ? -errno
: -EIO
;
2113 if (w
->type
== WATCH_UNIT_TIMER
)
2114 UNIT_VTABLE(w
->data
.unit
)->timer_event(w
->data
.unit
, v
, w
);
2116 job_timer_event(w
->data
.job
, v
, w
);
2121 /* Some mount table change, intended for the mount subsystem */
2122 mount_fd_event(m
, ev
->events
);
2126 /* Some notification from udev, intended for the device subsystem */
2127 device_fd_event(m
, ev
->events
);
2130 case WATCH_DBUS_WATCH
:
2131 bus_watch_event(m
, w
, ev
->events
);
2134 case WATCH_DBUS_TIMEOUT
:
2135 bus_timeout_event(m
, w
, ev
->events
);
2139 assert_not_reached("Unknown epoll event type.");
2145 int manager_loop(Manager
*m
) {
2148 RATELIMIT_DEFINE(rl
, 1*USEC_PER_SEC
, 1000);
2151 m
->exit_code
= MANAGER_RUNNING
;
2153 /* Release the path cache */
2154 set_free_free(m
->unit_path_cache
);
2155 m
->unit_path_cache
= NULL
;
2157 /* There might still be some zombies hanging around from
2158 * before we were exec()'ed. Leat's reap them */
2159 if ((r
= manager_dispatch_sigchld(m
)) < 0)
2162 while (m
->exit_code
== MANAGER_RUNNING
) {
2163 struct epoll_event event
;
2166 if (!ratelimit_test(&rl
)) {
2167 /* Yay, something is going seriously wrong, pause a little */
2168 log_warning("Looping too fast. Throttling execution a little.");
2172 if (manager_dispatch_load_queue(m
) > 0)
2175 if (manager_dispatch_run_queue(m
) > 0)
2178 if (bus_dispatch(m
) > 0)
2181 if (manager_dispatch_cleanup_queue(m
) > 0)
2184 if (manager_dispatch_gc_queue(m
) > 0)
2187 if (manager_dispatch_dbus_queue(m
) > 0)
2190 if ((n
= epoll_wait(m
->epoll_fd
, &event
, 1, -1)) < 0) {
2200 if ((r
= process_event(m
, &event
)) < 0)
2204 return m
->exit_code
;
2207 int manager_get_unit_from_dbus_path(Manager
*m
, const char *s
, Unit
**_u
) {
2215 if (!startswith(s
, "/org/freedesktop/systemd1/unit/"))
2218 if (!(n
= bus_path_unescape(s
+31)))
2221 u
= manager_get_unit(m
, n
);
2232 int manager_get_job_from_dbus_path(Manager
*m
, const char *s
, Job
**_j
) {
2241 if (!startswith(s
, "/org/freedesktop/systemd1/job/"))
2244 if ((r
= safe_atou(s
+ 30, &id
)) < 0)
2247 if (!(j
= manager_get_job(m
, id
)))
2255 void manager_send_unit_audit(Manager
*m
, Unit
*u
, int type
, bool success
) {
2260 if (m
->audit_fd
< 0)
2263 /* Don't generate audit events if the service was already
2264 * started and we're just deserializing */
2265 if (m
->n_deserializing
> 0)
2268 if (!(p
= unit_name_to_prefix_and_instance(u
->meta
.id
))) {
2269 log_error("Failed to allocate unit name for audit message: %s", strerror(ENOMEM
));
2273 if (audit_log_user_comm_message(m
->audit_fd
, type
, "", p
, NULL
, NULL
, NULL
, success
) < 0)
2274 log_error("Failed to send audit message: %m");
2281 void manager_dispatch_bus_name_owner_changed(
2284 const char* old_owner
,
2285 const char *new_owner
) {
2292 if (!(u
= hashmap_get(m
->watch_bus
, name
)))
2295 UNIT_VTABLE(u
)->bus_name_owner_change(u
, name
, old_owner
, new_owner
);
2298 void manager_dispatch_bus_query_pid_done(
2309 if (!(u
= hashmap_get(m
->watch_bus
, name
)))
2312 UNIT_VTABLE(u
)->bus_query_pid_done(u
, name
, pid
);
2315 int manager_open_serialization(Manager
*m
, FILE **_f
) {
2323 if (m
->running_as
== MANAGER_SYSTEM
) {
2324 mkdir_p("/dev/.systemd", 0755);
2326 if (asprintf(&path
, "/dev/.systemd/dump-%lu-XXXXXX", (unsigned long) getpid()) < 0)
2329 if (asprintf(&path
, "/tmp/systemd-dump-%lu-XXXXXX", (unsigned long) getpid()) < 0)
2333 saved_umask
= umask(0077);
2334 fd
= mkostemp(path
, O_RDWR
|O_CLOEXEC
);
2344 log_debug("Serializing state to %s", path
);
2347 if (!(f
= fdopen(fd
, "w+")) < 0)
2355 int manager_serialize(Manager
*m
, FILE *f
, FDSet
*fds
) {
2365 fprintf(f
, "startup-timestamp=%llu %llu\n\n",
2366 (unsigned long long) m
->startup_timestamp
.realtime
,
2367 (unsigned long long) m
->startup_timestamp
.monotonic
);
2369 HASHMAP_FOREACH_KEY(u
, t
, m
->units
, i
) {
2370 if (u
->meta
.id
!= t
)
2373 if (!unit_can_serialize(u
))
2377 fputs(u
->meta
.id
, f
);
2380 if ((r
= unit_serialize(u
, f
, fds
)) < 0)
2390 int manager_deserialize(Manager
*m
, FILE *f
, FDSet
*fds
) {
2396 log_debug("Deserializing state...");
2398 m
->n_deserializing
++;
2401 char line
[1024], *l
;
2403 if (!fgets(line
, sizeof(line
), f
)) {
2418 if (startswith(l
, "startup-timestamp=")) {
2419 unsigned long long a
, b
;
2421 if (sscanf(l
+18, "%lli %llu", &a
, &b
) != 2)
2422 log_debug("Failed to parse startup timestamp value %s", l
+18);
2424 m
->startup_timestamp
.realtime
= a
;
2425 m
->startup_timestamp
.monotonic
= b
;
2428 log_debug("Unknown serialization item '%s'", l
);
2433 char name
[UNIT_NAME_MAX
+2];
2436 if (!fgets(name
, sizeof(name
), f
)) {
2447 if ((r
= manager_load_unit(m
, strstrip(name
), NULL
, NULL
, &u
)) < 0)
2450 if ((r
= unit_deserialize(u
, f
, fds
)) < 0)
2460 assert(m
->n_deserializing
> 0);
2461 m
->n_deserializing
--;
2466 int manager_reload(Manager
*m
) {
2473 if ((r
= manager_open_serialization(m
, &f
)) < 0)
2476 if (!(fds
= fdset_new())) {
2481 if ((r
= manager_serialize(m
, f
, fds
)) < 0)
2484 if (fseeko(f
, 0, SEEK_SET
) < 0) {
2489 /* From here on there is no way back. */
2490 manager_clear_jobs_and_units(m
);
2492 /* Find new unit paths */
2493 lookup_paths_free(&m
->lookup_paths
);
2494 if ((q
= lookup_paths_init(&m
->lookup_paths
, m
->running_as
)) < 0)
2497 m
->n_deserializing
++;
2499 /* First, enumerate what we can from all config files */
2500 if ((q
= manager_enumerate(m
)) < 0)
2503 /* Second, deserialize our stored data */
2504 if ((q
= manager_deserialize(m
, f
, fds
)) < 0)
2510 /* Third, fire things up! */
2511 if ((q
= manager_coldplug(m
)) < 0)
2514 assert(m
->n_deserializing
> 0);
2515 m
->n_deserializing
++;
2527 bool manager_is_booting_or_shutting_down(Manager
*m
) {
2532 /* Is the initial job still around? */
2533 if (manager_get_job(m
, 1))
2536 /* Is there a job for the shutdown target? */
2537 if (((u
= manager_get_unit(m
, SPECIAL_SHUTDOWN_TARGET
))))
2538 return !!u
->meta
.job
;
2543 void manager_reset_maintenance(Manager
*m
) {
2549 HASHMAP_FOREACH(u
, m
->units
, i
)
2550 unit_reset_maintenance(u
);
2553 static const char* const manager_running_as_table
[_MANAGER_RUNNING_AS_MAX
] = {
2554 [MANAGER_SYSTEM
] = "system",
2555 [MANAGER_SESSION
] = "session"
2558 DEFINE_STRING_TABLE_LOOKUP(manager_running_as
, ManagerRunningAs
);