OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

virtio-comment message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Re: [PATCH v2 5/9] virtio-iommu: Add VT-d IO page table


Hi Tina,

On Fri, Oct 06, 2023 at 05:09:45PM +0100, Jean-Philippe Brucker wrote:
> From: Tina Zhang <tina.zhang@intel.com>
> 
> Allow a driver of a device behind virtio-iommu to detect support for
> VT-d IO page table.
> 
> The driver detects support for VT-d IO page table format in a PROBE
> request and sends an ATTACH_TABLE request with a pointer to the first
> stage page translation table.
> 
> The definition of first stage page translation table ATTACH_TABLE
> request references the fields defined in VT-d scalable-mode PASID table
> entry.
> * attributes defined in ATTACH_TABLE request:
>   FSPTPTR got from pgtbl_addr field.
>   SRE/EAFE/WPE defined in pgtbl_flags field.
>   FSPM calculated through addr_width field.
>   PASID got from pasid field.
> 
> * attributes not defined in ATTACH_TABLE request, as their
>   configurations need to be decided by host:
>   Memory type features, PAT/EMTE/CD/PGSNP/PWSNP.
>   Snoop Behavior, PGSNP/PWSNP.

While reworking this patch I've been wondering about some of these fields.
The host is in charge of configuring them, but does the guest need to know
what was configured in order to properly fill the page tables?

These fields in the Scalable-Mode Context Entry:

* RID_PASID: if RPS is supported, the guest needs to know which PASID
  table entry is chosen by the host for non-pasid DMA. Should we just
  assume the host configures it as zero for now, and that ECAP_REG.RPS is
  always zero?

  If you think there won't ever be a need to support RID_PASID that's fine,
  but we should think carefully because adding support afterwards is a lot
  more work than adding a rid_pasid field now to
  virtio_iommu_probe_hw_intel_vtd (later we'd need a new negotiation
  mechanism to ensure the guest is aware of the new rid_pasid).

* RID_PRIV: similarly to RID_PASID, do we assume a default of 0?  It's
  also more difficult to add that support afterwards, so maybe we can add
  a flag to virtio_iommu_probe_hw_intel_vtd now.

And these in PASID table entry:

* PAT: does the guest need to know how the host configures PAT in order to
  know what to write in PAT, PWT and PCD in page tables entries?  Or
  should we pass guest PAT configuration in attach_table?

* CD, PGSNP, PWSNP: also feels like the guest should know about them, so
  it can maintain coherency appropriately. I haven't looked at the details
  for Intel, but for example if an Arm SMMU doesn't access page tables
  coherently with the CPUs (maybe similarly to PWSNP==0), the CPU needs to
  perform extra cache clean to make sure that page table updates are
  written back to memory and accessible by the IOMMU.

Do you think there is anything to be done about those?  We could either
provide host values in virtio_iommu_probe_hw_intel_vtd, or allow the guest
to configure them in virtio_iommu_req_attach_table_intel.

Thanks,
Jean

> 
> Support for any new attributes could easily be added by adding flags to
> the PROBE property and fields in the ATTACH_TABLE config.
> 
> Signed-off-by: Tina Zhang <tina.zhang@intel.com>
> [JPB: moved to pgtable-intel.tex, rework formatting]
> Signed-off-by: Jean-Philippe Brucker <jean-philippe@linaro.org>
> ---
>  device-types/iommu/description.tex   |  3 +
>  device-types/iommu/pgtable-intel.tex | 98 ++++++++++++++++++++++++++++
>  introduction.tex                     |  3 +
>  3 files changed, 104 insertions(+)
>  create mode 100644 device-types/iommu/pgtable-intel.tex
> 
> diff --git a/device-types/iommu/description.tex b/device-types/iommu/description.tex
> index c057cdf..a4eb492 100644
> --- a/device-types/iommu/description.tex
> +++ b/device-types/iommu/description.tex
> @@ -407,6 +407,7 @@ \subsubsection{ATTACH_TABLE request}\label{ref:Device Types / IOMMU Device / Dev
>  };
>  
>  #define VIRTIO_IOMMU_ATTACH_TABLE_ARM_SMMU3       1
> +#define VIRTIO_IOMMU_ATTACH_TABLE_INTEL_PT        2
>  \end{lstlisting}
>  
>  Attach an endpoint to a domain, in the same way as an ATTACH
> @@ -1009,6 +1010,7 @@ \subsubsection{PROBE properties}\label{sec:Device Types / IOMMU Device / Device
>  \begin{lstlisting}
>  #define VIRTIO_IOMMU_PROBE_T_RESV_MEM       1
>  #define VIRTIO_IOMMU_PROBE_T_HW_ARM_SMMU3   2
> +#define VIRTIO_IOMMU_PROBE_T_HW_INTEL_VTD   3
>  \end{lstlisting}
>  
>  \paragraph{Property RESV_MEM}\label{sec:Device Types / IOMMU Device / Device operations / PROBE properties / RESVMEM}
> @@ -1160,3 +1162,4 @@ \subsubsection{Fault reporting}\label{sec:Device Types / IOMMU Device / Device o
>  \subsection{Acceleration}\label{sec:Device Types / IOMMU Device / Acceleration}
>  
>  \input{device-types/iommu/pgtable-arm}
> +\input{device-types/iommu/pgtable-intel}
> diff --git a/device-types/iommu/pgtable-intel.tex b/device-types/iommu/pgtable-intel.tex
> new file mode 100644
> index 0000000..90a3410
> --- /dev/null
> +++ b/device-types/iommu/pgtable-intel.tex
> @@ -0,0 +1,98 @@
> +\subsubsection{Intel VT-d tables}\label{sec:Device Types / IOMMU Device / Acceleration / Intel}
> +
> +Attach first-level translation tables in the format described by
> +the \hyperref[intro:VT-Directed-IO]{Intel Virtualization
> +Technology for Directed I/O specification}.
> +
> +\paragraph{PROBE property for VT-d page tables}\label{sec:Device Types / IOMMU Device / Acceleration / Intel / PROBE}
> +
> +The PROBE property VIRTIO_IOMMU_PROBE_T_HW_INTEL_VTD provides
> +information about an Intel VT-d IOMMU.
> +
> +\begin{lstlisting}
> +struct virtio_iommu_probe_hw_intel_vtd {
> +  struct virtio_iommu_probe_property head;
> +  u8   reserved[4];
> +  le64 cap_reg;
> +  le64 ecap_reg;
> +};
> +
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_RWBF        (1 << 4)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_SAGAW_SHIFT 8
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_SAGAW_MASK  0x1f
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_MGAW_SHIFT  16
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_MGAW_MASK   0x1f
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_ZLR         (1 << 22)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_FL1GP       (1 << 56)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_CAP_5LP         (1 << 60)
> +
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_SC         (1 << 7)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_MTS        (1 << 25)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_EAFS       (1 << 34)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_PSS_SHIFT  35
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_PSS_MASK   0x1f
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_SMTS       (1 << 43)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_VCS        (1 << 44)
> +#define VIRTIO_IOMMU_HW_INTEL_VTD_ECAP_SMPWC      (1 << 48)
> +\end{lstlisting}
> +
> +\todo{check that these are necessary and sufficient to support
> +page table assignement in scalable mode.}
> +\todo{Need to support non-PASID assignment? non-scalable?}
> +
> +\begin{description}
> +  \item[\field{cap_reg}] Capability Register.
> +  \item[\field{ecap_reg}] Extended Capability Register.
> +\end{description}
> +
> +\paragraph{ATTACH_TABLE request for VT-d page table}\label{sec:Device Types / IOMMU Device / Acceleration / Intel / ATTACH_TABLE}
> +
> +Attach a single set of page tables to an endpoint.
> +
> +\begin{lstlisting}
> +/* Vt-d I/O Page Table Descriptor */
> +struct virtio_iommu_req_attach_table_intel {
> +  struct virtio_iommu_req_head          head;
> +  le32                                  domain;
> +  le32                                  endpoint;
> +  u8                                    format;
> +  u8                                    reserved[7];
> +  le32                                  pasid;
> +  le64                                  pgtbl_addr;
> +  le64                                  pgtbl_flags;
> +  le32                                  addr_width;
> +  u8                                    reserved[80];
> +  struct virtio_iommu_req_tail          tail;
> +};
> +
> +/* Intel VT-d stage-1 page table entry attributes */
> +#define	VIRTIO_IOMMU_HW_INTEL_VTD_SRE             0x01
> +#define	VIRTIO_IOMMU_HW_INTEL_VTD_EAFE            0x02
> +#define	VIRTIO_IOMMU_HW_INTEL_VTD_WPE             0x40
> +#define	VIRTIO_IOMMU_HW_INTEL_VTD_LAST            0x80
> +\end{lstlisting}
> +
> +\begin{description}
> +  \item[\field{format}] VIRTIO_IOMMU_ATTACH_TABLE_INTEL_PT.
> +  \item[\field{pasid}] Process Address Space Identifier.
> +    \todo{don't we need to allocate these with alloc/free
> +    commands to the host?}
> +  \item[\field{pgtbl_addr}] Stage-1 page table base address.
> +  \item[\field{pgtbl_flags}] Stage-1 page table entry attributes:
> +    \begin{description}
> +      \item{SRE} Supervisor request,
> +      \item{EAFE} Extended access enable,
> +      \item{WPE} Write protect enable.
> +    \end{description}
> +  \item[\field{pat}] Page attribute table data to compute
> +    effective memory type.
> +  \item[\field{addr_width}] The address width of the untranslated
> +    addresses that are subjected to the stage-1 page table.
> +\end{description}
> +
> +\paragraph{INVALIDATE request for VT-d page table}\label{sec:Device Types / IOMMU Device / Acceleration / Intel / INVALIDATE}
> +
> +Supported values for field \field{scope} are
> +VIRTIO_IOMMU_INVAL_S_PASID and VIRTIO_IOMMU_INVAL_S_ADDRESS.
> +The only supported value for field \field{caches} is
> +VIRTIO_IOMMU_INVAL_C_TLB. Field \field{id} is not used.
> diff --git a/introduction.tex b/introduction.tex
> index 636fb1b..d0d5086 100644
> --- a/introduction.tex
> +++ b/introduction.tex
> @@ -104,6 +104,9 @@ \section{Normative References}\label{sec:Normative References}
>  	\phantomsection\label{intro:SMMUv3}\textbf{[SMMUv3]} &
>  	Arm System Memory Management Unit version 3
>  	\newline\url{https://developer.arm.com/documentation/ihi0070/latest} \\
> +	\phantomsection\label{intro:VT-Directed-IO}\textbf{[VT-Directed-IO]} &
> +	Intel Virtualization Technology for Directed I/O
> +	\newline\url{https://cdrdv2.intel.com/v1/dl/getContent/671081} \\
>  
>  	\phantomsection\label{intro:rfc2784}\textbf{[RFC2784]} &
>      Generic Routing Encapsulation. This protocol is only specified for IPv4 and used as either the payload or delivery protocol.
> -- 
> 2.42.0
> 


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]