Re: [PATCH v3 03/15] lockdep: Refactor lookup_chain_cache()

[Nilay Vaish]

On 18 September 2016 at 22:05, Byungchul Park <byungchul.park@xxxxxxx> wrote:
> On Thu, Sep 15, 2016 at 10:33:46AM -0500, Nilay Vaish wrote:
>> On 13 September 2016 at 04:45, Byungchul Park <byungchul.park@xxxxxxx> wrote:
>> > @@ -2215,6 +2178,75 @@ cache_hit:
>> >         return 1;
>> >  }
>> >
>> > +/*
>> > + * Look up a dependency chain.
>> > + */
>> > +static inline struct lock_chain *lookup_chain_cache(u64 chain_key)
>> > +{
>> > +       struct hlist_head *hash_head = chainhashentry(chain_key);
>> > +       struct lock_chain *chain;
>> > +
>> > +       /*
>> > +        * We can walk it lock-free, because entries only get added
>> > +        * to the hash:
>> > +        */
>> > +       hlist_for_each_entry_rcu(chain, hash_head, entry) {
>> > +               if (chain->chain_key == chain_key) {
>> > +                       debug_atomic_inc(chain_lookup_hits);
>> > +                       return chain;
>> > +               }
>> > +       }
>> > +       return NULL;
>> > +}
>>
>> Byungchul,  do you think we should increment chain_lookup_misses
>> before returning NULL from the above function?
>
> Hello,
>
> No, I don't think so.
> It will be done in add_chain_cache().
>

I think you are assuming that a call to lookup will always be followed
by add.  I thought the point of breaking the original function into
two was that each of the functions can be used individually, without
the other being called.  This means we would not increment the number
of misses when only lookup() gets called, but not add().  Or we would
increment the number of misses when only add() is called and not
lookup().

It really seems odd to me that hits get incremented in lookup and misses don't.

--
Nilay