lkml.org 
[lkml]   [2011]   [Sep]   [19]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    SubjectRe: [RFC][PATCH 0/5] Introduce checks for preemptable code for this_cpu_read/write()
    From
    Date
    On Mon, 2011-09-19 at 19:20 -0700, Andi Kleen wrote:
    > Steven Rostedt <rostedt@goodmis.org> writes:
    >
    > > I just found out that the this_cpu_*() functions do not perform the
    > > test to see if the usage is in atomic or not. Thus, the blind
    > > conversion of the per_cpu(*, smp_processor_id()) and the get_cpu_var()
    > > code to this_cpu_*() introduce the regression to detect the hard
    > > to find case where a per cpu variable is used in preempt code that
    > > migrates and causes bugs.
    >
    >
    > Didn't preempt-rt recently get changed to not migrate in kernel-preempt
    > regions. How about just fixing the normal preemption to not do this
    > either.

    Actually, that's part of the issue. RT has made spin_locks not migrate.
    But this has also increased the overhead of those same spinlocks. I'm
    hoping to do away with the big hammer approach (although Thomas is less
    interested in this). I would like to have areas that require per-cpu
    variables to be annotated, and not have every spinlock disable
    preemption.

    >
    > Then all these complications wouldn't be necessary and a whole lot
    > of code related to this could be removed too, and you would still
    > have less bugs.

    Note, that normal preemption doesn't migrate either. If you disable
    preemption, you don't migrate.

    -- Steve




    \
     
     \ /
      Last update: 2011-09-20 05:15    [W:4.053 / U:0.112 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site