From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Gavin Hu (Arm Technology China)" Subject: Re: [PATCH v3 1/3] rwlock: reimplement with atomic builtins Date: Tue, 19 Mar 2019 08:31:05 +0000 Message-ID: References: <1544672265-219262-2-git-send-email-joyce.kong@arm.com> <1552569304-74817-2-git-send-email-joyce.kong@arm.com> <2601191342CEEE43887BDE71AB977258013655BF2A@irsmsx105.ger.corp.intel.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Cc: nd , "jerinj@marvell.com" , "chaozhu@linux.vnet.ibm.com" , "Richardson, Bruce" , "thomas@monjalon.net" , "hemant.agrawal@nxp.com" , Honnappa Nagarahalli To: "Ananyev, Konstantin" , "Joyce Kong (Arm Technology China)" , "dev@dpdk.org" Return-path: Received: from EUR03-DB5-obe.outbound.protection.outlook.com (mail-eopbgr40070.outbound.protection.outlook.com [40.107.4.70]) by dpdk.org (Postfix) with ESMTP id 5797F11A4 for ; Tue, 19 Mar 2019 09:31:08 +0100 (CET) In-Reply-To: <2601191342CEEE43887BDE71AB977258013655BF2A@irsmsx105.ger.corp.intel.com> Content-Language: en-US List-Id: DPDK patches and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: dev-bounces@dpdk.org Sender: "dev" Hi Konstantin,=20 > -----Original Message----- > From: Ananyev, Konstantin > Sent: Friday, March 15, 2019 7:41 PM > To: Joyce Kong (Arm Technology China) ; > dev@dpdk.org > Cc: nd ; Gavin Hu (Arm Technology China) > ; jerinj@marvell.com; chaozhu@linux.vnet.ibm.com; > Richardson, Bruce ; thomas@monjalon.net; > hemant.agrawal@nxp.com; Honnappa Nagarahalli > > Subject: RE: [PATCH v3 1/3] rwlock: reimplement with atomic builtins >=20 > Hi, >=20 >=20 > > The __sync builtin based implementation generates full memory > > barriers ('dmb ish') on Arm platforms. Using C11 atomic builtins > > to generate one way barriers. > > > > Here is the assembly code of __sync_compare_and_swap builtin. > > __sync_bool_compare_and_swap(dst, exp, src); > > 0x000000000090f1b0 <+16>: e0 07 40 f9 ldr x0, [sp, #8] > > 0x000000000090f1b4 <+20>: e1 0f 40 79 ldrh w1, [sp, #6] > > 0x000000000090f1b8 <+24>: e2 0b 40 79 ldrh w2, [sp, #4] > > 0x000000000090f1bc <+28>: 21 3c 00 12 and w1, w1, #0xffff > > 0x000000000090f1c0 <+32>: 03 7c 5f 48 ldxrh w3, [x0] > > 0x000000000090f1c4 <+36>: 7f 00 01 6b cmp w3, w1 > > 0x000000000090f1c8 <+40>: 61 00 00 54 b.ne 0x90f1d4 > > // b.any > > 0x000000000090f1cc <+44>: 02 fc 04 48 stlxrh w4, w2, [x0] > > 0x000000000090f1d0 <+48>: 84 ff ff 35 cbnz w4, 0x90f1c0 > > > > 0x000000000090f1d4 <+52>: bf 3b 03 d5 dmb ish > > 0x000000000090f1d8 <+56>: e0 17 9f 1a cset w0, eq // eq =3D n= one > > > > Signed-off-by: Gavin Hu > > Tested-by: Joyce Kong > > Acked-by: Jerin Jacob > > --- >=20 > Wouldn't it be plausible to change _try_ functions to use __atomic too (f= or > consistency)? > Apart from that looks good to me. > Konstantin Sure, we will do it in next version.=20