(cc'ing Linus) Hello, On Mon, Aug 01, 2022 at 11:41:24AM -0400, Waiman Long wrote: > It was found that any change to the current cpuset hierarchy may reset > the cpumask of the tasks in the affected cpusets to the default cpuset > value even if those tasks have cpus affinity explicitly set by the users > before. That is especially easy to trigger under a cgroup v2 environment > where writing "+cpuset" to the root cgroup's cgroup.subtree_control > file will reset the cpus affinity of all the processes in the system. > > That is problematic in a nohz_full environment where the tasks running > in the nohz_full CPUs usually have their cpus affinity explicitly set > and will behave incorrectly if cpus affinity changes. > > Fix this problem by looking at user_cpus_ptr which will be set if > cpus affinity have been explicitly set before and use it to restrcit > the given cpumask unless there is no overlap. In that case, it will > fallback to the given one. > > With that change in place, it was verified that tasks that have its > cpus affinity explicitly set will not be affected by changes made to > the v2 cgroup.subtree_control files. The fact that the kernel clobbers user-specified cpus_allowed as cpu availability changes always bothered me and it has been causing this sort of problems w/ cpu hotplug and cpuset. We've been patching this up partially here and there but I think it would be better if we just make the rules really simple - ie. allow users to configure whatever cpus_allowed as long as that's within cpu_possible_mask and override only the effective cpus_allowed if the mask leaves no runnable CPUs, so that we can restore the original configured behavior if and when some of the cpus become available again. One obvious problem with changing the behavior is that it may affect / confuse users expecting the current behavior however inconsistent it may be, but given that we have partially changed how cpus_allowed interacts with hotplug in the past and the current behavior can be inconsistent and surprising, I don't think this is a bridge we can't cross. What do others think? Thanks. -- tejun