lkml.org 
[lkml]   [2018]   [Feb]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH 4.14 153/195] kernel/async.c: revert "async: simplify lowest_in_progress()"
    Date
    4.14-stable review patch.  If anyone has any objections, please let me know.

    ------------------

    From: Rasmus Villemoes <linux@rasmusvillemoes.dk>

    commit 4f7e988e63e336827f4150de48163bed05d653bd upstream.

    This reverts commit 92266d6ef60c ("async: simplify lowest_in_progress()")
    which was simply wrong: In the case where domain is NULL, we now use the
    wrong offsetof() in the list_first_entry macro, so we don't actually
    fetch the ->cookie value, but rather the eight bytes located
    sizeof(struct list_head) further into the struct async_entry.

    On 64 bit, that's the data member, while on 32 bit, that's a u64 built
    from func and data in some order.

    I think the bug happens to be harmless in practice: It obviously only
    affects callers which pass a NULL domain, and AFAICT the only such
    caller is

    async_synchronize_full() ->
    async_synchronize_full_domain(NULL) ->
    async_synchronize_cookie_domain(ASYNC_COOKIE_MAX, NULL)

    and the ASYNC_COOKIE_MAX means that in practice we end up waiting for
    the async_global_pending list to be empty - but it would break if
    somebody happened to pass (void*)-1 as the data element to
    async_schedule, and of course also if somebody ever does a
    async_synchronize_cookie_domain(, NULL) with a "finite" cookie value.

    Maybe the "harmless in practice" means this isn't -stable material. But
    I'm not completely confident my quick git grep'ing is enough, and there
    might be affected code in one of the earlier kernels that has since been
    removed, so I'll leave the decision to the stable guys.

    Link: http://lkml.kernel.org/r/20171128104938.3921-1-linux@rasmusvillemoes.dk
    Fixes: 92266d6ef60c "async: simplify lowest_in_progress()"
    Signed-off-by: Rasmus Villemoes <linux@rasmusvillemoes.dk>
    Acked-by: Tejun Heo <tj@kernel.org>
    Cc: Arjan van de Ven <arjan@linux.intel.com>
    Cc: Adam Wallis <awallis@codeaurora.org>
    Cc: Lai Jiangshan <laijs@cn.fujitsu.com>
    Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
    Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
    Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>

    ---
    kernel/async.c | 20 ++++++++++++--------
    1 file changed, 12 insertions(+), 8 deletions(-)

    --- a/kernel/async.c
    +++ b/kernel/async.c
    @@ -84,20 +84,24 @@ static atomic_t entry_count;

    static async_cookie_t lowest_in_progress(struct async_domain *domain)
    {
    - struct list_head *pending;
    + struct async_entry *first = NULL;
    async_cookie_t ret = ASYNC_COOKIE_MAX;
    unsigned long flags;

    spin_lock_irqsave(&async_lock, flags);

    - if (domain)
    - pending = &domain->pending;
    - else
    - pending = &async_global_pending;
    + if (domain) {
    + if (!list_empty(&domain->pending))
    + first = list_first_entry(&domain->pending,
    + struct async_entry, domain_list);
    + } else {
    + if (!list_empty(&async_global_pending))
    + first = list_first_entry(&async_global_pending,
    + struct async_entry, global_list);
    + }

    - if (!list_empty(pending))
    - ret = list_first_entry(pending, struct async_entry,
    - domain_list)->cookie;
    + if (first)
    + ret = first->cookie;

    spin_unlock_irqrestore(&async_lock, flags);
    return ret;

    \
     
     \ /
      Last update: 2018-02-15 18:16    [W:3.233 / U:0.400 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site