[ABI Dependency] Best-Effort support for pip

Author: DEKHTIARJonathan

variantlib/constants.py

@@ -65,6 +65,8 @@
 )
 VALIDATION_PROVIDER_REQUIRES_REGEX = re.compile(r"[\S ]+")
 
+VARIANT_ABI_DEPENDENCY_NAMESPACE: Literal["abi_dependency"] = "abi_dependency"
+
 
 # VALIDATION_PYTHON_PACKAGE_NAME_REGEX = re.compile(r"[^\s-]+?")
 # Per PEP 508: https://peps.python.org/pep-0508/#names

variantlib/resolver/lib.py

@@ -1,7 +1,13 @@
 from __future__ import annotations
 
+import logging
+import os
+from importlib import metadata
 from typing import TYPE_CHECKING
 
+from packaging.utils import canonicalize_name
+
+from variantlib.constants import VARIANT_ABI_DEPENDENCY_NAMESPACE
 from variantlib.models.variant import VariantDescription
 from variantlib.models.variant import VariantFeature
 from variantlib.models.variant import VariantProperty
@@ -20,6 +26,18 @@
     from variantlib.protocols import VariantFeatureValue
     from variantlib.protocols import VariantNamespace
 
+logger = logging.getLogger(__name__)
+
+
+def _normalize_package_name(name: str) -> str:
+    # VALIDATION_FEATURE_NAME_REGEX does not accepts "-"
+    return canonicalize_name(name).replace("-", "_")
+
+
+def _normalize_package_version(version: str) -> str:
+    # VALIDATION_VALUE_REGEX does not accepts "+"
+    return version.split("+", maxsplit=1)[0]
+
 
 def filter_variants(
     vdescs: list[VariantDescription],
@@ -125,7 +143,60 @@ def sort_and_filter_supported_variants(
     :return: Sorted and filtered list of `VariantDescription` objects.
     """
     validate_type(vdescs, list[VariantDescription])
+    validate_type(supported_vprops, list[VariantProperty])
 
+    if namespace_priorities is None:
+        namespace_priorities = []
+
+    # ======================================================================= #
+    #                          ABI DEPENDENCY ADDITION                        #
+    # ======================================================================= #
+
+    # A. Adding ABI Dependencies Marks
+    # A.1. From the current environment
+    packages = [
+        (dist.metadata["Name"], dist.version) for dist in metadata.distributions()
+    ]
+    for pkg_name, pkg_version in sorted(packages):
+        supported_vprops.append(
+            VariantProperty(
+                namespace=VARIANT_ABI_DEPENDENCY_NAMESPACE,
+                feature=_normalize_package_name(pkg_name),
+                value=_normalize_package_version(pkg_version),
+            )
+        )
+
+    # A.2. Manually fed from environment variable
+    # Format `VARIANT_ABI_DEPENDENCY=packageA==1.2.3,...,packageZ==7.8.9`
+    if variant_abi_deps_env := os.environ.get("NV_VARIANT_PROVIDER_FORCE_SM_ARCH"):
+        for pkg_spec in variant_abi_deps_env.split(","):
+            try:
+                pkg_name, pkg_version = pkg_spec.split("==", maxsplit=1)
+            except ValueError:
+                logger.exception(
+                    "`NV_VARIANT_PROVIDER_FORCE_SM_ARCH` received an invalid value "
+                    "`%(pkg_spec)s`. It will be ignored.\n"
+                    "Expected format: `packageA==1.2.3,...,packageZ==7.8.9`.",
+                    {"pkg_spec": pkg_spec},
+                )
+                continue
+
+            supported_vprops.append(
+                VariantProperty(
+                    namespace=VARIANT_ABI_DEPENDENCY_NAMESPACE,
+                    feature=_normalize_package_name(pkg_name),
+                    value=_normalize_package_version(pkg_version),
+                )
+            )
+
+    # A.3 Adding `VARIANT_ABI_DEPENDENCY_NAMESPACE` at the back of`namespace_priorities`
+    namespace_priorities.append(VARIANT_ABI_DEPENDENCY_NAMESPACE)
+
+    # ======================================================================= #
+    #                               NULL VARIANT                              #
+    # ======================================================================= #
+
+    # B. Adding the `null-variant` to the list - always "compatible"
     if (null_variant := VariantDescription()) not in vdescs:
         """Add a null variant description to the list."""
         # This is needed to ensure that we always consider the null variant
@@ -139,8 +210,6 @@ def sort_and_filter_supported_variants(
         """No supported properties provided, return no variants."""
         return []
 
-    validate_type(supported_vprops, list[VariantProperty])
-
     # Step 1: we remove any duplicate, or unsupported `VariantDescription` on
     #         this platform.
     filtered_vdescs = list(