Received: by 2002:a25:ab43:0:0:0:0:0 with SMTP id u61csp4499279ybi; Tue, 11 Jun 2019 07:38:59 -0700 (PDT) X-Google-Smtp-Source: APXvYqzWd90W7zktRLapLIxDyn1IhbPfrjGW4EywdyfQikrELpMeGz02iCjhNxRpCg8vaTOWMMGp X-Received: by 2002:a17:902:a5c5:: with SMTP id t5mr77675546plq.288.1560263938948; Tue, 11 Jun 2019 07:38:58 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1560263938; cv=none; d=google.com; s=arc-20160816; b=P2AnC/2t9Hw/HyqFLIHLK2oC1/UZYF78pzW4eMBcZ8Megs5aMjTRYjf36DUIgfvoZq 0VfrZcThCb4STYXwPu2abvg287oiQ44ap2dwvJZM+bFZ/GZV61S9gIKSiL8YuZIC5Dyp 6gAQ6NSe1po6GeJdPXID0KRtPP3PP/fs0fzfHNyOluLG3Dt+iP1DS63MjvPXOMxRxeTR 7jxOB2/dO3Do2xpdjOQkbF3q8HVAQs2Wg8Wt9U5C6rOL8xeXR0VQMVrjP2PBAVoMvh8d cYhGq1vxZQw4V+MXsEqneGfLDweBMgAC6uJxHfRIIQmvJVC5/2pKsytP+dr7xiYOTEO8 xETA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding :content-language:in-reply-to:mime-version:user-agent:date :message-id:from:references:cc:to:subject; bh=hF3xSC1X5PZq5CJjpL9RGo8m56GkPCbIYtT33n91gpY=; b=bBtsQ3YNsiDPdIiAXMAegnbWaBOmgXmoJvCPA5ljteB6FCrDLqkEWVF5ygHewsy8c8 tvHiIn9s5Pz3JNwtUlBdzLBvunCdgyZFKtU99YPS6zmo3CO6g4PE+CyjES7AXO9gL8lR k/B87ZOizEcfkkRCWtVspv1Qszz46n5+Q1GM0hkRWpf3gRxrcgrrMmBCBFlgUqL0Ykut MlgaA5hIILEJ2wwJPwj+sohgFERRggGRO8fMjtTel3hn94AitnT8iVvArNLIHK9/NhAn BhhVA9V9UnmS67A0VsPdPsW1lYP7yciCwi9bflRfcMgFRPCaTuUmboP3vuVfA9hipLwN 4Kjw== 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 Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id m8si6031726pgs.457.2019.06.11.07.38.42; Tue, 11 Jun 2019 07:38:58 -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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2391061AbfFKOiK (ORCPT + 99 others); Tue, 11 Jun 2019 10:38:10 -0400 Received: from foss.arm.com ([217.140.110.172]:34570 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S2387486AbfFKOiJ (ORCPT ); Tue, 11 Jun 2019 10:38:09 -0400 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 35FBD337; Tue, 11 Jun 2019 07:38:09 -0700 (PDT) Received: from [10.1.196.129] (ostrya.cambridge.arm.com [10.1.196.129]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 0C1583F557; Tue, 11 Jun 2019 07:38:07 -0700 (PDT) Subject: Re: [PATCH 1/8] iommu: Add I/O ASID allocator To: Jacob Pan Cc: mark.rutland@arm.com, devicetree@vger.kernel.org, will.deacon@arm.com, linux-kernel@vger.kernel.org, iommu@lists.linux-foundation.org, robh+dt@kernel.org, robin.murphy@arm.com, linux-arm-kernel@lists.infradead.org References: <20190610184714.6786-1-jean-philippe.brucker@arm.com> <20190610184714.6786-2-jean-philippe.brucker@arm.com> <20190611052626.20bed59a@jacob-builder> From: Jean-Philippe Brucker Message-ID: <95292b47-4cf4-5fd9-b096-1cb016e2264f@arm.com> Date: Tue, 11 Jun 2019 15:37:42 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 MIME-Version: 1.0 In-Reply-To: <20190611052626.20bed59a@jacob-builder> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 11/06/2019 13:26, Jacob Pan wrote: >> +/** >> + * ioasid_set_data - Set private data for an allocated ioasid >> + * @ioasid: the ID to set data >> + * @data: the private data >> + * >> + * For IOASID that is already allocated, private data can be set >> + * via this API. Future lookup can be done via ioasid_find. >> + */ >> +int ioasid_set_data(ioasid_t ioasid, void *data) >> +{ >> + struct ioasid_data *ioasid_data; >> + int ret = 0; >> + >> + xa_lock(&ioasid_xa); > Just wondering if this is necessary, since xa_load is under > rcu_read_lock and we are not changing anything internal to xa. For > custom allocator I still need to have the mutex against allocator > removal. I think we do need this because of a possible race with ioasid_free(): CPU1 CPU2 ioasid_free(ioasid) ioasid_set_data(ioasid, foo) data = xa_load(...) xa_erase(...) kfree_rcu(data) (no RCU lock held) ...free(data) data->private = foo; The issue is theoretical at the moment because no users do this, but I'd be more comfortable taking the xa_lock, which prevents a concurrent xa_erase()+free(). (I commented on your v3 but you might have missed it) >> + ioasid_data = xa_load(&ioasid_xa, ioasid); >> + if (ioasid_data) >> + rcu_assign_pointer(ioasid_data->private, data); > it is good to publish and have barrier here. But I just wonder even for > weakly ordered machine, this pointer update is quite far away from its > data update. I don't know, it could be right before calling ioasid_set_data(): mydata = kzalloc(sizeof(*mydata)); mydata->ops = &my_ops; (1) ioasid_set_data(ioasid, mydata); ... /* no write barrier here */ data->private = mydata; (2) And then another thread calls ioasid_find(): mydata = ioasid_find(ioasid); if (mydata) mydata->ops->do_something(); On a weakly ordered machine, this thread could observe the pointer assignment (2) before the ops assignment (1), and dereference NULL. Using rcu_assign_pointer() should fix that Thanks, Jean