[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAOJsxLFxmW674R2shbj0s0Jy9hBjM5ob5QwaEbJw3O9+FtTUyw@mail.gmail.com>
Date: Fri, 1 Feb 2013 09:35:22 +0200
From: Pekka Enberg <penberg@...nel.org>
To: Sasha Levin <sasha.levin@...cle.com>
Cc: mingo@...hat.com, peterz@...radead.org, paulus@...ba.org,
acme@...stprotocols.net, linux-kernel@...r.kernel.org
Subject: Re: [PATCH 0/7] liblock: userspace lockdep
On Fri, Feb 1, 2013 at 6:47 AM, Sasha Levin <sasha.levin@...cle.com> wrote:
> This patch series adds a userspace lock correctnes validator into
> tools/lib/liblock.
>
> There are no changes to any kernel code whatsoever, lockdep is
> being used as is.
>
> First 6 patches are the liblock implementation, the last one is
> an example of liblock being used on an existing codebase.
This is awesome, Sasha! For the whole series:
Acked-by: Pekka Enberg <penberg@...nel.org>
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists