1 /*-*- Mode: C; c-basic-offset: 8 -*-*/
11 #include "load-fragment.h"
12 #include "load-dropin.h"
14 static const NameVTable * const name_vtable[_NAME_TYPE_MAX] = {
15 [NAME_SERVICE] = &service_vtable,
16 [NAME_TIMER] = &timer_vtable,
17 [NAME_SOCKET] = &socket_vtable,
18 [NAME_MILESTONE] = &milestone_vtable,
19 [NAME_DEVICE] = &device_vtable,
20 [NAME_MOUNT] = &mount_vtable,
21 [NAME_AUTOMOUNT] = &automount_vtable,
22 [NAME_SNAPSHOT] = &snapshot_vtable
25 #define NAME_VTABLE(n) name_vtable[(n)->meta.type]
27 NameType name_type_from_string(const char *n) {
32 for (t = 0; t < _NAME_TYPE_MAX; t++)
33 if (endswith(n, name_vtable[t]->suffix))
36 return _NAME_TYPE_INVALID;
41 "abcdefghijklmnopqrstuvwxyz" \
42 "ABCDEFGHIJKLMNOPQRSTUVWXYZ" \
45 bool name_is_valid(const char *n) {
51 if (strlen(n) >= NAME_MAX)
54 t = name_type_from_string(n);
55 if (t < 0 || t >= _NAME_TYPE_MAX)
58 if (!(e = strrchr(n, '.')))
61 for (i = n; i < e; i++)
62 if (!strchr(VALID_CHARS, *i))
68 Name *name_new(Manager *m) {
73 if (!(n = new0(Name, 1)))
76 if (!(n->meta.names = set_new(string_hash_func, string_compare_func))) {
81 /* Not much initialization happening here at this time */
83 n->meta.type = _NAME_TYPE_INVALID;
85 /* We don't link the name here, that is left for name_link() */
90 /* FIXME: Does not rollback on failure! */
91 int name_link_names(Name *n, bool replace) {
101 /* Link all names that aren't linked yet. */
103 SET_FOREACH(t, n->meta.names, state)
105 if ((r = hashmap_replace(n->meta.manager->names, t, n)) < 0)
108 if ((r = hashmap_put(n->meta.manager->names, t, n)) < 0)
115 int name_link(Name *n) {
119 assert(!set_isempty(n->meta.names));
120 assert(!n->meta.linked);
122 if ((r = name_sanitize(n)) < 0)
125 n->meta.linked = true;
127 if ((r = name_link_names(n, false)) < 0) {
131 /* Rollback the registered names */
132 SET_FOREACH(t, n->meta.names, state)
133 hashmap_remove_value(n->meta.manager->names, t, n);
135 n->meta.linked = false;
139 if (n->meta.load_state == NAME_STUB)
140 LIST_PREPEND(Meta, n->meta.manager->load_queue, &n->meta);
145 static void bidi_set_free(Name *name, Set *s) {
151 /* Frees the set and makes sure we are dropped from the
152 * inverse pointers */
154 SET_FOREACH(other, s, state) {
157 for (d = 0; d < _NAME_DEPENDENCY_MAX; d++)
158 set_remove(other->meta.dependencies[d], name);
164 void name_free(Name *name) {
170 /* Detach from next 'bigger' objects */
171 if (name->meta.linked) {
175 SET_FOREACH(t, name->meta.names, state)
176 hashmap_remove_value(name->meta.manager->names, t, name);
178 if (name->meta.load_state == NAME_STUB)
179 LIST_REMOVE(Meta, name->meta.manager->load_queue, &name->meta);
182 /* Free data and next 'smaller' objects */
184 job_free(name->meta.job);
186 for (d = 0; d < _NAME_DEPENDENCY_MAX; d++)
187 bidi_set_free(name, name->meta.dependencies[d]);
189 if (NAME_VTABLE(name)->free_hook)
190 NAME_VTABLE(name)->free_hook(name);
192 free(name->meta.description);
194 while ((t = set_steal_first(name->meta.names)))
196 set_free(name->meta.names);
201 NameActiveState name_active_state(Name *name) {
204 if (name->meta.load_state != NAME_LOADED)
205 return NAME_INACTIVE;
207 return NAME_VTABLE(name)->active_state(name);
210 static int ensure_in_set(Set **s, void *data) {
217 if (!(*s = set_new(trivial_hash_func, trivial_compare_func)))
220 if ((r = set_put(*s, data)) < 0)
227 static int ensure_merge(Set **s, Set *other) {
233 return set_merge(*s, other);
235 if (!(*s = set_copy(other)))
241 /* FIXME: Does not rollback on failure! */
242 int name_merge(Name *name, Name *other) {
248 assert(name->meta.manager == other->meta.manager);
250 /* This merges 'other' into 'name'. FIXME: This does not
251 * rollback on failure. */
253 if (name->meta.type != other->meta.type)
256 if (other->meta.load_state != NAME_STUB)
260 if ((r = ensure_merge(&name->meta.names, other->meta.names)) < 0)
263 /* Merge dependencies */
264 for (d = 0; d < _NAME_DEPENDENCY_MAX; d++)
265 if ((r = ensure_merge(&name->meta.dependencies[d], other->meta.dependencies[d])) < 0)
268 /* Hookup new deps and names */
269 if (name->meta.linked) {
270 if ((r = name_sanitize(name)) < 0)
273 if ((r = name_link_names(name, true)) < 0)
280 /* FIXME: Does not rollback on failure! */
281 static int augment(Name *n) {
288 /* Adds in the missing links to make all dependencies
291 SET_FOREACH(other, n->meta.dependencies[NAME_BEFORE], state)
292 if ((r = ensure_in_set(&other->meta.dependencies[NAME_AFTER], n)) < 0)
294 SET_FOREACH(other, n->meta.dependencies[NAME_AFTER], state)
295 if ((r = ensure_in_set(&other->meta.dependencies[NAME_BEFORE], n)) < 0)
298 SET_FOREACH(other, n->meta.dependencies[NAME_CONFLICTS], state)
299 if ((r = ensure_in_set(&other->meta.dependencies[NAME_CONFLICTS], n)) < 0)
302 SET_FOREACH(other, n->meta.dependencies[NAME_REQUIRES], state)
303 if ((r = ensure_in_set(&other->meta.dependencies[NAME_REQUIRED_BY], n)) < 0)
305 SET_FOREACH(other, n->meta.dependencies[NAME_REQUISITE], state)
306 if ((r = ensure_in_set(&other->meta.dependencies[NAME_REQUIRED_BY], n)) < 0)
309 SET_FOREACH(other, n->meta.dependencies[NAME_SOFT_REQUIRES], state)
310 if ((r = ensure_in_set(&other->meta.dependencies[NAME_SOFT_REQUIRED_BY], n)) < 0)
313 SET_FOREACH(other, n->meta.dependencies[NAME_WANTS], state)
314 if ((r = ensure_in_set(&other->meta.dependencies[NAME_WANTED_BY], n)) < 0)
320 int name_sanitize(Name *n) {
326 for (d = 0; d < _NAME_DEPENDENCY_MAX; d++)
327 set_remove(n->meta.dependencies[d], n);
332 const char* name_id(Name *n) {
335 return set_first(n->meta.names);
338 const char *name_description(Name *n) {
341 if (n->meta.description)
342 return n->meta.description;
347 void name_dump(Name *n, FILE *f, const char *prefix) {
349 static const char* const load_state_table[_NAME_LOAD_STATE_MAX] = {
350 [NAME_STUB] = "stub",
351 [NAME_LOADED] = "loaded",
352 [NAME_FAILED] = "failed"
355 static const char* const active_state_table[_NAME_ACTIVE_STATE_MAX] = {
356 [NAME_ACTIVE] = "active",
357 [NAME_INACTIVE] = "inactive",
358 [NAME_ACTIVATING] = "activating",
359 [NAME_DEACTIVATING] = "deactivating"
362 static const char* const dependency_table[_NAME_DEPENDENCY_MAX] = {
363 [NAME_REQUIRES] = "Requires",
364 [NAME_SOFT_REQUIRES] = "SoftRequires",
365 [NAME_WANTS] = "Wants",
366 [NAME_REQUISITE] = "Requisite",
367 [NAME_SOFT_REQUISITE] = "SoftRequisite",
368 [NAME_REQUIRED_BY] = "RequiredBy",
369 [NAME_SOFT_REQUIRED_BY] = "SoftRequiredBy",
370 [NAME_CONFLICTS] = "Conflicts",
371 [NAME_BEFORE] = "Before",
372 [NAME_AFTER] = "After",
386 "%s\tDescription: %s\n"
387 "%s\tName Load State: %s\n"
388 "%s\tName Active State: %s\n",
390 prefix, name_description(n),
391 prefix, load_state_table[n->meta.load_state],
392 prefix, active_state_table[name_active_state(n)]);
394 SET_FOREACH(t, n->meta.names, state)
395 fprintf(f, "%s\tName: %s\n", prefix, t);
397 for (d = 0; d < _NAME_DEPENDENCY_MAX; d++) {
401 if (set_isempty(n->meta.dependencies[d]))
404 SET_FOREACH(other, n->meta.dependencies[d], state)
405 fprintf(f, "%s\t%s: %s\n", prefix, dependency_table[d], name_id(other));
408 if (NAME_VTABLE(n)->dump)
409 NAME_VTABLE(n)->dump(n, f, prefix);
414 if (asprintf(&p, "%s\t", prefix) >= 0)
419 job_dump(n->meta.job, f, prefix);
424 static int verify_type(Name *name) {
430 /* Checks that all aliases of this name have the same and valid type */
432 SET_FOREACH(n, name->meta.names, state) {
435 if ((t = name_type_from_string(n)) == _NAME_TYPE_INVALID)
438 if (name->meta.type == _NAME_TYPE_INVALID) {
443 if (name->meta.type != t)
447 if (name->meta.type == _NAME_TYPE_INVALID)
453 /* Common implementation for multiple backends */
454 int name_load_fragment_and_dropin(Name *n) {
459 /* Load a .socket file */
460 if ((r = name_load_fragment(n)) < 0)
463 /* Load drop-in directory data */
464 if ((r = name_load_dropin(n)) < 0)
470 int name_load(Name *name) {
475 if (name->meta.load_state != NAME_STUB)
478 if ((r = verify_type(name)) < 0)
481 if (NAME_VTABLE(name)->load)
482 if ((r = NAME_VTABLE(name)->load(name)) < 0)
485 if ((r = name_sanitize(name)) < 0)
488 if ((r = name_link_names(name, false)) < 0)
491 name->meta.load_state = NAME_LOADED;
495 name->meta.load_state = NAME_FAILED;
500 * -EBADR: This name type does not support starting.
501 * -EALREADY: Name is already started.
502 * -EAGAIN: An operation is already in progress. Retry later.
504 int name_start(Name *n) {
505 NameActiveState state;
509 if (!NAME_VTABLE(n)->start)
512 state = name_active_state(n);
513 if (NAME_IS_ACTIVE_OR_RELOADING(state))
516 if (state == NAME_ACTIVATING)
519 return NAME_VTABLE(n)->start(n);
522 bool name_type_can_start(NameType t) {
523 assert(t >= 0 && t < _NAME_TYPE_MAX);
525 return !!name_vtable[t]->start;
529 * -EBADR: This name type does not support stopping.
530 * -EALREADY: Name is already stopped.
531 * -EAGAIN: An operation is already in progress. Retry later.
533 int name_stop(Name *n) {
534 NameActiveState state;
538 if (!NAME_VTABLE(n)->stop)
541 state = name_active_state(n);
542 if (state == NAME_INACTIVE)
545 if (state == NAME_DEACTIVATING)
548 return NAME_VTABLE(n)->stop(n);
552 * -EBADR: This name type does not support reloading.
553 * -ENOEXEC: Name is not started.
554 * -EAGAIN: An operation is already in progress. Retry later.
556 int name_reload(Name *n) {
557 NameActiveState state;
561 if (!NAME_VTABLE(n)->reload)
564 state = name_active_state(n);
565 if (name_active_state(n) == NAME_ACTIVE_RELOADING)
568 if (name_active_state(n) != NAME_ACTIVE)
571 return NAME_VTABLE(n)->reload(n);
574 bool name_type_can_reload(NameType t) {
575 assert(t >= 0 && t < _NAME_TYPE_MAX);
576 return !!name_vtable[t]->reload;
579 static void retroactively_start_dependencies(Name *n) {
584 assert(NAME_IS_ACTIVE_OR_ACTIVATING(name_active_state(n)));
586 SET_FOREACH(other, n->meta.dependencies[NAME_REQUIRES], state)
587 if (!NAME_IS_ACTIVE_OR_ACTIVATING(name_active_state(other)))
588 manager_add_job(n->meta.manager, JOB_START, other, JOB_REPLACE, true, NULL);
590 SET_FOREACH(other, n->meta.dependencies[NAME_SOFT_REQUIRES], state)
591 if (!NAME_IS_ACTIVE_OR_ACTIVATING(name_active_state(other)))
592 manager_add_job(n->meta.manager, JOB_START, other, JOB_FAIL, false, NULL);
594 SET_FOREACH(other, n->meta.dependencies[NAME_REQUISITE], state)
595 if (!NAME_IS_ACTIVE_OR_ACTIVATING(name_active_state(other)))
596 manager_add_job(n->meta.manager, JOB_START, other, JOB_REPLACE, true, NULL);
598 SET_FOREACH(other, n->meta.dependencies[NAME_WANTS], state)
599 if (!NAME_IS_ACTIVE_OR_ACTIVATING(name_active_state(other)))
600 manager_add_job(n->meta.manager, JOB_START, other, JOB_FAIL, false, NULL);
602 SET_FOREACH(other, n->meta.dependencies[NAME_CONFLICTS], state)
603 if (!NAME_IS_ACTIVE_OR_ACTIVATING(name_active_state(other)))
604 manager_add_job(n->meta.manager, JOB_STOP, other, JOB_REPLACE, true, NULL);
607 static void retroactively_stop_dependencies(Name *n) {
612 assert(NAME_IS_INACTIVE_OR_DEACTIVATING(name_active_state(n)));
614 SET_FOREACH(other, n->meta.dependencies[NAME_REQUIRED_BY], state)
615 if (!NAME_IS_INACTIVE_OR_DEACTIVATING(name_active_state(other)))
616 manager_add_job(n->meta.manager, JOB_STOP, other, JOB_REPLACE, true, NULL);
619 int name_notify(Name *n, NameActiveState os, NameActiveState ns) {
621 assert(os < _NAME_ACTIVE_STATE_MAX);
622 assert(ns < _NAME_ACTIVE_STATE_MAX);
623 assert(!(os == NAME_ACTIVE && ns == NAME_ACTIVATING));
624 assert(!(os == NAME_INACTIVE && ns == NAME_DEACTIVATING));
631 if (n->meta.job->state == JOB_WAITING)
633 /* So we reached a different state for this
634 * job. Let's see if we can run it now if it
635 * failed previously due to EAGAIN. */
636 job_run_and_invalidate(n->meta.job);
639 assert(n->meta.job->state == JOB_RUNNING);
641 /* Let's check of this state change
642 * constitutes a finished job, or maybe
643 * cotradicts a running job and hence needs to
644 * invalidate jobs. */
646 switch (n->meta.job->type) {
649 case JOB_VERIFY_ACTIVE:
651 if (NAME_IS_ACTIVE_OR_RELOADING(ns))
652 return job_finish_and_invalidate(n->meta.job, true);
653 else if (ns == NAME_ACTIVATING)
656 job_finish_and_invalidate(n->meta.job, false);
661 case JOB_RELOAD_OR_START:
663 if (ns == NAME_ACTIVE)
664 return job_finish_and_invalidate(n->meta.job, true);
665 else if (ns == NAME_ACTIVATING || ns == NAME_ACTIVE_RELOADING)
668 job_finish_and_invalidate(n->meta.job, false);
674 case JOB_TRY_RESTART:
676 if (ns == NAME_INACTIVE)
677 return job_finish_and_invalidate(n->meta.job, true);
678 else if (ns == NAME_DEACTIVATING)
681 job_finish_and_invalidate(n->meta.job, false);
686 assert_not_reached("Job type unknown");
691 /* If this state change happened without being requested by a
692 * job, then let's retroactively start or stop dependencies */
694 if (NAME_IS_INACTIVE_OR_DEACTIVATING(os) && NAME_IS_ACTIVE_OR_ACTIVATING(ns))
695 retroactively_start_dependencies(n);
696 else if (NAME_IS_ACTIVE_OR_ACTIVATING(os) && NAME_IS_INACTIVE_OR_DEACTIVATING(ns))
697 retroactively_stop_dependencies(n);