linux-kernel - Re: Implicit panics

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

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <18fc743f-0c1b-43b4-a88f-6b0a72b471b2@nvidia.com>
Date: Wed, 10 Sep 2025 14:36:17 -0700
From: John Hubbard <jhubbard@...dia.com>
To: Alexandre Courbot <acourbot@...dia.com>,
 Miguel Ojeda <miguel.ojeda.sandonis@...il.com>
Cc: Miguel Ojeda <ojeda@...nel.org>, Alex Gaynor <alex.gaynor@...il.com>,
 Boqun Feng <boqun.feng@...il.com>, Gary Guo <gary@...yguo.net>,
 Björn Roy Baron <bjorn3_gh@...tonmail.com>,
 Benno Lossin <lossin@...nel.org>, Andreas Hindborg <a.hindborg@...nel.org>,
 Alice Ryhl <aliceryhl@...gle.com>, Trevor Gross <tmgross@...ch.edu>,
 Danilo Krummrich <dakr@...nel.org>, David Airlie <airlied@...il.com>,
 Simona Vetter <simona@...ll.ch>,
 Maarten Lankhorst <maarten.lankhorst@...ux.intel.com>,
 Maxime Ripard <mripard@...nel.org>, Thomas Zimmermann <tzimmermann@...e.de>,
 Alistair Popple <apopple@...dia.com>, Joel Fernandes
 <joelagnelf@...dia.com>, Timur Tabi <ttabi@...dia.com>,
 rust-for-linux@...r.kernel.org, linux-kernel@...r.kernel.org,
 nouveau@...ts.freedesktop.org, dri-devel@...ts.freedesktop.org
Subject: Re: Implicit panics

On 9/10/25 6:54 AM, Alexandre Courbot wrote:
> On Wed Sep 10, 2025 at 7:00 PM JST, Miguel Ojeda wrote:
>> On Wed, Sep 10, 2025 at 7:45 AM Alexandre Courbot <acourbot@...dia.com> wrote:
...> Build errors on such panic sites insertions, with the option to relax
> the rule locally if a justifying SAFETY comment is provided? And as you
> said, what do we do if a panic can be removed through a particular
> optimization - does it become mandatory to build the kernel? Is it
> applicable to all architectures and (in the future) all supported
> compilers?

We have a very solid precedent for that: building the kernel already
requires -O2 optimization for *functional* correctness.

So Rust for Linux certainly can specify a certain set of build
options that are required--including options that are normally
considered optimizations.

thanks,
-- 
John Hubbard