Received: by 2002:a25:4158:0:0:0:0:0 with SMTP id o85csp3503987yba; Tue, 16 Apr 2019 12:46:30 -0700 (PDT) X-Google-Smtp-Source: APXvYqym/2iCIx/JasELJsird/TeBln4oBAct41xz+JYy8MJNWGirxVPCnYfY6SBjTNyUvRjQ9XJ X-Received: by 2002:a17:902:ba85:: with SMTP id k5mr84752864pls.270.1555443990212; Tue, 16 Apr 2019 12:46:30 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1555443990; cv=none; d=google.com; s=arc-20160816; b=YpMYOzXjABnSNaiXnVW4OkhP5YmZ+dUgaUtiaitq8FFjSJAqMKfOhXh8GSoz4ckviT U6Mk3Hfo29y/EPntM1/bSIE9b6V9nSZOz5d7f6D/Z6n/4N/r6jAqdYNQ5m938lCnA9ZM HO4/9MtX7d2yqp2+05QvSdhSlwoi+8M99QPfOcqInqAWVXW6BwVAisGhhDq/WFGCJcpq GPM3VQuDdNXefN4/Yshe4TwdKpVlcjSrXlFJJMHis2x/ho2K8OWEc2uM8yxML2/ExITM V81BWK5tf4Ao3MCh4mG1TQn1sZWnWM7gbW4MJ74JcqFiEGc+L6QIxT7PfkUEh63Ma2lj AGKQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-language :content-transfer-encoding:in-reply-to:mime-version:user-agent:date :message-id:organization:autocrypt:openpgp:from:references:cc:to :subject; bh=iSHiatR9D9ASwupgGuw8sknk6wqN28mFs7HojysGjX0=; b=BBznJeIxyF+jI7pWtGjive/tixMCIccoHhIAybuCiC+3TBgzvNiGfNhJbtmHsOl9dl NQWSD7kl1GkyA2hictcbtJhEjJgetP8zsFyEISXZvd028E/gK3OpoGn4xYv1YST+WPzL 9N/2r+9Hdty3+zI2KSsckaIax9S/W023i0XhyIVoQim1JFliVgAJU2/6tOajabtzeRN2 hDdXGHIj4UXxIqiBY4daH0ihK3StTTyaCRnvb8Goo1z8KsN8BXsH7povOn3+K6BDEJF7 ZhDYmb2sADHbxmdEgXwDK3dO5WgBSnvgjDHF/rqrW02i53R5YKp4Kn6YRy02Vmf+/VUu /uyA== ARC-Authentication-Results: i=1; mx.google.com; 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=fail (p=NONE sp=NONE dis=NONE) header.from=redhat.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id n80si13307935pfb.169.2019.04.16.12.46.14; Tue, 16 Apr 2019 12:46:30 -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; 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=fail (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729276AbfDPTp3 (ORCPT + 99 others); Tue, 16 Apr 2019 15:45:29 -0400 Received: from mx1.redhat.com ([209.132.183.28]:47186 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727997AbfDPTp3 (ORCPT ); Tue, 16 Apr 2019 15:45:29 -0400 Received: from smtp.corp.redhat.com (int-mx05.intmail.prod.int.phx2.redhat.com [10.5.11.15]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id B0E9E3092641; Tue, 16 Apr 2019 19:45:28 +0000 (UTC) Received: from llong.remote.csb (dhcp-17-47.bos.redhat.com [10.18.17.47]) by smtp.corp.redhat.com (Postfix) with ESMTP id 749685D719; Tue, 16 Apr 2019 19:45:27 +0000 (UTC) Subject: Re: [PATCH v4 06/16] locking/rwsem: Code cleanup after files merging To: Peter Zijlstra Cc: Ingo Molnar , Will Deacon , Thomas Gleixner , linux-kernel@vger.kernel.org, x86@kernel.org, Davidlohr Bueso , Linus Torvalds , Tim Chen , huang ying References: <20190413172259.2740-1-longman@redhat.com> <20190413172259.2740-7-longman@redhat.com> <20190416160113.GM12232@hirez.programming.kicks-ass.net> <20190416161727.GS14281@hirez.programming.kicks-ass.net> From: Waiman Long Openpgp: preference=signencrypt Autocrypt: addr=longman@redhat.com; prefer-encrypt=mutual; keydata= xsFNBFgsZGsBEAC3l/RVYISY3M0SznCZOv8aWc/bsAgif1H8h0WPDrHnwt1jfFTB26EzhRea XQKAJiZbjnTotxXq1JVaWxJcNJL7crruYeFdv7WUJqJzFgHnNM/upZuGsDIJHyqBHWK5X9ZO jRyfqV/i3Ll7VIZobcRLbTfEJgyLTAHn2Ipcpt8mRg2cck2sC9+RMi45Epweu7pKjfrF8JUY r71uif2ThpN8vGpn+FKbERFt4hW2dV/3awVckxxHXNrQYIB3I/G6mUdEZ9yrVrAfLw5M3fVU CRnC6fbroC6/ztD40lyTQWbCqGERVEwHFYYoxrcGa8AzMXN9CN7bleHmKZrGxDFWbg4877zX 0YaLRypme4K0ULbnNVRQcSZ9UalTvAzjpyWnlnXCLnFjzhV7qsjozloLTkZjyHimSc3yllH7 VvP/lGHnqUk7xDymgRHNNn0wWPuOpR97J/r7V1mSMZlni/FVTQTRu87aQRYu3nKhcNJ47TGY evz/U0ltaZEU41t7WGBnC7RlxYtdXziEn5fC8b1JfqiP0OJVQfdIMVIbEw1turVouTovUA39 Qqa6Pd1oYTw+Bdm1tkx7di73qB3x4pJoC8ZRfEmPqSpmu42sijWSBUgYJwsziTW2SBi4hRjU h/Tm0NuU1/R1bgv/EzoXjgOM4ZlSu6Pv7ICpELdWSrvkXJIuIwARAQABzR9Mb25nbWFuIExv bmcgPGxsb25nQHJlZGhhdC5jb20+wsF/BBMBAgApBQJYLGRrAhsjBQkJZgGABwsJCAcDAgEG FQgCCQoLBBYCAwECHgECF4AACgkQbjBXZE7vHeYwBA//ZYxi4I/4KVrqc6oodVfwPnOVxvyY oKZGPXZXAa3swtPGmRFc8kGyIMZpVTqGJYGD9ZDezxpWIkVQDnKM9zw/qGarUVKzElGHcuFN ddtwX64yxDhA+3Og8MTy8+8ZucM4oNsbM9Dx171bFnHjWSka8o6qhK5siBAf9WXcPNogUk4S fMNYKxexcUayv750GK5E8RouG0DrjtIMYVJwu+p3X1bRHHDoieVfE1i380YydPd7mXa7FrRl 7unTlrxUyJSiBc83HgKCdFC8+ggmRVisbs+1clMsK++ehz08dmGlbQD8Fv2VK5KR2+QXYLU0 rRQjXk/gJ8wcMasuUcywnj8dqqO3kIS1EfshrfR/xCNSREcv2fwHvfJjprpoE9tiL1qP7Jrq 4tUYazErOEQJcE8Qm3fioh40w8YrGGYEGNA4do/jaHXm1iB9rShXE2jnmy3ttdAh3M8W2OMK 4B/Rlr+Awr2NlVdvEF7iL70kO+aZeOu20Lq6mx4Kvq/WyjZg8g+vYGCExZ7sd8xpncBSl7b3 99AIyT55HaJjrs5F3Rl8dAklaDyzXviwcxs+gSYvRCr6AMzevmfWbAILN9i1ZkfbnqVdpaag QmWlmPuKzqKhJP+OMYSgYnpd/vu5FBbc+eXpuhydKqtUVOWjtp5hAERNnSpD87i1TilshFQm TFxHDzbOwU0EWCxkawEQALAcdzzKsZbcdSi1kgjfce9AMjyxkkZxcGc6Rhwvt78d66qIFK9D Y9wfcZBpuFY/AcKEqjTo4FZ5LCa7/dXNwOXOdB1Jfp54OFUqiYUJFymFKInHQYlmoES9EJEU yy+2ipzy5yGbLh3ZqAXyZCTmUKBU7oz/waN7ynEP0S0DqdWgJnpEiFjFN4/ovf9uveUnjzB6 lzd0BDckLU4dL7aqe2ROIHyG3zaBMuPo66pN3njEr7IcyAL6aK/IyRrwLXoxLMQW7YQmFPSw drATP3WO0x8UGaXlGMVcaeUBMJlqTyN4Swr2BbqBcEGAMPjFCm6MjAPv68h5hEoB9zvIg+fq M1/Gs4D8H8kUjOEOYtmVQ5RZQschPJle95BzNwE3Y48ZH5zewgU7ByVJKSgJ9HDhwX8Ryuia 79r86qZeFjXOUXZjjWdFDKl5vaiRbNWCpuSG1R1Tm8o/rd2NZ6l8LgcK9UcpWorrPknbE/pm MUeZ2d3ss5G5Vbb0bYVFRtYQiCCfHAQHO6uNtA9IztkuMpMRQDUiDoApHwYUY5Dqasu4ZDJk bZ8lC6qc2NXauOWMDw43z9He7k6LnYm/evcD+0+YebxNsorEiWDgIW8Q/E+h6RMS9kW3Rv1N qd2nFfiC8+p9I/KLcbV33tMhF1+dOgyiL4bcYeR351pnyXBPA66ldNWvABEBAAHCwWUEGAEC AA8FAlgsZGsCGwwFCQlmAYAACgkQbjBXZE7vHeYxSQ/+PnnPrOkKHDHQew8Pq9w2RAOO8gMg 9Ty4L54CsTf21Mqc6GXj6LN3WbQta7CVA0bKeq0+WnmsZ9jkTNh8lJp0/RnZkSUsDT9Tza9r GB0svZnBJMFJgSMfmwa3cBttCh+vqDV3ZIVSG54nPmGfUQMFPlDHccjWIvTvyY3a9SLeamaR jOGye8MQAlAD40fTWK2no6L1b8abGtziTkNh68zfu3wjQkXk4kA4zHroE61PpS3oMD4AyI9L 7A4Zv0Cvs2MhYQ4Qbbmafr+NOhzuunm5CoaRi+762+c508TqgRqH8W1htZCzab0pXHRfywtv 0P+BMT7vN2uMBdhr8c0b/hoGqBTenOmFt71tAyyGcPgI3f7DUxy+cv3GzenWjrvf3uFpxYx4 yFQkUcu06wa61nCdxXU/BWFItryAGGdh2fFXnIYP8NZfdA+zmpymJXDQeMsAEHS0BLTVQ3+M 7W5Ak8p9V+bFMtteBgoM23bskH6mgOAw6Cj/USW4cAJ8b++9zE0/4Bv4iaY5bcsL+h7TqQBH Lk1eByJeVooUa/mqa2UdVJalc8B9NrAnLiyRsg72Nurwzvknv7anSgIkL+doXDaG21DgCYTD wGA5uquIgb8p3/ENgYpDPrsZ72CxVC2NEJjJwwnRBStjJOGQX4lV1uhN1XsZjBbRHdKF2W9g weim8xU= Organization: Red Hat Message-ID: <08312a80-9690-d193-8eb4-76876ad083bb@redhat.com> Date: Tue, 16 Apr 2019 15:45:27 -0400 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <20190416161727.GS14281@hirez.programming.kicks-ass.net> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: en-US X-Scanned-By: MIMEDefang 2.79 on 10.5.11.15 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.43]); Tue, 16 Apr 2019 19:45:28 +0000 (UTC) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 04/16/2019 12:17 PM, Peter Zijlstra wrote: > On Tue, Apr 16, 2019 at 06:01:13PM +0200, Peter Zijlstra wrote: >> @@ -794,34 +770,38 @@ static inline int __down_read_trylock(st >> */ >> static inline void __down_write(struct rw_semaphore *sem) >> { >> - if (unlikely(atomic_long_cmpxchg_acquire(&sem->count, 0, >> - RWSEM_WRITER_LOCKED))) >> - rwsem_down_write_failed(sem); >> + long tmp = RWSEM_UNLOCKED_VALUE; >> + >> + if (unlikely(atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, >> + RWSEM_WRITER_LOCKED))) > ! > >> + rwsem_down_write_slow(sem, TASK_UNINTERRUPTIBLE); >> rwsem_set_owner(sem); >> } >> >> static inline int __down_write_killable(struct rw_semaphore *sem) >> { >> - if (unlikely(atomic_long_cmpxchg_acquire(&sem->count, 0, >> - RWSEM_WRITER_LOCKED))) >> - if (IS_ERR(rwsem_down_write_failed_killable(sem))) >> + long tmp = RWSEM_UNLOCKED_VALUE; >> + >> + if (unlikely(atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, >> + RWSEM_WRITER_LOCKED))) { > also ! > >> + if (IS_ERR(rwsem_down_write_slow(sem, TASK_KILLABLE))) >> return -EINTR; >> + } >> rwsem_set_owner(sem); >> return 0; >> } > I'm having a great day it seems, it's like back in uni, trying to find > all the missing - signs in this page-long DE. I am really grateful that you have spent the time to review my rwsem patches. It is also very intense for me in the last few days concentrating on investigating the regression and finding useful fixes that I don't have time to deal with other stuffs. Cheers, Longman