From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from smtp.kernel.org (aws-us-west-2-korg-mail-alma10-1.taild15c8.ts.net [100.103.45.18]) (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 91F5F34BA50; Tue, 23 Jun 2026 11:17:00 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=100.103.45.18 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1782213421; cv=none; b=oHX2a5wRB2nBUtvx2fhKwA0eWFdWFX0VDypTXvrAI3cyKwiudhl2mDRL73EaOhl3AXUPEfxC/0BjoU5sgoAdAJi+Rgjn+TBZwO6RCrQoMcPY+idpEbiRQ9nx6Ve5sEl1gk20js17Dj+yLeIItVRE72AhhfUmrHOlrkVvDlgeJX4= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1782213421; c=relaxed/simple; bh=+PKArGvkgKV9hQ6UYF3rddykA5jy/ezmBTSvvA0P4Ac=; h=Mime-Version:Content-Type:Date:Message-Id:Subject:Cc:To:From: References:In-Reply-To; b=E04FwuhByzUJkolVnYUVlN+JDSSRoM5cAL7bbsif3ae9a4RYPr0w5VvvpqLO1ZnP4ruL5myjfLzSJfi08OIRT6CssB2ZXXduCsYGodkBIMfFOgzNCo1LGqCa3Y1a5ilC+/BSjk1P2T7vy0N43cUo23CF8IJmNkFV240gkAnuBBA= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=JnoJusIn; arc=none smtp.client-ip=100.103.45.18 Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="JnoJusIn" Received: by smtp.kernel.org (Postfix) with ESMTPSA id 3DA561F000E9; Tue, 23 Jun 2026 11:16:53 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kernel.org; s=k20260515; t=1782213420; bh=+PKArGvkgKV9hQ6UYF3rddykA5jy/ezmBTSvvA0P4Ac=; h=Date:Subject:Cc:To:From:References:In-Reply-To; b=JnoJusInSLUUqbs7lMQyVsWIUsrz2NkYyE+g0b5TRmbXifE9FDqYu90tXm+l1mnbi NbTOnnnv3s7F/R6x+Xebmyhy2vas+dPJINWJgSWC9ZN6zCdRKDdw3Uhb05EJTTj66M lUJ0RV8Ih95UVLMDAzfgBqKMXB5LQcv8yZfiLjLUqNLe+k409EC3xs76VL2cvtDM+M PSSZ12KeA+Mr+RAIkEdecrkt/gVjIEraWpgIk+GrlEcbJVxxltGy5oCy9RxehVMgYd dy/3GOb7Z7Ky1owlSguXfzJ1q+v1DwTJzDpltIUD5DaHzZ6Sqyly9GqlWLUsWRTLic QHkz2pdHfXWkw== Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Tue, 23 Jun 2026 13:16:51 +0200 Message-Id: Subject: Re: [PATCH v2 1/3] rust: sync: Add abstraction for synchronize_rcu() Cc: , "Miguel Ojeda" , "Gary Guo" , "Pedro Falcato" , "Miguel Ojeda" , "Boqun Feng" , =?utf-8?q?Bj=C3=B6rn_Roy_Baron?= , "Benno Lossin" , "Andreas Hindborg" , "Alice Ryhl" , "Trevor Gross" , "Daniel Almeida" , "Tamir Duberstein" , "Alexandre Courbot" , =?utf-8?q?Onur_=C3=96zkan?= , "Alexander Viro" , "Christian Brauner" , "Jan Kara" , "Lyude Paul" , "Paul E. McKenney" , "Frederic Weisbecker" , "Neeraj Upadhyay" , "Joel Fernandes" , "Josh Triplett" , "Uladzislau Rezki" , "Steven Rostedt" , "Mathieu Desnoyers" , "Lai Jiangshan" , "Zqiang" , "Christian Schrefl" , , , , To: "Philipp Stanner" From: "Danilo Krummrich" References: <20260622173250.411377-2-phasta@kernel.org> <20260622173250.411377-3-phasta@kernel.org> <908762cb7fd90df1df70eda28363a0015c404527.camel@mailbox.org> In-Reply-To: On Tue Jun 23, 2026 at 1:04 PM CEST, Philipp Stanner wrote: > with a hyper-strict definition (note that I'm unsure whether calling > synchronize_rcu() in atomic context is actually even defined behavior; > I think it is. I'm just brainstorming here) >From the Rust side of things this is well defined; please see [1] and [2]. However, given the kernel context, things such as deadlocks have more consequences than in userspace. Which is why it is still desirable to catch= them (e.g. with tools like klint). [1] https://doc.rust-lang.org/reference/behavior-considered-undefined.html [2] https://doc.rust-lang.org/reference/behavior-not-considered-unsafe.html