lkml.org 
[lkml]   [2010]   [Nov]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH] a local-timer-free version of RCU
    Hi Joe,

    Thanks for sending these patches. Here are some comments below,

    * Joe Korty (joe.korty@ccur.com) wrote:
    [...]
    >
    > Jim Houston's timer-less version of RCU.
    >
    > This rather ancient version of RCU handles RCU garbage
    > collection in the absence of a per-cpu local timer
    > interrupt.
    >
    > This is a minimal forward port to 2.6.36. It works,
    > but it is not yet a complete implementation of RCU.
    >
    > Developed-by: Jim Houston <jim.houston@ccur.com>
    > Signed-off-by: Joe Korty <joe.korty@ccur.com>
    >
    [...]
    > +/*
    > + * rcu_quiescent() is called from rcu_read_unlock() when a
    > + * RCU batch was started while the rcu_read_lock/rcu_read_unlock
    > + * critical section was executing.
    > + */
    > +
    > +void rcu_quiescent(int cpu)
    > +{
    > + cpu_clear(cpu, rcu_state.rcu_cpu_mask);
    > + if (cpus_empty(rcu_state.rcu_cpu_mask))
    > + rcu_grace_period_complete();
    > +}

    These seems to be a race here when the number of CPUs is large enough to occupy
    a bitmap larger than one word. Two unlock racing could each clear their own bit
    on different words, and each thinking that the cpu mask is not empty, which
    would hold the grace period forever.

    Thanks,

    Mathieu

    --
    Mathieu Desnoyers
    Operating System Efficiency R&D Consultant
    EfficiOS Inc.
    http://www.efficios.com


    \
     
     \ /
      Last update: 2010-11-06 21:05    [W:0.031 / U:0.368 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site