| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <d8d60da94b52622e7efa280218eca22e2e7b9954.camel@infradead.org>
Date: Thu, 26 Sep 2024 16:38:00 +0100
From: David Woodhouse <dwmw2@...radead.org>
To: Boqun Feng <boqun.feng@...il.com>
Cc: Thomas Gleixner <tglx@...utronix.de>, Peter Zijlstra
<peterz@...radead.org>, Ingo Molnar <mingo@...hat.com>, Will Deacon
<will@...nel.org>, Waiman Long <longman@...hat.com>, linux-kernel
<linux-kernel@...r.kernel.org>, Juergen Gross <jgross@...e.com>
Subject: Re: [PATCH v3] lockdep: add lockdep_cleanup_dead_cpu()
On Thu, 2024-09-26 at 08:13 -0700, Boqun Feng wrote:
>
> Given that Peter did send a POC for static checking:
>
> https://lore.kernel.org/lkml/20231030111724.GA12604@noisy.programming.kicks-ass.net/
>
> Maybe you could explain why this is needed even though static checking
> is technically possible? Thanks!
If Peter wants to finish that approach and get it merged, that's fine
by me.
Download attachment "smime.p7s" of type "application/pkcs7-signature" (5965 bytes)
Powered by blists - more mailing lists