Received: by 2002:a25:8b12:0:0:0:0:0 with SMTP id i18csp58079ybl; Fri, 16 Aug 2019 18:43:03 -0700 (PDT) X-Google-Smtp-Source: APXvYqxHB52i4czelXWk7kCzcg/SC2jQJB1tr8pII1BJy7/H4+5XhGrIlYSyJZSwPX7c5mJZrMEv X-Received: by 2002:aa7:8b11:: with SMTP id f17mr13651170pfd.19.1566006183270; Fri, 16 Aug 2019 18:43:03 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1566006183; cv=none; d=google.com; s=arc-20160816; b=IJPX9I/Ju9AhpXeLCH3O7bqe+Lo/+qmBKxV0OhfUBoGVT4WLGVkUWut8D3TVFaS5GJ 0tvGo4Dq9z5vs2oNPg80IOWW6fNqf6mBqOycBOwkbmxAHFyUYGYiAFsZiHkhdXLBFcMS Z5MaNA0sPO/DPdY4/QXohKdLHpnXPTRLHSF8DrxR//vS26xzbBoYN1xTjtEYDRCOf9MB AVGgNw8HZHGXA+MsVSVVVIpVuVUjT5iD4IEI605nlRtZgNTclBiRkmjkWKg2XKRt8cUa CXbjhLs/vEyY+Ucj42jMY11twaLkpg5tTisWgpLB2Tfd1I/f8b70MclQOJxaOpPEnAhi +uog== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:thread-index:thread-topic :content-transfer-encoding:mime-version:subject:references :in-reply-to:message-id:cc:to:from:date:dkim-signature:dkim-filter; bh=zQ5kyX3BoMU/lSWt7IJaEAtR2KYAxnW2BoyNEmvTJ4E=; b=F9wDGq90B2uAbr+G2LNn8lJMPLRkuVlGhgcIFsm2yKejK+nzlnMOVGJPA3QLaBuvU+ vDe72b8209v1PoOmGUbW8vWrM0KaiC0l8pnHFM1d6uRQv5VWizlS6ojANLATG4B1KSyu S6hdQ4JrGmWwwVsOchInVFlAm9JH1UhAYGXCj3QZq1f/C/ICXDTqDf9kxHp6DTYne17C aGID1Yno5UMU25jh+ZcjPbng4wayHY2nrsZRV1WLteIL/Ljlhli+VXotgxxdPqzNRnJr SCt3g+A0Zvoh24bWB/4Jq9uzAf3kolYgP2/LD6rfWXeQC+m9MDB/6/zOkgwHv08Va5DG BWxg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@efficios.com header.s=default header.b=LOOCBIjZ; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=efficios.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id r3si5181026plb.14.2019.08.16.18.42.48; Fri, 16 Aug 2019 18:43:03 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@efficios.com header.s=default header.b=LOOCBIjZ; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=efficios.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726163AbfHQBly (ORCPT + 99 others); Fri, 16 Aug 2019 21:41:54 -0400 Received: from mail.efficios.com ([167.114.142.138]:58622 "EHLO mail.efficios.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725911AbfHQBly (ORCPT ); Fri, 16 Aug 2019 21:41:54 -0400 Received: from localhost (ip6-localhost [IPv6:::1]) by mail.efficios.com (Postfix) with ESMTP id 100EF2C8AF7; Fri, 16 Aug 2019 21:41:53 -0400 (EDT) Received: from mail.efficios.com ([IPv6:::1]) by localhost (mail02.efficios.com [IPv6:::1]) (amavisd-new, port 10032) with ESMTP id 4bD5tckrquQn; Fri, 16 Aug 2019 21:41:52 -0400 (EDT) Received: from localhost (ip6-localhost [IPv6:::1]) by mail.efficios.com (Postfix) with ESMTP id 9F0DD2C8AF0; Fri, 16 Aug 2019 21:41:52 -0400 (EDT) DKIM-Filter: OpenDKIM Filter v2.10.3 mail.efficios.com 9F0DD2C8AF0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=efficios.com; s=default; t=1566006112; bh=zQ5kyX3BoMU/lSWt7IJaEAtR2KYAxnW2BoyNEmvTJ4E=; h=Date:From:To:Message-ID:MIME-Version; b=LOOCBIjZw9wxRsKgJFnZPyQEnqaJSJBImiW0nZvLV5nhOisNhgPjvrwYiPlBstpDO Ffuu04MO7f7IiE3l8B8R2LfH5bm2/syblflE1XUWN+vjKbkKuyt32cLvaXft0o9TpW HClLV+F0uvirnqh29FlT34Hi1xn1UOedDq+QPeH9UZLMtgZ1Y/9efdugP8xGD2U3Be EAyKc/Yzhlq3tCJoQzUhXejQpWiuemyVdKADgl/iUjy0ZESKj+JNc5+dnAgsTOmofj YFR0PJmG+nKOnAYlsBeC6ix084nurvE7S/UkCncLFgNBUR/d8EygXBMTbia2pKFnYQ rW/mZyu89f6ng== X-Virus-Scanned: amavisd-new at efficios.com Received: from mail.efficios.com ([IPv6:::1]) by localhost (mail02.efficios.com [IPv6:::1]) (amavisd-new, port 10026) with ESMTP id fYlpQYeqH44y; Fri, 16 Aug 2019 21:41:52 -0400 (EDT) Received: from mail02.efficios.com (mail02.efficios.com [167.114.142.138]) by mail.efficios.com (Postfix) with ESMTP id 81BBD2C8AE7; Fri, 16 Aug 2019 21:41:52 -0400 (EDT) Date: Fri, 16 Aug 2019 21:41:52 -0400 (EDT) From: Mathieu Desnoyers To: Linus Torvalds Cc: Valentin Schneider , "Joel Fernandes, Google" , Thomas Gleixner , Alan Stern , rostedt , linux-kernel , Peter Zijlstra , paulmck , Boqun Feng , Will Deacon , David Howells Message-ID: <1498719317.23412.1566006112307.JavaMail.zimbra@efficios.com> In-Reply-To: References: <241506096.21688.1565977319832.JavaMail.zimbra@efficios.com> <20190816205740.GF10481@google.com> <3c0cb8a2-eba2-7bea-8523-b948253a6804@arm.com> Subject: Re: [PATCH 1/1] Fix: trace sched switch start/stop racy updates MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originating-IP: [167.114.142.138] X-Mailer: Zimbra 8.8.15_GA_3829 (ZimbraWebClient - FF68 (Linux)/8.8.15_GA_3829) Thread-Topic: trace sched switch start/stop racy updates Thread-Index: q5fyonBR6qpJ86alw/RmiuKF3F1/lQ== Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org ----- On Aug 16, 2019, at 6:57 PM, Linus Torvalds torvalds@linux-foundation.org wrote: > So in general, we very much expect the compiler to do sane code > generation, and not (for example) do store tearing on normal > word-sized things or add writes that weren't there originally etc. My understanding of https://lwn.net/Articles/793253/ section "Store tearing" which points at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56028 seems to contradict your expectation at least when writing constants to a 64-bit word without a volatile access. Thanks, Mathieu -- Mathieu Desnoyers EfficiOS Inc. http://www.efficios.com