cgroup: make cgroup_update_dfl_csses() migrate all target processes atomically
cgroup_update_dfl_csses() is responsible for migrating processes when controllers are enabled or disabled on the default hierarchy. As the css association changes for all the processes in the affected cgroups, this involves migrating multiple processes. Up until now, it was implemented by migrating process-by-process until the source css_sets are empty; however, this means that if a process fails to migrate after some succeed before it, the recovery is very tricky. This was considered okay as subsystems weren't allowed to reject process migration on the default hierarchy; unfortunately, enforcing this policy turned out to be problematic for certain types of resources - realtime slices for now. As such, the default hierarchy is gonna allow restricted failures during migration and to support that this patch makes cgroup_update_dfl_csses() migrate all target processes atomically rather than one-by-one. The preceding patches made subsystems ready for multi-process migration and factored out taskset operations making this almost trivial. All tasks of the target processes are put in the same taskset and the migration operations are performed once which either fails or succeeds for all. Signed-off-by: Tejun Heo <tj@kernel.org> Acked-by: Zefan Li <lizefan@huawei.com>
This commit is contained in:
parent
adaae5dcf8
commit
10265075aa
|
@ -2799,6 +2799,7 @@ static int cgroup_subtree_control_show(struct seq_file *seq, void *v)
|
||||||
static int cgroup_update_dfl_csses(struct cgroup *cgrp)
|
static int cgroup_update_dfl_csses(struct cgroup *cgrp)
|
||||||
{
|
{
|
||||||
LIST_HEAD(preloaded_csets);
|
LIST_HEAD(preloaded_csets);
|
||||||
|
struct cgroup_taskset tset = CGROUP_TASKSET_INIT(tset);
|
||||||
struct cgroup_subsys_state *css;
|
struct cgroup_subsys_state *css;
|
||||||
struct css_set *src_cset;
|
struct css_set *src_cset;
|
||||||
int ret;
|
int ret;
|
||||||
|
@ -2827,50 +2828,21 @@ static int cgroup_update_dfl_csses(struct cgroup *cgrp)
|
||||||
if (ret)
|
if (ret)
|
||||||
goto out_finish;
|
goto out_finish;
|
||||||
|
|
||||||
|
down_write(&css_set_rwsem);
|
||||||
list_for_each_entry(src_cset, &preloaded_csets, mg_preload_node) {
|
list_for_each_entry(src_cset, &preloaded_csets, mg_preload_node) {
|
||||||
struct task_struct *last_task = NULL, *task;
|
struct task_struct *task, *ntask;
|
||||||
|
|
||||||
/* src_csets precede dst_csets, break on the first dst_cset */
|
/* src_csets precede dst_csets, break on the first dst_cset */
|
||||||
if (!src_cset->mg_src_cgrp)
|
if (!src_cset->mg_src_cgrp)
|
||||||
break;
|
break;
|
||||||
|
|
||||||
/*
|
/* all tasks in src_csets need to be migrated */
|
||||||
* All tasks in src_cset need to be migrated to the
|
list_for_each_entry_safe(task, ntask, &src_cset->tasks, cg_list)
|
||||||
* matching dst_cset. Empty it process by process. We
|
cgroup_taskset_add(task, &tset);
|
||||||
* walk tasks but migrate processes. The leader might even
|
|
||||||
* belong to a different cset but such src_cset would also
|
|
||||||
* be among the target src_csets because the default
|
|
||||||
* hierarchy enforces per-process membership.
|
|
||||||
*/
|
|
||||||
while (true) {
|
|
||||||
down_read(&css_set_rwsem);
|
|
||||||
task = list_first_entry_or_null(&src_cset->tasks,
|
|
||||||
struct task_struct, cg_list);
|
|
||||||
if (task) {
|
|
||||||
task = task->group_leader;
|
|
||||||
WARN_ON_ONCE(!task_css_set(task)->mg_src_cgrp);
|
|
||||||
get_task_struct(task);
|
|
||||||
}
|
|
||||||
up_read(&css_set_rwsem);
|
|
||||||
|
|
||||||
if (!task)
|
|
||||||
break;
|
|
||||||
|
|
||||||
/* guard against possible infinite loop */
|
|
||||||
if (WARN(last_task == task,
|
|
||||||
"cgroup: update_dfl_csses failed to make progress, aborting in inconsistent state\n"))
|
|
||||||
goto out_finish;
|
|
||||||
last_task = task;
|
|
||||||
|
|
||||||
ret = cgroup_migrate(task, true, src_cset->dfl_cgrp);
|
|
||||||
|
|
||||||
put_task_struct(task);
|
|
||||||
|
|
||||||
if (WARN(ret, "cgroup: failed to update controllers for the default hierarchy (%d), further operations may crash or hang\n", ret))
|
|
||||||
goto out_finish;
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
up_write(&css_set_rwsem);
|
||||||
|
|
||||||
|
ret = cgroup_taskset_migrate(&tset, cgrp);
|
||||||
out_finish:
|
out_finish:
|
||||||
cgroup_migrate_finish(&preloaded_csets);
|
cgroup_migrate_finish(&preloaded_csets);
|
||||||
percpu_up_write(&cgroup_threadgroup_rwsem);
|
percpu_up_write(&cgroup_threadgroup_rwsem);
|
||||||
|
|
Loading…
Reference in New Issue