lkml.org 
[lkml]   [2015]   [Oct]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    SubjectRe: [PATCH v2] perf/core: fix RCU issues with cgroup monitoring mode
    From
    On Tue, Oct 27, 2015 at 1:24 PM, Eric Dumazet <eric.dumazet@gmail.com> wrote:
    > On Tue, 2015-10-27 at 20:25 +0100, Stephane Eranian wrote:
    >> This patch eliminates all known RCU violations detected
    >> by the RCU checker (PROVE_RCU). The impact code paths
    >> were all related to cgroup mode monitoring and involved
    >> access a task's cgrp.
    >>
    >> V2 is updated to include suggestions from PeterZ to eliminate
    >> some of the warnings without grabbing the rcu_read lock because
    >> we know we are already holding the ctx->lock which prevents
    >> the cgroup from disappearing while we are accessing it.
    >> The trick, as suggested by Peter, is to modify the
    >> perf_cgroup_from_task() to take an extra boolean parameter
    >> to allow bypassing the lockdep test in the task_subsys_cstate()
    >> macros. This patch uses this approach to update all calls the
    >> perf_cgroup_from_task().
    >> V2 Patch relative to:
    >> 8b3c8e6 Revert "rculist: Make list_entry_rcu() use lockless_dereference()"
    >>
    >> Signed-off-by: Stephane Eranian <eranian@google.com>
    >> ---
    >
    >
    > Instead trusting caller to provide correct 'safe' boolean,
    > what about using lockdep_is_held() ?
    >
    But that macro is already embedded into the task_css_set() macro.
    What we are saying here is that we have another way of ensuring the
    cgroup cannot disappear here, and thus the rcu lockdep detects we
    are not holding the rcu read lock but we know this is okay. We are
    trying to avoid grabbing the rcu read lock when it is not really needed
    to guarantee correct execution. So we are just shutting up the lockdep
    in these particular cases by passing true as the safe argument value.

    > This way, you keep full lockep support.
    >
    > A random example is
    >
    > #define rcu_dereference_rtnl(p) rcu_dereference_check(p, lockdep_rtnl_is_held())
    >
    >
    >


    \
     
     \ /
      Last update: 2015-10-28 01:01    [W:6.795 / U:0.652 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site