invent_group_ids(): zero ->mnt_group_id always implies !IS_MNT_SHARED()
authorAl Viro <viro@zeniv.linux.org.uk>
Wed, 25 Jun 2025 19:02:11 +0000 (15:02 -0400)
committerAl Viro <viro@zeniv.linux.org.uk>
Sun, 29 Jun 2025 23:03:46 +0000 (19:03 -0400)
commitf6cc2f4e3d304c93b44c80f50430aa40e080cc3c
treeec7cd657bf977a64a020ef73d92da14b13138bde
parent725ab435ff6e31faca26b8234f9f04c19f772b18
invent_group_ids(): zero ->mnt_group_id always implies !IS_MNT_SHARED()

All places where we call set_mnt_shared() are guaranteed to have
non-zero ->mnt_group_id - either by explicit test, or by having
done successful invent_group_ids() covering the same mount since
we'd grabbed namespace_sem.

The opposite combination (non-zero ->mnt_group_id and !IS_MNT_SHARED())
*is* possible - it means that we have allocated group id, but didn't
get around to set_mnt_shared() yet; such state is transient -
by the time we do namespace_unlock(), we must either do set_mnt_shared()
or unroll the group id allocations by cleanup_group_ids().

Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
fs/namespace.c