Received: by 2002:ab2:6991:0:b0:1f2:fff1:ace7 with SMTP id v17csp248760lqo; Wed, 27 Mar 2024 11:51:28 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCX6Y9F9i+c19G7tUC1rhxH0sqViNXw5udsOAdgRxdC3O60tQwmQzXvDT2hBAYr2DUYQhgLRsHFFxyiKmbn9pP0eLsEgeIO2Wn46rL4CeA== X-Google-Smtp-Source: AGHT+IE4Jc3FDtsloXstbLW59evOherP1yZXEYHWiUM87LGYYLInt3NZ6wGEA4VOw5s+3PHQKi/1 X-Received: by 2002:a05:620a:44c4:b0:78a:6546:7e80 with SMTP id y4-20020a05620a44c400b0078a65467e80mr440726qkp.54.1711565488547; Wed, 27 Mar 2024 11:51:28 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1711565488; cv=pass; d=google.com; s=arc-20160816; b=ItnynqFtAoQZ3D/l+W8HLPHQjiCeEzRbuGBpeBFFK3o3ZeSqzkquraXArS64kWD6C5 3wbr760JhnPiTrUx4V/cMbnt8vsklzFTFEpbux1PmRpEj4Tfx5dV6lWjvxByCjhYSriH Y6cnIbe8UckrJozwWCOGTUondG4MKNavad851wQMvu9LYvcyMBru+9ZhyNG6JVN0ESvR smFJWM+/+LY7QngJVomhzTC09b9yWQEoN1Y/av3OlmFsrc+0Ue/Sspz4jPOzEX0T4wsa ACQabTEVwscH0ONoqSpzB5hJAE3zZkaDFvXGm7fBzIODbJzuhrPPWrj8ExhcJ5x9LSWa 6GKg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=in-reply-to:content-disposition:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:references:message-id:subject:cc :to:from:dkim-signature:date; bh=y09bZO3s4B3d+j/TM9H4q7XelPEtm2A9MOJKZskWiUA=; fh=dFnItuKp426FZHfy2pepXzO8J2vbFxN9iudhxcqiwdo=; b=kd4w6F+bSjjAxp8xm4yh1oERkIDvgzWzYf2Y3nDOKlM3BkTIQgKFzBbEMmLulcMaZi iF8Vs6mT+NkysERZnP7QBEjw457eEbs2pcum1kfolZIXNAbrx+uRsfsLGyBXrywPb5bs rSdY/RyYelxsypkXfbFKIL0ZfsM3/3vLGjSOUgBS3fHVrccBqInRTJXBTnoR6ltTTTT0 0BCKSohYFbJu/Mfw2KD8xlxBHSHTRso/IQh2HrhBxiKwJkltfrY044HhT5xsl3UICXqF nxooK5NTynqYVimOYp0wjwbAB9zpeFE6EetEIBI2ZkLEz6NKBrbvO4rLs0dXGHdkkkMu gSEQ==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@linux.dev header.s=key1 header.b=J+QxylvG; arc=pass (i=1 spf=pass spfdomain=linux.dev dkim=pass dkdomain=linux.dev dmarc=pass fromdomain=linux.dev); spf=pass (google.com: domain of linux-kernel+bounces-121853-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) smtp.mailfrom="linux-kernel+bounces-121853-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linux.dev Return-Path: Received: from ny.mirrors.kernel.org (ny.mirrors.kernel.org. [147.75.199.223]) by mx.google.com with ESMTPS id d20-20020a05620a205400b00789ec7fd052si10434351qka.527.2024.03.27.11.51.28 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Mar 2024 11:51:28 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-121853-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223; Authentication-Results: mx.google.com; dkim=pass header.i=@linux.dev header.s=key1 header.b=J+QxylvG; arc=pass (i=1 spf=pass spfdomain=linux.dev dkim=pass dkdomain=linux.dev dmarc=pass fromdomain=linux.dev); spf=pass (google.com: domain of linux-kernel+bounces-121853-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) smtp.mailfrom="linux-kernel+bounces-121853-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linux.dev Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ny.mirrors.kernel.org (Postfix) with ESMTPS id 47F4B1C33597 for ; Wed, 27 Mar 2024 18:51:28 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id B80CC1514FE; Wed, 27 Mar 2024 18:51:01 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=linux.dev header.i=@linux.dev header.b="J+QxylvG" Received: from out-180.mta0.migadu.com (out-180.mta0.migadu.com [91.218.175.180]) (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 624D312A144; Wed, 27 Mar 2024 18:50:59 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=91.218.175.180 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1711565461; cv=none; b=flAMIHrtqjS62QY9Px8720Kv1PEjMh5m1xup8LgApuItUXk5pLiEWmcUsAZkwRBiORFlvscCi8x3ui1BVFDjapEwZe25kDDktJnMjLU9+axiU+aykC8QDYML42ocHeC3nm6j2BjikV2ux0CspC0ygIJkQD0Zc/xoKsvX4aWd9lw= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1711565461; c=relaxed/simple; bh=y09bZO3s4B3d+j/TM9H4q7XelPEtm2A9MOJKZskWiUA=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=Z6FoLJcFRH3YmWa2NjEBxDwGY+cYSfbrpqjA7CiboWoX5nr0XTu2vRUVPton+2wMmPJzDkGo4cIx/BekA1HCZYf3tWNOwkvoN1/77DsbunDlZ91Ch9qCzJ0wJeMkbbwu3EPIimTDShCaT8RCZ9mhOM1M/tiCa7ISFpRPZ24ejOU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linux.dev; spf=pass smtp.mailfrom=linux.dev; dkim=pass (1024-bit key) header.d=linux.dev header.i=@linux.dev header.b=J+QxylvG; arc=none smtp.client-ip=91.218.175.180 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linux.dev Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linux.dev Date: Wed, 27 Mar 2024 14:50:48 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linux.dev; s=key1; t=1711565457; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=y09bZO3s4B3d+j/TM9H4q7XelPEtm2A9MOJKZskWiUA=; b=J+QxylvGe+QUAC4rKslSPaaxSYEQP3cf7gNLve1SEYbPfgmA7CwRURnaHGjh5p5JfcK31p 1vK9oRQxya417owqBEe+YnvUkm5JhxHTKK4jogYGU2YzTpjIXacfdr0pOFPKHUuXran9tX iSGtM4qV++0E5TJXAzvqfoG+yBb5TyU= X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Kent Overstreet To: comex Cc: Linus Torvalds , "Dr. David Alan Gilbert" , Philipp Stanner , Boqun Feng , rust-for-linux , linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, llvm@lists.linux.dev, Miguel Ojeda , Alex Gaynor , Wedson Almeida Filho , Gary Guo , =?utf-8?B?QmrDtnJu?= Roy Baron , Benno Lossin , Andreas Hindborg , Alice Ryhl , Alan Stern , Andrea Parri , Will Deacon , Peter Zijlstra , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E. McKenney" , Akira Yokosawa , Daniel Lustig , Joel Fernandes , Nathan Chancellor , Nick Desaulniers , kent.overstreet@gmail.com, Greg Kroah-Hartman , Marco Elver , Mark Rutland , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , Catalin Marinas , linux-arm-kernel@lists.infradead.org, linux-fsdevel@vger.kernel.org Subject: Re: [WIP 0/3] Memory model and atomic API in Rust Message-ID: References: <160DB953-1588-418E-A490-381009CD8DE0@gmail.com> 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-Disposition: inline In-Reply-To: <160DB953-1588-418E-A490-381009CD8DE0@gmail.com> X-Migadu-Flow: FLOW_OUT On Wed, Mar 27, 2024 at 09:16:09AM -0700, comex wrote: > Meanwhile, Rust intentionally lacks strict aliasing. I wasn't aware of this. Given that unrestricted pointers are a real impediment to compiler optimization, I thought that with Rust we were finally starting to nail down a concrete enough memory model to tackle this safely. But I guess not?