1
0
mirror of https://github.com/systemd/systemd.git synced 2024-12-22 09:48:03 -08:00

core/socket: introduce intermediate SOCKET_START_OPEN state

Prior to this commit, if no Exec*= is defined for socket,
and the unit was in SOCKET_FAILED state, failure of socket_open_fds()
would induce state transition SOCKET_FAILED -> SOCKET_FAILED,
and OnFailure= deps get unexpected skipped. Let's introduce
an intermediate state, so that during unit start we enter
UNIT_ACTIVATING at least once.

Fixes #35635
This commit is contained in:
Mike Yuan 2024-12-16 01:54:11 +01:00
parent 35248b1a6d
commit e203524b06
No known key found for this signature in database
GPG Key ID: 417471C0A40F58B3
3 changed files with 37 additions and 13 deletions

View File

@ -251,6 +251,7 @@ DEFINE_STRING_TABLE_LOOKUP(slice_state, SliceState);
static const char* const socket_state_table[_SOCKET_STATE_MAX] = { static const char* const socket_state_table[_SOCKET_STATE_MAX] = {
[SOCKET_DEAD] = "dead", [SOCKET_DEAD] = "dead",
[SOCKET_START_PRE] = "start-pre", [SOCKET_START_PRE] = "start-pre",
[SOCKET_START_OPEN] = "start-open",
[SOCKET_START_CHOWN] = "start-chown", [SOCKET_START_CHOWN] = "start-chown",
[SOCKET_START_POST] = "start-post", [SOCKET_START_POST] = "start-post",
[SOCKET_LISTENING] = "listening", [SOCKET_LISTENING] = "listening",

View File

@ -168,6 +168,7 @@ typedef enum SliceState {
typedef enum SocketState { typedef enum SocketState {
SOCKET_DEAD, SOCKET_DEAD,
SOCKET_START_PRE, SOCKET_START_PRE,
SOCKET_START_OPEN,
SOCKET_START_CHOWN, SOCKET_START_CHOWN,
SOCKET_START_POST, SOCKET_START_POST,
SOCKET_LISTENING, SOCKET_LISTENING,

View File

@ -59,6 +59,7 @@ struct SocketPeer {
static const UnitActiveState state_translation_table[_SOCKET_STATE_MAX] = { static const UnitActiveState state_translation_table[_SOCKET_STATE_MAX] = {
[SOCKET_DEAD] = UNIT_INACTIVE, [SOCKET_DEAD] = UNIT_INACTIVE,
[SOCKET_START_PRE] = UNIT_ACTIVATING, [SOCKET_START_PRE] = UNIT_ACTIVATING,
[SOCKET_START_OPEN] = UNIT_ACTIVATING,
[SOCKET_START_CHOWN] = UNIT_ACTIVATING, [SOCKET_START_CHOWN] = UNIT_ACTIVATING,
[SOCKET_START_POST] = UNIT_ACTIVATING, [SOCKET_START_POST] = UNIT_ACTIVATING,
[SOCKET_LISTENING] = UNIT_ACTIVE, [SOCKET_LISTENING] = UNIT_ACTIVE,
@ -1841,6 +1842,7 @@ static void socket_set_state(Socket *s, SocketState state) {
socket_unwatch_fds(s); socket_unwatch_fds(s);
if (!IN_SET(state, if (!IN_SET(state,
SOCKET_START_OPEN,
SOCKET_START_CHOWN, SOCKET_START_CHOWN,
SOCKET_START_POST, SOCKET_START_POST,
SOCKET_LISTENING, SOCKET_LISTENING,
@ -1879,6 +1881,7 @@ static int socket_coldplug(Unit *u) {
} }
if (IN_SET(s->deserialized_state, if (IN_SET(s->deserialized_state,
SOCKET_START_OPEN,
SOCKET_START_CHOWN, SOCKET_START_CHOWN,
SOCKET_START_POST, SOCKET_START_POST,
SOCKET_LISTENING, SOCKET_LISTENING,
@ -1887,7 +1890,11 @@ static int socket_coldplug(Unit *u) {
/* Originally, we used to simply reopen all sockets here that we didn't have file descriptors /* Originally, we used to simply reopen all sockets here that we didn't have file descriptors
* for. However, this is problematic, as we won't traverse through the SOCKET_START_CHOWN state for * for. However, this is problematic, as we won't traverse through the SOCKET_START_CHOWN state for
* them, and thus the UID/GID wouldn't be right. Hence, instead simply check if we have all fds open, * them, and thus the UID/GID wouldn't be right. Hence, instead simply check if we have all fds open,
* and if there's a mismatch, warn loudly. */ * and if there's a mismatch, warn loudly.
*
* Note that SOCKET_START_OPEN requires no special treatment, as it's only intermediate
* between SOCKET_START_PRE and SOCKET_START_CHOWN and shall otherwise not be observed.
* It's listed only for consistency. */
r = socket_check_open(s); r = socket_check_open(s);
if (r == SOCKET_OPEN_NONE) if (r == SOCKET_OPEN_NONE)
@ -2228,12 +2235,7 @@ static void socket_enter_start_chown(Socket *s) {
int r; int r;
assert(s); assert(s);
assert(s->state == SOCKET_START_OPEN);
r = socket_open_fds(s);
if (r < 0) {
log_unit_warning_errno(UNIT(s), r, "Failed to listen on sockets: %m");
goto fail;
}
if (!isempty(s->user) || !isempty(s->group)) { if (!isempty(s->user) || !isempty(s->group)) {
@ -2244,17 +2246,35 @@ static void socket_enter_start_chown(Socket *s) {
r = socket_chown(s, &s->control_pid); r = socket_chown(s, &s->control_pid);
if (r < 0) { if (r < 0) {
log_unit_warning_errno(UNIT(s), r, "Failed to spawn 'start-chown' task: %m"); log_unit_warning_errno(UNIT(s), r, "Failed to spawn 'start-chown' task: %m");
goto fail; socket_enter_stop_pre(s, SOCKET_FAILURE_RESOURCES);
return;
} }
socket_set_state(s, SOCKET_START_CHOWN); socket_set_state(s, SOCKET_START_CHOWN);
} else } else
socket_enter_start_post(s); socket_enter_start_post(s);
}
return; static void socket_enter_start_open(Socket *s) {
int r;
fail: assert(s);
socket_enter_stop_pre(s, SOCKET_FAILURE_RESOURCES);
/* We force a state transition here even though we're not spawning any process (i.e. the state is purely
* intermediate), so that failure of socket_open_fds() always causes a state change in unit_notify().
* Otherwise, if no Exec*= is defined, we might go from previous SOCKET_FAILED to SOCKET_FAILED,
* meaning the OnFailure= deps are unexpected skipped (#35635). */
socket_set_state(s, SOCKET_START_OPEN);
r = socket_open_fds(s);
if (r < 0) {
log_unit_error_errno(UNIT(s), r, "Failed to listen on sockets: %m");
socket_enter_stop_pre(s, SOCKET_FAILURE_RESOURCES);
return;
}
socket_enter_start_chown(s);
} }
static void socket_enter_start_pre(Socket *s) { static void socket_enter_start_pre(Socket *s) {
@ -2281,7 +2301,7 @@ static void socket_enter_start_pre(Socket *s) {
socket_set_state(s, SOCKET_START_PRE); socket_set_state(s, SOCKET_START_PRE);
} else } else
socket_enter_start_chown(s); socket_enter_start_open(s);
} }
static void flush_ports(Socket *s) { static void flush_ports(Socket *s) {
@ -2484,6 +2504,7 @@ static int socket_start(Unit *u) {
/* Already on it! */ /* Already on it! */
if (IN_SET(s->state, if (IN_SET(s->state,
SOCKET_START_PRE, SOCKET_START_PRE,
SOCKET_START_OPEN,
SOCKET_START_CHOWN, SOCKET_START_CHOWN,
SOCKET_START_POST)) SOCKET_START_POST))
return 0; return 0;
@ -2535,6 +2556,7 @@ static int socket_stop(Unit *u) {
* kill mode. */ * kill mode. */
if (IN_SET(s->state, if (IN_SET(s->state,
SOCKET_START_PRE, SOCKET_START_PRE,
SOCKET_START_OPEN,
SOCKET_START_CHOWN, SOCKET_START_CHOWN,
SOCKET_START_POST)) { SOCKET_START_POST)) {
socket_enter_signal(s, SOCKET_STOP_PRE_SIGTERM, SOCKET_SUCCESS); socket_enter_signal(s, SOCKET_STOP_PRE_SIGTERM, SOCKET_SUCCESS);
@ -3171,7 +3193,7 @@ static void socket_sigchld_event(Unit *u, pid_t pid, int code, int status) {
case SOCKET_START_PRE: case SOCKET_START_PRE:
if (f == SOCKET_SUCCESS) if (f == SOCKET_SUCCESS)
socket_enter_start_chown(s); socket_enter_start_open(s);
else else
socket_enter_signal(s, SOCKET_FINAL_SIGTERM, f); socket_enter_signal(s, SOCKET_FINAL_SIGTERM, f);
break; break;