Re: [PATCH 4/4] workqueue: Include ordered workqueues in anon workqueue sysfs interface

From: Lai Jiangshan
Date: Mon Mar 31 2014 - 08:47:47 EST


On 03/28/2014 01:21 AM, Frederic Weisbecker wrote:
> Changing the cpu affinity of workqueues through the sysfs interface
> is done with apply_workqueue_attrs() by replacing the old pwqs
> of a workqueue with new ones tied to worker pools that are affine to the
> new cpumask.
>
> We can't do that with ordered workqueues however because the serialization
> of their works is enforced by keeping a single worker running. Replacing
> it with a new pool of single worker may open a small race window where
> two workers could run concurrently during the pwq replacement. Eventually
> this can break the ordering guarantee.
>
> So ordered workqueues get a special treatment here. Since they run a
> single pwq with a single pool containing a single worker that all
> ordered workqueue should share, we simply change this worker affinity
> to the new cpumask.
>
> Also just in case this behaviour change a bit in the future and some
> ordered workqueues have their private worker, lets iterate the affinity
> change over all ordered workqueue pools. This way it works in both cases:
> whether a single worker is shared among all ordered workqueue pools or
> some of them run their private one.
>
> Suggested-by: Tejun Heo <tj@xxxxxxxxxx>
> Cc: Christoph Lameter <cl@xxxxxxxxx>
> Cc: Kevin Hilman <khilman@xxxxxxxxxx>
> Cc: Mike Galbraith <bitbucket@xxxxxxxxx>
> Cc: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx>
> Cc: Tejun Heo <tj@xxxxxxxxxx>
> Cc: Viresh Kumar <viresh.kumar@xxxxxxxxxx>
> Signed-off-by: Frederic Weisbecker <fweisbec@xxxxxxxxx>
> ---
> kernel/workqueue.c | 68 ++++++++++++++++++++++++++++++++++++++++++++----------
> 1 file changed, 56 insertions(+), 12 deletions(-)
>
> diff --git a/kernel/workqueue.c b/kernel/workqueue.c
> index 2863c39..18807c7 100644
> --- a/kernel/workqueue.c
> +++ b/kernel/workqueue.c
> @@ -3330,10 +3330,60 @@ static ssize_t wq_anon_cpumask_show(struct device *dev,
> return written;
> }
>
> -/* Must be called with wq_unbound_mutex held */
> -static int wq_anon_cpumask_set(cpumask_var_t cpumask)
> +static int wq_ordered_cpumask_set(struct workqueue_struct *wq, cpumask_var_t cpumask)
> +{
> + struct pool_workqueue *pwq;
> + struct worker_pool *pool;
> + struct worker *worker;
> + int ret;
> + int wi;
> +
> + mutex_lock(&wq_pool_mutex);
> + pwq = list_first_entry(&wq->pwqs, typeof(*pwq), pwqs_node);
> + pool = pwq->pool;
> +
> + mutex_lock(&pool->manager_mutex);
> + for_each_pool_worker(worker, wi, pool) {
> + /* CHECKME: Should we hold pool->lock here? */

Don't need to hold pool->lock which is a spinlock.
pool->manager_mutex is enough to apply cpumask setting
(but we only do it in cpuhotplug callbacks now).

> + ret = set_cpus_allowed_ptr(worker->task, cpumask);

no.

even the pwq(of ordered wq) shares the pool with other unbound pwq.
we shouldn't change the worker's attr.

Although we can change the ordered wq to use dedicated pool.
But if we do so, I would recommend to remove the ordered wq from workqueue.c totally
and ask the callers use queue_kthread_work() instead.

(dedicated or any)pool requires two workers at least, and requires much
more other resource.

> + if (ret)
> + break;
> + }
> + if (!ret) {
> + cpumask_copy(pool->attrs->cpumask, cpumask);

pool->attr should be constant (except initialization/destruction).

> + }
> + mutex_unlock(&pool->manager_mutex);
> +
> + if (!ret) {
> + mutex_lock(&wq->mutex);
> + cpumask_copy(wq->unbound_attrs->cpumask, cpumask);
> + mutex_unlock(&wq->mutex);
> + }
> +
> + mutex_unlock(&wq_pool_mutex);
> +
> + return ret;
> +}
> +
> +static int wq_anon_cpumask_set(struct workqueue_struct *wq, cpumask_var_t cpumask)
> {
> struct workqueue_attrs *attrs;
> + int ret;
> +
> + attrs = wq_sysfs_prep_attrs(wq);
> + if (!attrs)
> + return -ENOMEM;
> +
> + cpumask_copy(attrs->cpumask, cpumask);
> + ret = apply_workqueue_attrs(wq, attrs);
> + free_workqueue_attrs(attrs);
> +
> + return ret;
> +}
> +
> +/* Must be called with wq_unbound_mutex held */
> +static int wq_anon_cpumask_set_all(cpumask_var_t cpumask)
> +{
> struct workqueue_struct *wq;
> int ret;
>
> @@ -3343,15 +3393,9 @@ static int wq_anon_cpumask_set(cpumask_var_t cpumask)
> continue;
> /* Ordered workqueues need specific treatment */
> if (wq->flags & __WQ_ORDERED)
> - continue;
> -
> - attrs = wq_sysfs_prep_attrs(wq);
> - if (!attrs)
> - return -ENOMEM;
> -
> - cpumask_copy(attrs->cpumask, cpumask);
> - ret = apply_workqueue_attrs(wq, attrs);
> - free_workqueue_attrs(attrs);
> + ret = wq_ordered_cpumask_set(wq, cpumask);
> + else
> + ret = wq_anon_cpumask_set(wq, cpumask);
> if (ret)
> break;
> }
> @@ -3376,7 +3420,7 @@ static ssize_t wq_anon_cpumask_store(struct device *dev,
> get_online_cpus();
> if (cpumask_intersects(cpumask, cpu_online_mask)) {
> mutex_lock(&wq_unbound_mutex);
> - ret = wq_anon_cpumask_set(cpumask);
> + ret = wq_anon_cpumask_set_all(cpumask);
> if (!ret)
> cpumask_copy(&wq_anon_cpumask, cpumask);
> mutex_unlock(&wq_unbound_mutex);

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/