mirror of
https://github.com/troglobit/finit.git
synced 2026-09-30 13:02:37 +07:00
A service's condition was computed with mkcond() at each of the six sites that assert or clear it, and svc_find_by_cond() reimplemented the reverse lookup a seventh time. maybe_clear_cond() had its own scan for another service supplying the same condition. svc_cond_owner() answers who owns a condition, svc_cond_nth() walks the conditions a service owns, and svc_cond_set()/svc_cond_clear() apply to all of them. svc_find_by_cond() becomes a wrapper, and maybe_clear_cond() keeps its rule per condition rather than for the one it used to compute. The provides[] storage lands here unused, since svc_cond_nth() reads num_provides. Nothing sets it yet, so a service still owns exactly its own pid/<ident> and there is no functional change. Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
371 lines
9.3 KiB
C
371 lines
9.3 KiB
C
/* Simple pidfile event monitor for the Finit condition engine
|
|
*
|
|
* Copyright (c) 2015-2016 Tobias Waldekranz <tobias@waldekranz.com>
|
|
* Copyright (c) 2016-2025 Joachim Wiberg <troglobit@gmail.com>
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
|
|
#include <fnmatch.h>
|
|
#include <glob.h>
|
|
#include <limits.h>
|
|
#include <paths.h>
|
|
|
|
#include "finit.h"
|
|
#include "cond.h"
|
|
#include "helpers.h"
|
|
#include "pid.h"
|
|
#include "plugin.h"
|
|
#include "service.h"
|
|
#include "iwatch.h"
|
|
#include "log.h"
|
|
|
|
static struct iwatch iw_pidfile;
|
|
|
|
|
|
static int pidfile_add_path(struct iwatch *iw, char *path)
|
|
{
|
|
char *ptr;
|
|
|
|
ptr = strstr(path, "run/");
|
|
if (ptr) {
|
|
char *slash;
|
|
|
|
ptr += 4;
|
|
slash = strchr(ptr, '/');
|
|
if (slash) {
|
|
ptr = slash++;
|
|
slash = strchr(ptr, '/');
|
|
if (slash) {
|
|
dbg("Path too deep, skipping %s", path);
|
|
return -1;
|
|
}
|
|
}
|
|
}
|
|
|
|
return iwatch_add(iw, path, IN_ONLYDIR | IN_CLOSE_WRITE | IN_ATTRIB);
|
|
}
|
|
|
|
static void pidfile_update_conds(char *dir, char *name, uint32_t mask)
|
|
{
|
|
char cond[MAX_COND_LEN];
|
|
char fn[PATH_MAX];
|
|
svc_t *svc;
|
|
char *nm;
|
|
|
|
paste(fn, sizeof(fn), dir, name);
|
|
if (fnmatch("*\\.pid", fn, 0) && fnmatch("*/pid", fn, 0))
|
|
return;
|
|
|
|
dbg("path: %s, mask: %08x", fn, mask);
|
|
|
|
svc = svc_find_by_pidfile(fn);
|
|
if (!svc) {
|
|
dbg("No matching svc for %s", fn);
|
|
return;
|
|
}
|
|
|
|
switch (svc->state) {
|
|
case SVC_TEARDOWN_STATE:
|
|
case SVC_CLEANUP_STATE:
|
|
case SVC_SETUP_STATE:
|
|
/*
|
|
* E.g., a setup script for a container may run in lieu
|
|
* of crun, trying to fetch a container image from the
|
|
* network. This script may want to advertise its PID
|
|
* to the system for clean and swift reboots.
|
|
*/
|
|
dbg("%s[%d]: ignoring any PID file changes in CLEANUP/TEARDOWN/SETUP",
|
|
svc_ident(svc, NULL, 0), svc->pid);
|
|
return;
|
|
default:
|
|
break;
|
|
}
|
|
|
|
/* Service condistion to set/clear */
|
|
mkcond(svc, cond, sizeof(cond));
|
|
|
|
nm = svc_ident(svc, NULL, 0);
|
|
dbg("Found svc %s for %s with pid %d", nm, fn, svc->pid);
|
|
if (svc_is_stopping(svc)) {
|
|
dbg("Ignoring pidfile death rattles while service %s is %s", nm, svc_status(svc));
|
|
goto sneaky_zebra;
|
|
}
|
|
|
|
if (mask & (IN_CLOSE_WRITE | IN_ATTRIB | IN_MODIFY | IN_MOVED_TO)) {
|
|
/*
|
|
* only mark native services as started, the s6 and
|
|
* systemd style services rely on their respective
|
|
* readiness notification. Issue #343
|
|
*/
|
|
if (svc->notify == SVC_NOTIFY_PID)
|
|
svc_started(svc);
|
|
|
|
if (!svc_has_pidfile(svc)) {
|
|
dbg("Setting %s PID file to %s", svc->name, fn);
|
|
pid_file_set(svc, fn, 1);
|
|
}
|
|
|
|
if (svc_is_forking(svc)) {
|
|
pid_t pid;
|
|
|
|
pid = pid_file_read(fn);
|
|
if (pid == -1) {
|
|
/* handle case when service dies immediately */
|
|
if (!fexist(fn))
|
|
cond_clear(cond);
|
|
return;
|
|
}
|
|
|
|
/* Service is not crashing, let's tell state machine! */
|
|
service_forked(svc);
|
|
|
|
if (pid != svc->pid) {
|
|
dbg("Forking service %s (cmd %s) changed PID from %d to %d",
|
|
svc_ident(svc, NULL, 0), svc->cmd, svc->pid, pid);
|
|
svc->pid = pid;
|
|
|
|
/* Complement log in service.c for non-forking services */
|
|
logit(LOG_CONSOLE | LOG_NOTICE, "Started %s[%d]", svc_ident(svc, NULL, 0), pid);
|
|
cgroup_move_svc(svc);
|
|
}
|
|
}
|
|
|
|
if (svc->notify == SVC_NOTIFY_PID)
|
|
svc_cond_set(svc);
|
|
if (svc->notify == SVC_NOTIFY_PID || svc->notify == SVC_NOTIFY_NONE)
|
|
service_ready(svc, 1);
|
|
} else if (mask & IN_DELETE) {
|
|
sneaky_zebra:
|
|
svc_cond_clear(svc);
|
|
if (svc->notify == SVC_NOTIFY_PID)
|
|
service_ready(svc, 0);
|
|
}
|
|
}
|
|
|
|
/* synthesize events in case of new run dirs */
|
|
static void pidfile_scandir(struct iwatch *iw, char *dir, int len)
|
|
{
|
|
glob_t gl;
|
|
size_t i;
|
|
char path[len + 6];
|
|
int rc;
|
|
|
|
snprintf(path, sizeof(path), "%s/*.pid", dir);
|
|
rc = glob(path, GLOB_NOSORT, NULL, &gl);
|
|
if (rc && rc != GLOB_NOMATCH)
|
|
return;
|
|
|
|
snprintf(path, sizeof(path), "%s/pid", dir);
|
|
rc = glob(path, GLOB_NOSORT | GLOB_APPEND, NULL, &gl);
|
|
if (rc && rc != GLOB_NOMATCH)
|
|
return;
|
|
|
|
for (i = 0; i < gl.gl_pathc; i++) {
|
|
dbg("scan found %s", gl.gl_pathv[i]);
|
|
pidfile_update_conds(dir, gl.gl_pathv[i], IN_CREATE);
|
|
}
|
|
globfree(&gl);
|
|
}
|
|
|
|
/*
|
|
* create/remove sub-directory in monitored directory
|
|
*/
|
|
static void pidfile_handle_dir(struct iwatch *iw, char *dir, char *name, int mask)
|
|
{
|
|
char path[strlen(dir) + strlen(name) + 2];
|
|
struct iwatch_path *iwp;
|
|
|
|
paste(path, sizeof(path), dir, name);
|
|
dbg("path: %s", path);
|
|
|
|
iwp = iwatch_find_by_path(iw, path);
|
|
|
|
if (mask & IN_CREATE) {
|
|
if (!iwp) {
|
|
if (!pidfile_add_path(iw, path))
|
|
pidfile_scandir(iw, path, sizeof(path));
|
|
}
|
|
} else if (mask & IN_DELETE) {
|
|
if (iwp)
|
|
iwatch_del(&iw_pidfile, iwp);
|
|
}
|
|
}
|
|
|
|
static void pidfile_callback(void *arg, int fd, int events)
|
|
{
|
|
static char ev_buf[8 *(sizeof(struct inotify_event) + NAME_MAX + 1) + 1];
|
|
struct inotify_event *ev;
|
|
ssize_t sz;
|
|
size_t off;
|
|
|
|
sz = read(fd, ev_buf, sizeof(ev_buf) - 1);
|
|
if (sz <= 0) {
|
|
err(1, "invalid inotify event");
|
|
return;
|
|
}
|
|
ev_buf[sz] = 0;
|
|
|
|
for (off = 0; off < (size_t)sz; off += sizeof(*ev) + ev->len) {
|
|
struct iwatch_path *iwp;
|
|
|
|
if (off + sizeof(*ev) > (size_t)sz)
|
|
break;
|
|
|
|
ev = (struct inotify_event *)&ev_buf[off];
|
|
if (off + sizeof(*ev) + ev->len > (size_t)sz)
|
|
break;
|
|
|
|
if (!ev->mask)
|
|
continue;
|
|
|
|
/* Find base path for this event */
|
|
iwp = iwatch_find_by_wd(&iw_pidfile, ev->wd);
|
|
if (!iwp)
|
|
continue;
|
|
|
|
if (ev->mask & IN_ISDIR) {
|
|
pidfile_handle_dir(&iw_pidfile, iwp->path, ev->name, ev->mask);
|
|
continue;
|
|
}
|
|
|
|
if (ev->mask & (IN_CLOSE_WRITE | IN_DELETE | IN_ATTRIB | IN_MODIFY | IN_MOVED_TO))
|
|
pidfile_update_conds(iwp->path, ev->name, ev->mask);
|
|
}
|
|
}
|
|
|
|
/*
|
|
* This function is called after `initctl reload` to reassert conditions
|
|
* for services that have not been changed.
|
|
*
|
|
* We reassert the run/task/service's condition only if it is running,
|
|
* but not if it's recently been changed or while it's starting up.
|
|
*/
|
|
static void pidfile_reconf(void *arg)
|
|
{
|
|
static char cond[MAX_COND_LEN];
|
|
svc_t *svc, *iter = NULL;
|
|
|
|
for (svc = svc_iterator(&iter, 1); svc; svc = svc_iterator(&iter, 0)) {
|
|
if (svc->state != SVC_RUNNING_STATE)
|
|
continue;
|
|
|
|
if (svc_is_changed(svc) || svc_is_starting(svc))
|
|
continue;
|
|
|
|
if (svc->notify == SVC_NOTIFY_PID)
|
|
service_ready(svc, 1);
|
|
|
|
mkcond(svc, cond, sizeof(cond));
|
|
if (cond_get(cond) == COND_ON)
|
|
continue;
|
|
|
|
dbg("Reassert condition %s", cond);
|
|
cond_set_path(cond_path(cond), COND_ON);
|
|
}
|
|
|
|
/*
|
|
* This calls service_step(), which in turn schedules itself as
|
|
* long as stepped services change state. Services going from
|
|
* PAUSED to RUNNING reassert their conditions in that loop,
|
|
* which in turn may unlock other services, and so on.
|
|
*/
|
|
service_step_all(SVC_TYPE_SERVICE | SVC_TYPE_RUNTASK);
|
|
}
|
|
|
|
static void pidfile_init(void *arg)
|
|
{
|
|
char piddir[MAX_ARG_LEN];
|
|
char *path;
|
|
|
|
if (mkpath(pid_runpath(_PATH_CONDPID, piddir, sizeof(piddir)), 0755) && errno != EEXIST) {
|
|
err(1, "Failed creating %s condition directory, %s", COND_PID, _PATH_CONDPID);
|
|
return;
|
|
}
|
|
|
|
/*
|
|
* The bootmisc plugin is responsible for setting up /var/run.
|
|
* and/or /run, with proper symlinks etc. We depend on bootmisc
|
|
* so it's safe here to query realpath() and set up inotify.
|
|
*/
|
|
path = realpath(_PATH_VARRUN, NULL);
|
|
if (!path) {
|
|
dbg("Failed querying realpath(%s): %s", _PATH_VARRUN, strerror(errno));
|
|
path = realpath("/run", NULL);
|
|
if (!path) {
|
|
errx(1, "System does not have %s or /run, aborting.", _PATH_VARRUN);
|
|
return;
|
|
}
|
|
}
|
|
|
|
if (pidfile_add_path(&iw_pidfile, path))
|
|
iwatch_exit(&iw_pidfile);
|
|
|
|
free(path);
|
|
}
|
|
|
|
/*
|
|
* When performing an `initctl reload` with one (unchanged) service
|
|
* depending on, e.g. `net/iface/lo`, its condition will not be set
|
|
* to ON by the pidfile plugin unless the netlink plugin hook runs
|
|
* first.
|
|
*
|
|
* Example:
|
|
*
|
|
* service <net/iface/lo> /sbin/dropbear ...
|
|
*
|
|
* This service provides the <pid/dropbear> condition, which will not be
|
|
* set by pidfile.so during `initctl reload` because dropbear is still
|
|
* SIGSTP:ed (in state PAUSED) waiting for <net/iface/lo>.
|
|
*/
|
|
static plugin_t plugin = {
|
|
.name = "pidfile",
|
|
.hook[HOOK_BASEFS_UP] = { .cb = pidfile_init },
|
|
.hook[HOOK_SVC_RECONF] = { .cb = pidfile_reconf },
|
|
.depends = { "netlink" }, /* bootmisc depends on us */
|
|
};
|
|
|
|
PLUGIN_INIT(__init)
|
|
{
|
|
int fd;
|
|
|
|
fd = iwatch_init(&iw_pidfile);
|
|
if (fd < 0)
|
|
return;
|
|
|
|
plugin.io.fd = fd;
|
|
plugin.io.cb = pidfile_callback;
|
|
plugin.io.flags = PLUGIN_IO_READ;
|
|
|
|
plugin_register(&plugin);
|
|
}
|
|
|
|
PLUGIN_EXIT(__exit)
|
|
{
|
|
plugin_unregister(&plugin);
|
|
iwatch_exit(&iw_pidfile);
|
|
}
|
|
|
|
/**
|
|
* Local Variables:
|
|
* indent-tabs-mode: t
|
|
* c-file-style: "linux"
|
|
* End:
|
|
*/
|