Re: [PATCH-next v3 4/9] cgroup/cpuset: Do housekeeping check before converting invalid partition to valid

[Guopeng Zhang]

在 2026/10/14 22:05, Waiman Long 写道:
> When a hotplug event happens or when update_cpumasks_hier() is called, an
> invalid partition may be converted back to valid. However check against
> housekeeping conflict isn't being done which can lead to a partition
> state that violates the housekeeping rules. Update the code to allow
> reviving an invalid partition only if it can pass the housekeeping check.
> 
> Fixes: 4a74e418881f ("cgroup/cpuset: Check partition conflict with 
> housekeeping setup")
> Signed-off-by: Waiman Long <long...@redhat.com>
> ---
>  kernel/cgroup/cpuset.c | 9 +++++++--
>  1 file changed, 7 insertions(+), 2 deletions(-)
> 
> diff --git a/kernel/cgroup/cpuset.c b/kernel/cgroup/cpuset.c
> index b2684c98d8c0..51723c299ca5 100644
> --- a/kernel/cgroup/cpuset.c
> +++ b/kernel/cgroup/cpuset.c
> @@ -1959,9 +1959,14 @@ static int update_parent_effective_cpumask(struct 
> cpuset *cs, int cmd,
>                       bool exclusive = true;
>  
>                       /*
> -                      * Convert invalid partition to valid has to
> -                      * pass the cpu exclusivity test.
> +                      * Convert invalid partition to valid has to pass the
> +                      * cpu exclusivity test as well as the housekeeping
> +                      * check.
>                        */
> +                     if 
> (prstate_housekeeping_conflict(cs->partition_root_state, xcpus)) {
> +                             part_error = PERR_HKEEPING;
> +                             goto write_error;
> +                     }
>                       rcu_read_lock();
>                       cpuset_for_each_child(child, css, parent) {
>                               if (child == cs)

Reviewed-by: Guopeng Zhang <zhangguop...@kylinos.cn>

Thanks,
Guopeng