From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id M8HmLy3NcGQCxBQAWB0awg (envelope-from ) for ; Fri, 26 May 2023 11:15:57 -0400 Received: by simark.ca (Postfix, from userid 112) id AF4121E11E; Fri, 26 May 2023 11:15:57 -0400 (EDT) Authentication-Results: simark.ca; dkim=pass (2048-bit key; unprotected) header.d=lists.lttng.org header.i=@lists.lttng.org header.a=rsa-sha256 header.s=default header.b=Cdu4s0vD; dkim-atps=neutral X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-8.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_DNSWL_HI, URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.lttng.org (lists.lttng.org [167.114.26.123]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id A458A1E111 for ; Fri, 26 May 2023 11:15:56 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lists.lttng.org; s=default; t=1685114156; bh=A+c72/o2uK8mRz8tuuWG+KoY5YgQBj06Tl3j4Xd12Ns=; h=To:In-Reply-To:References:Date:Subject:List-Id:List-Unsubscribe: List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:Cc: From; b=Cdu4s0vDoa1dhUkxLlTKyCafADPsVhSWDtEbViacyXTRoZCP91GAU/WSPl3x2Z/QF A5wN5PhuQIdS7kShXizKvvVqF8DlBOOXVb9NQIVMmatd2hO237Co293My09vju/0BH GNoiRRLOrjgnrIn4gq+dnbX7Tt27JeawuqEBrcVykctOvzL12akeUkeLhretYI1xHD UM91OocUI2lZh2JjivrC+Y1OYsZqzq4jQ7lB4Dl/rzxfVn888o0RRw5FD9ujm7bUuJ oXqLrQDo5tDms6tthYrxbKHJMRFrayFGYWEWkL0opaLCyuOc2tMGvMv+2yDnm702PL 97hTUYZ3y+S6g== Received: from lists-lttng01.efficios.com (localhost [IPv6:::1]) by lists.lttng.org (Postfix) with ESMTP id 4QST5S0l65z1T1Q; Fri, 26 May 2023 11:15:56 -0400 (EDT) Received: from smtpout.efficios.com (smtpout.efficios.com [167.114.26.122]) by lists.lttng.org (Postfix) with ESMTPS id 4QST5N6VhJz1T1P for ; Fri, 26 May 2023 11:15:52 -0400 (EDT) Received: from localhost (modemcable094.169-200-24.mc.videotron.ca [24.200.169.94]) by smtpout.efficios.com (Postfix) with ESMTPSA id 4QST5L0L5zz15dv; Fri, 26 May 2023 11:15:50 -0400 (EDT) To: Dmitry Vyukov , tsan-users In-Reply-To: Organization: EfficiOS References: <20230515201718.9809-1-odion@efficios.com> <874jocl1lf.fsf@laura> <87ttwbj9uz.fsf@laura> <87v8gj11ak.fsf@laura> Date: Fri, 26 May 2023 11:15:49 -0400 Message-ID: <87a5xr15ui.fsf@laura> MIME-Version: 1.0 Subject: Re: [lttng-dev] [PATCH 00/11] Add support for TSAN to liburcu X-BeenThere: lttng-dev@lists.lttng.org X-Mailman-Version: 2.1.39 Precedence: list List-Id: LTTng development list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Olivier Dion via lttng-dev Reply-To: Olivier Dion Cc: lttng-dev@lists.lttng.org, "Paul E. McKenney" Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: lttng-dev-bounces@lists.lttng.org Sender: "lttng-dev" On Wed, 24 May 2023, Dmitry Vyukov wrote: > On Tue, 23 May 2023 at 18:05, Olivier Dion wrote: > I don't this this is true in the C/C++ memory model: > "the preceding atomic exchange with sequential consistency already > acts as an implicit release (in term of memory barrier) for the > following store". > > std::atomic_thread_fence does affect all preceding/subsequent > operations, but an atomic memory operation only affects ordering on > that variable, it doesn't also serve as a standalone memory fence. After reading the standard, we concur with you. We had to revisit the memory model used by URCU to understand the conflict. While doing so, we had to adapt some of the algorithms that were assuming implicit full memory barriers with operation such as CAS. Thank for the insight! -- Olivier Dion EfficiOS Inc. https://www.efficios.com _______________________________________________ lttng-dev mailing list lttng-dev@lists.lttng.org https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev