From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from relay.hostedemail.com (smtprelay0015.hostedemail.com [216.40.44.15]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 20B1934EEF9 for ; Fri, 19 Dec 2025 18:26:37 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=216.40.44.15 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1766168801; cv=none; b=Ir+tici7emWbNi+FRpoyAtrg540j3da1mgVc0lx4hUNrzsgtYm6AHeyL8DkWrx4T1gX0G8k0hfdhAzSFHku9Abvc/RbkQ+Cv8vupLoxm4+py+RH8DS9q0YAhe3qLeSS8hUWxx8l0273iZHZSYAdhLBqn4pev2wSwU/WnhuKDFOU= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1766168801; c=relaxed/simple; bh=DvRa6CMPDdOWoZxsCwIXmBD0hkeAbzOVUbPDaIPhdw8=; h=Date:From:To:Cc:Subject:Message-ID:In-Reply-To:References: MIME-Version:Content-Type; b=MjHjtWKjMF9bqaU6KVIksHUQOvvHDfk+89IvtDTVoPVsrPdN4yPUERXbJGAm1M/CR6dG1jpwFFEgYnVD3ioBe47ACvJOFS0TaxU35M3rEmR0/Es9dpRvDJz65+gZvPnRGL7NkENSx3QH3qtnSY8MW+VmzVvJywBVfF3bwLV/ePo= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=goodmis.org; spf=pass smtp.mailfrom=goodmis.org; arc=none smtp.client-ip=216.40.44.15 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=goodmis.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=goodmis.org Received: from omf19.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id C4AA513706A; Fri, 19 Dec 2025 18:26:34 +0000 (UTC) Received: from [HIDDEN] (Authenticated sender: rostedt@goodmis.org) by omf19.hostedemail.com (Postfix) with ESMTPA id E5E5820025; Fri, 19 Dec 2025 18:26:31 +0000 (UTC) Date: Fri, 19 Dec 2025 13:28:12 -0500 From: Steven Rostedt To: Sasha Levin Cc: Theodore Tso , Julia Lawall , "Paul E. McKenney" , Gabriele Paoloni , Kate Stewart , Chuck Wolber , Dmitry Vyukov , Mark Rutland , Thomas Gleixner , Lorenzo Stoakes , Shuah Khan , Chris Mason , linux-kernel@vger.kernel.org Subject: Re: Follow-up on Linux-kernel code accessibility Message-ID: <20251219132812.2a3516df@gandalf.local.home> In-Reply-To: References: <90d56d30-232d-4930-ad9f-5aebade7cdf2@paulmck-laptop> <636d1798-3b37-293a-51b2-55d2ecc6d2d@inria.fr> <20251219170945.GA32430@macsyma.lan> X-Mailer: Claws Mail 3.20.0git84 (GTK+ 2.24.33; x86_64-pc-linux-gnu) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Rspamd-Server: rspamout07 X-Rspamd-Queue-Id: E5E5820025 X-Stat-Signature: wqu37bux9x95uyjaeo84bik5due4rzjq X-Session-Marker: 726F737465647440676F6F646D69732E6F7267 X-Session-ID: U2FsdGVkX18F5i+oWWLWs088jmQhzzjl6y6ds0eYkJs= X-HE-Tag: 1766168791-441059 X-HE-Meta: U2FsdGVkX1+boqk4qsXu1cm5KnyERy7CmNrUroD/5J+c7bBuj4xy0OmphjfEDvJBuQeJhzhy8j2DDxbEw452z9/Mfxj09Rgj95aPwhMvmKgScrABiiZo69/qAPgXoDgoodjaDZ230dA0hXbmosD3WQ8g3t5NLdYmfTD5hsEhg5OznFlOD/qbaJTVNo7ek14Dx7nBIN3HfjpLGdABLpzYBXba5ymjxijVmn6HvTIDpp1OoGqNfynfB7xLVDVqU8kQ9iq7HgjfKCOtSBBCby8VK7eI5fak3z+HoLBj0PMRFmP+rYpIR4yKhOhSuyix2zKoePu3BqXawAX6zs5qZAs3oewAlb5Z4FHn On Fri, 19 Dec 2025 12:59:42 -0500 Sasha Levin wrote: > I'd we weary to see complex specs in kernel-internal functions. Those often get > refactored and improved. Having complex speccing on them will make that work > much more difficult and complex. I would argue that having a module describing a complex portion of the kernel functions would be useful for not only helping to understand those functions, but also possibly making it easier to see how they can be improved upon. This is one of the motivations I have for modeling the complex portions of the tracing subsystem. I'm hoping that I can see better ways to perform these tasks and possibly even improve its performance. -- Steve