From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755517AbcHSRZN (ORCPT ); Fri, 19 Aug 2016 13:25:13 -0400 Received: from terminus.zytor.com ([198.137.202.10]:42580 "EHLO mail.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754653AbcHSRZL (ORCPT ); Fri, 19 Aug 2016 13:25:11 -0400 Subject: Re: cmpxchg and x86 flags output To: David Howells References: <7d1c236f-80d1-2c58-be0e-6676769636b3@zytor.com> <5e5b99d7-c739-9743-b3e0-fbe0636d6dee@zytor.com> <40fd5f74-190e-b805-fbaa-f84899190fbc@zytor.com> <20160615085002.GC30935@twins.programming.kicks-ass.net> <4467.1466499980@warthog.procyon.org.uk> <559ea507-b3cb-74e0-7816-26bb8cbc0238@zytor.com> <16406.1466612063@warthog.procyon.org.uk> Cc: Peter Zijlstra , Linux Kernel Mailing List , linux-arch , Linus Torvalds , Ingo Molnar , Thomas Gleixner From: "H. Peter Anvin" Message-ID: Date: Fri, 19 Aug 2016 10:22:59 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: <16406.1466612063@warthog.procyon.org.uk> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 06/22/16 09:14, David Howells wrote: > H. Peter Anvin wrote: > >> So how do we make this move forward? > > Getting my API additions in is relatively straightforward, I think. The > whether-or-notness of the cmpxchg operation succeeding can be calculated by > comparing the original value read from memory with the value-to-be-replaced > inside the API function. > > This can later be replaced with the boolean output from the CMPXCHG > instruction, the branch target from the LL/SC skipping or the result of the > intrinsics. > Hi David, Any news on this? Can we perhaps help making this go forward at some point? -hpa