Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.36 as permitted sender) client-ip=23.128.96.36;
Message-ID: <8f8c0c28-59a4-489b-9276-fc3b5cfa8faa@oracle.com>
Date:   Mon, 16 Oct 2023 13:30:26 -0700
User-Agent: Mozilla Thunderbird
Subject: Re: [PATCH 2/4] vhost-vdpa: reset vendor specific mapping to initial
 state in .release
Content-Language: en-US
To:     Eugenio Perez Martin <eperezma@redhat.com>,
        Jason Wang <jasowang@redhat.com>
Cc:     mst@redhat.com, xuanzhuo@linux.alibaba.com, dtatulea@nvidia.com,
        virtualization@lists.linux-foundation.org,
        linux-kernel@vger.kernel.org
References: <1696928580-7520-1-git-send-email-si-wei.liu@oracle.com>
 <1696928580-7520-3-git-send-email-si-wei.liu@oracle.com>
 <CACGkMEtkcyC54M_8A63uBEYjJP+EinLzTk3gP8CQ_rWs0Omt-Q@mail.gmail.com>
 <1bd79050-8eb5-49f6-9e58-6c7eb3fcab3e@oracle.com>
 <CACGkMEt_zvBM=ysbXZJEC1sdbCk=BpcWvtjeuP_L2WH4ke1dWQ@mail.gmail.com>
 <CAJaqyWf0AhsS6kaGUMVCosDjuRoeCAqO3OTVC=veqjV3jCqUjQ@mail.gmail.com>
From:   Si-Wei Liu <si-wei.liu@oracle.com>
Organization: Oracle Corporation
In-Reply-To: <CAJaqyWf0AhsS6kaGUMVCosDjuRoeCAqO3OTVC=veqjV3jCqUjQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?VXMwbTFHWkxROVRBNU1kRi9YQ1Nva1JxWEtwNks0UFFHK1ZIcDE0R3g3WWZE?=
 =?utf-8?B?MTE5NmF3a0lSNEZqRy8zNHVndmFWY2lrSHk0ZE9pdW9vZ3A2NGV1ZW1Eb1Ny?=
 =?utf-8?B?Q2o0bGVyTWdMQmNPWG90RWtiZmgvVktlNU40UzJjbWUwWlp0ZWN1a2szbVVj?=
 =?utf-8?B?ZExGd0xXL0xLbFVNcDVzRFR3K2NRb0JMOENXNXN4dko4aWxFd0dkdTl5cGVu?=
 =?utf-8?B?c3VBZ3BpMC9pVDZxMkd4dW4wdjJFdEcxb1VrWHVNZlJJblViUjN3U1dQSXNs?=
 =?utf-8?B?clE0RlFzME1TTzhEL3llNERtZllLSC9mYlRuQXNubUlaNlZpZWs1SUJIS2F5?=
 =?utf-8?B?Y0RDSEZaRTdLYmlZTFRiL1pvalFRcCtmL1VpMVZjS0dxNmthSk5IYkVaMkpO?=
 =?utf-8?B?WCsrT3NYWkh0dnV0bExTU0FFVC9jbVBNV2xaRzRrVlRRelFCZVJ1OWg0OE55?=
 =?utf-8?B?QUVUVlloVHZPUEhnejEwenlONlNIZmcra1lzekpHbEptbkVoRHRrZFNGYW91?=
 =?utf-8?B?eG9tczJKVzVqWmZwNVRNZ0MvMWJBWCtzcjAwMlJpVmt1aGsxcjlRK1ArblFr?=
 =?utf-8?B?OFVxbmNNeW1UbUhzdnNXSy9Jd0tPYzhtcFRvcnQzcXNUZ1ZzdHJkKzUxL0JQ?=
 =?utf-8?B?STQzbW80M2FPMlVjbjhSc3k4YWVPdy9LYWUzUjNVaG1GKy9hcjRtNlZpWTVD?=
 =?utf-8?B?QktFaE8wZm9iMEtBV2dtQTdhRUR0dFdEdzN1alVCT3pmTFRrWWdGbnlDbWdL?=
 =?utf-8?B?WWxmTkhDeHQ3VjJ2VW5VNUpHN2dyRytTU1Z0aUVtdW4xYVNFbkRCWkcwdkcv?=
 =?utf-8?B?SVFMazRDbzZaWTlCY2R0azFOUHIwWTFyNjE4bWg5S29SVnpjZzdwT3lvamw0?=
 =?utf-8?B?K01oUEl0Z1M3Z3dUZ3FJTXdPSllqOXQzT1ltUmJ1M01JdHkxSERlNTBXMnJV?=
 =?utf-8?B?enVKdnJkQjRpUUg1dWNhOW5JVnd2M0Vzc01UUms5Rk5nTGdla1hKQnFicFhs?=
 =?utf-8?B?dWxYWlNTQnIwZ1NJMW9tSHJqVzNpNDZmaGhHcVVBdHFCN1Y3NlR5THk3bHRP?=
 =?utf-8?B?K3liUktiV3pJZkc1UlhzdzQ5a2Q5WW9BY3pjWC9OdHdjSnU5THhmeFpFTlNk?=
 =?utf-8?B?ZG1STkd1azdKUzVjQmFHeVBFWUNyU21TdkFCWXpTRmQ1MjA1TDJDOWwwOUxz?=
 =?utf-8?B?RVIwODR0SjM1OXBmVEhaWmpPRU05N29vTHBUS0RFQmowT0tOUHBQbkJ1OFIv?=
 =?utf-8?B?SU93YmUvUzVLQ3NGdlZzWVlQNSt3WlgwUGs3YnpTWXd3NGYrbjUzV3Q1aWRk?=
 =?utf-8?B?Vk9WTWxCM3BWSXFVZjZwbFhKTy9hWmM2RWhHcEFwMXhPZDR2TWpRdG9SNXNk?=
 =?utf-8?B?Z1djQm1wTG5TWTFQckl3U3JiaDQvdC9YM1FkSzRkU1lCWGh5K1VZc1R6VXVr?=
 =?utf-8?B?cDhabUd5UWNNUzFzRVg2VkNTUFFYOUM1WjJkUmdUUk1ycUxmV2lTaFdDVlZE?=
 =?utf-8?B?eHVlM0d6VkFvZFBkdFVKdlZ3WGhTMzVMdjRPZlZVdUt5aHZTVXgxa0I1aEVP?=
 =?utf-8?B?bGEwYjNxY3grT1RQS2NjQ0VoWXBpSm1FRk16UGFTd3BxTTd4VGIvL1g2MHBT?=
 =?utf-8?B?RDg2YndlbURERmNoQkFvckgxMWlXcmpST3ZhR29hWjNsR0tVM243bHlIellK?=
 =?utf-8?B?OTczNVJKbTM2U2tmYkg4VG5pQXZ6T0ZSVmVrcEJaWUN4UWNyRHZuUTh5b215?=
 =?utf-8?B?dWNpQzhibkgydFEvWEJXakdUOFd1bkYweEVxQWRsK0ZXOHNIb0FIUElkVENZ?=
 =?utf-8?B?WmtSaGVkZDBwcUQ5QlVqa2hFR2xSQkowaldxbFVEVlFUKzJEM0pYRFRIV1Fa?=
 =?utf-8?B?NWpjZWJFTkZ6QkJmZC9KWG5qSjFGU2xvOHNIam82WVhuQXhWL3RFZ1hFVGp6?=
 =?utf-8?B?dENCNjZIRHV4UWJ2VnFrdzFxWGgvWUdnNm9xTEZzNGxaU1F6VTlCeWFnZC91?=
 =?utf-8?B?TnRvUy9VcVYvMEhuSUo2TVZaS1diRDM3OFg4dE4wRDRMVXU5ekFPdUhHOExU?=
 =?utf-8?B?K295TGhINkVWVkdZSk96T2hnMzFldkNkdG9PQ2RzOWZCam1zb3dPclpyWmRP?=
 =?utf-8?Q?TZMJ6EqT/z5WNSpGSB0S78Haj?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?utf-8?B?aDR0aEI0cGpxc2d4QWgvTTRrbmF2UjlPaTFqSFluU3ozL082WE4xOXR0V3E5?=
 =?utf-8?B?MDFTd2duSnVFUjBRd1U0LzYrODFvOHM0azc3Y2l5RVk2M3VlRmNsbnRKVVVp?=
 =?utf-8?B?UWEydTlhVkVDQnU4c0I4eGJBSXVPWm4yaW9vRGZTSmZNZTdCbXpGYnRFNmps?=
 =?utf-8?B?di9BeEtWa0tpbmVYbGN5OSsrcG92WU55dk9Wb2I0WmY2TFB2WGwxYWZCWHFD?=
 =?utf-8?B?ZkJjelB6Sm80aXBIZlU5Yi95ZzFjMGpKVlZwMzFJVktIUTF3b01VeTQ0Vzdq?=
 =?utf-8?B?aHhMcjdsbWJLQXBrMS84R2NvTEtSSGoyampFa054MkEzVlV5cjdaZ0tISkND?=
 =?utf-8?B?MHdodkRFbjdwQjRzTHIvZVlaOHpmVDZTRmMxcFZEVFpsZFIzUFRRaEE5QTNZ?=
 =?utf-8?B?WjRzdWlNVDc2QjVJSCtQeGY4WTBuN2lSZDRXcTJzMnAwUlhJeWVQMElnbi9I?=
 =?utf-8?B?Rk9GN3Zxd1VwZVErRHRzZ3RvWmhiaW4yYlNaQkhCMUduYlIxY0VLajcrZDZ2?=
 =?utf-8?B?RDlXVVpYVlFiN0pJc2NqZVNmQVdyQklTS3hZYVIxWnhuai9VSE4vTkFCcFJi?=
 =?utf-8?B?SERkV29yOFk1QjFPanV1eGJEWFF6VkMwemxYUmo2SU9TVUlTR0hxcVFYWHJS?=
 =?utf-8?B?aWhQVnM3R05IMGlDaWM1ZVBxWlM3SmViUUh5SXo3bFNvdU1iM21NSGZzVmlU?=
 =?utf-8?B?eHVZL0E0Q1hOamIrem9Cc0tXTE00QXF4cExYTnUxNnVpbldCMkdMOVJuYnZV?=
 =?utf-8?B?QnFWL01ub2hYVFJ6Wkt3a21RYmFDaE8wUGZmd3poWGUzenNMZFBpc2Z2RlpW?=
 =?utf-8?B?VlRSeGxtZFFwS2orMGFHMHNZcXNoKzdyUXN4V2hDVld4WHRITVdteXQ2RHYz?=
 =?utf-8?B?cjdlT3RJa1J0bGFmd3JzWlRlQ2hUb1pDZXp4MWphZ1NnRTR2UEFzaDRLZFpR?=
 =?utf-8?B?NHA0N0N5U0duMlZ3cE9nZFpTZkVoNVEvRWJUc1dRdjBndXhpYU9CVkNQNzVL?=
 =?utf-8?B?dXRzOGFyMDk2a0hFc1ZBejdDZzloTFlRK3A1aGhvQWFkcHIxSHI4NmUzVHI1?=
 =?utf-8?B?RkdGVXRDTVpsU0xmbGd0bGx4S3ZRdTZla25mWWNOU1FqT3dOYWxZamdMeUNX?=
 =?utf-8?B?UG5iWjVSUGlCVWsvVlBoZDVQSzNmdGhMeDNVWENocTFkaEFseDdBeUp4QmJI?=
 =?utf-8?B?MEtma3RwOWQ2SE9MbGtmUXRoeFdxSDVyNEt6dGxSbDYxSHJMc0xOcHk2RkdV?=
 =?utf-8?Q?aiJ2laJ0xO1jWVt?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 2b3fffb7-43be-45f9-da9c-08dbce86bf30
X-MS-Exchange-CrossTenant-AuthSource: MW4PR10MB6535.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Oct 2023 20:30:33.3125
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: vnXfAOYj7dje0kebpc1dTQlS8uAzF7c9VUsEVNIzZy028qbMJMMbsjgvA9d0RR9tFhIBTWkrRX3fHP+hnsYpNA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR10MB7689
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.272,Aquarius:18.0.980,Hydra:6.0.619,FMLib:17.11.176.26
 definitions=2023-10-16_10,2023-10-12_01,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 adultscore=0
 phishscore=0 spamscore=0 suspectscore=0 malwarescore=0 bulkscore=0
 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2309180000 definitions=main-2310160178
X-Proofpoint-GUID: 1Voe6IQ2JjRuABDwQ7TxCa7ed3vB5pDJ
X-Proofpoint-ORIG-GUID: 1Voe6IQ2JjRuABDwQ7TxCa7ed3vB5pDJ
X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,
	SPF_HELO_NONE,SPF_PASS autolearn=unavailable autolearn_force=no
	version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on pete.vger.email
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (pete.vger.email [0.0.0.0]); Mon, 16 Oct 2023 13:31:01 -0700 (PDT)


On 10/16/2023 4:28 AM, Eugenio Perez Martin wrote:
> On Mon, Oct 16, 2023 at 8:33 AM Jason Wang <jasowang@redhat.com> wrote:
>> On Fri, Oct 13, 2023 at 3:36 PM Si-Wei Liu <si-wei.liu@oracle.com> wrote:
>>>
>>>
>>> On 10/12/2023 8:01 PM, Jason Wang wrote:
>>>> On Tue, Oct 10, 2023 at 5:05 PM Si-Wei Liu <si-wei.liu@oracle.com> wrote:
>>>>> Devices with on-chip IOMMU or vendor specific IOTLB implementation
>>>>> may need to restore iotlb mapping to the initial or default state
>>>>> using the .reset_map op, as it's desirable for some parent devices
>>>>> to solely manipulate mappings by its own, independent of virtio device
>>>>> state. For instance, device reset does not cause mapping go away on
>>>>> such IOTLB model in need of persistent mapping. Before vhost-vdpa
>>>>> is going away, give them a chance to reset iotlb back to the initial
>>>>> state in vhost_vdpa_cleanup().
>>>>>
>>>>> Signed-off-by: Si-Wei Liu <si-wei.liu@oracle.com>
>>>>> ---
>>>>>    drivers/vhost/vdpa.c | 16 ++++++++++++++++
>>>>>    1 file changed, 16 insertions(+)
>>>>>
>>>>> diff --git a/drivers/vhost/vdpa.c b/drivers/vhost/vdpa.c
>>>>> index 851535f..a3f8160 100644
>>>>> --- a/drivers/vhost/vdpa.c
>>>>> +++ b/drivers/vhost/vdpa.c
>>>>> @@ -131,6 +131,15 @@ static struct vhost_vdpa_as *vhost_vdpa_find_alloc_as(struct vhost_vdpa *v,
>>>>>           return vhost_vdpa_alloc_as(v, asid);
>>>>>    }
>>>>>
>>>>> +static void vhost_vdpa_reset_map(struct vhost_vdpa *v, u32 asid)
>>>>> +{
>>>>> +       struct vdpa_device *vdpa = v->vdpa;
>>>>> +       const struct vdpa_config_ops *ops = vdpa->config;
>>>>> +
>>>>> +       if (ops->reset_map)
>>>>> +               ops->reset_map(vdpa, asid);
>>>>> +}
>>>>> +
>>>>>    static int vhost_vdpa_remove_as(struct vhost_vdpa *v, u32 asid)
>>>>>    {
>>>>>           struct vhost_vdpa_as *as = asid_to_as(v, asid);
>>>>> @@ -140,6 +149,13 @@ static int vhost_vdpa_remove_as(struct vhost_vdpa *v, u32 asid)
>>>>>
>>>>>           hlist_del(&as->hash_link);
>>>>>           vhost_vdpa_iotlb_unmap(v, &as->iotlb, 0ULL, 0ULL - 1, asid);
>>>>> +       /*
>>>>> +        * Devices with vendor specific IOMMU may need to restore
>>>>> +        * iotlb to the initial or default state which is not done
>>>>> +        * through device reset, as the IOTLB mapping manipulation
>>>>> +        * could be decoupled from the virtio device life cycle.
>>>>> +        */
>>>> Should we do this according to whether IOTLB_PRESIST is set?
>>> Well, in theory this seems like so but it's unnecessary code change
>>> actually, as that is the way how vDPA parent behind platform IOMMU works
>>> today, and userspace doesn't break as of today. :)
>> Well, this is one question I've ever asked before. You have explained
>> that one of the reason that we don't break userspace is that they may
>> couple IOTLB reset with vDPA reset as well. One example is the Qemu.
>>
>>> As explained in previous threads [1][2], when IOTLB_PERSIST is not set
>>> it doesn't necessarily mean the iotlb will definitely be destroyed
>>> across reset (think about the platform IOMMU case), so userspace today
>>> is already tolerating enough with either good or bad IOMMU. This code of
>>> not checking IOTLB_PERSIST being set is intentional, there's no point to
>>> emulate bad IOMMU behavior even for older userspace (with improper
>>> emulation to be done it would result in even worse performance).
>> For two reasons:
>>
>> 1) backend features need acked by userspace this is by design
>> 2) keep the odd behaviour seems to be more safe as we can't audit
>> every userspace program
>>
> The old behavior (without flag ack) cannot be trusted already, as:
> * Devices using platform IOMMU (in other words, not implementing
> neither .set_map nor .dma_map) does not unmap memory at virtio reset.
> * Devices that implement .set_map or .dma_map (vdpa_sim, mlx5) do
> reset IOTLB, but in their parent ops (vdpasim_do_reset, prune_iotlb
> called from mlx5_vdpa_reset). With vdpa_sim patch removing the reset,
> now all backends work the same as far as I know., which was (and is)
> the way devices using the platform IOMMU works.
>
> The difference in behavior did not matter as QEMU unmaps all the
> memory unregistering the memory listener at vhost_vdpa_dev_start(...,
> started = false),
Exactly. It's not just QEMU, but any (older) userspace manipulates 
mappings through the vhost-vdpa iotlb interface has to unmap all 
mappings to workaround the vdpa parent driver bug. If they don't do 
explicit unmap, it would cause state inconsistency between vhost-vdpa 
and parent driver, then old mappings can't be restored, and new mapping 
can be added to iotlb after vDPA reset. There's no point to preserve 
this broken and inconsistent behavior between vhost-vdpa and parent 
driver, as userspace doesn't care at all!

> but the backend acknowledging this feature flag
> allows QEMU to make sure it is safe to skip this unmap & map in the
> case of vhost stop & start cycle.
>
> In that sense, this feature flag is actually a signal for userspace to
> know that the bug has been solved.
Right, I couldn't say it better than you do, thanks! The feature flag is 
more of an unusual means to indicating kernel bug having been fixed, 
rather than introduce a new feature or new kernel behavior ending up in 
change of userspace's expectation.

> Not offering it indicates that
> userspace cannot trust the kernel will retain the maps.
>
> Si-Wei or Dragos, please correct me if I've missed something. Feel
> free to use the text in case you find more clear in doc or patch log.
Sure, will do, thank you! Will post v2 adding these to the log.

Thanks,
-Siwei


>
> Thanks!
>
>> Thanks
>>
>>> I think
>>> the purpose of the IOTLB_PERSIST flag is just to give userspace 100%
>>> certainty of persistent iotlb mapping not getting lost across vdpa reset.
>>>
>>> Thanks,
>>> -Siwei
>>>
>>> [1]
>>> https://lore.kernel.org/virtualization/9f118fc9-4f6f-dd67-a291-be78152e47fd@oracle.com/
>>> [2]
>>> https://lore.kernel.org/virtualization/3364adfd-1eb7-8bce-41f9-bfe5473f1f2e@oracle.com/
>>>>    Otherwise
>>>> we may break old userspace.
>>>>
>>>> Thanks
>>>>
>>>>> +       vhost_vdpa_reset_map(v, asid);
>>>>>           kfree(as);
>>>>>
>>>>>           return 0;
>>>>> --
>>>>> 1.8.3.1
>>>>>