[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20200928095501.GE2628@hirez.programming.kicks-ass.net>
Date: Mon, 28 Sep 2020 11:55:01 +0200
From: Peter Zijlstra <peterz@...radead.org>
To: Boqun Feng <boqun.feng@...il.com>
Cc: linux-kernel@...r.kernel.org, Waiman Long <longman@...hat.com>,
Qian Cai <cai@...hat.com>, Ingo Molnar <mingo@...hat.com>,
Will Deacon <will@...nel.org>
Subject: Re: [PATCH] lockdep: Optimize the memory usage of circular queue
On Mon, Sep 28, 2020 at 05:47:38PM +0800, Boqun Feng wrote:
> I think your version is better and should be functionally identical to
> mine, also FWIW, I tested with a lockdep boot selftests, everything
> worked fine.
Excellent, thanks! I'll go feed it to the robots.
Powered by blists - more mailing lists