Passer au contenu

ADX

Référence d'architectureFeex

ADX ajoute des instructions d'addition d'entiers x86 permettant des chaînes de retenue indépendantes. Il est utile pour l'arithmétique multiprécision soigneusement conçue et est indépendant de BMI2.

Ce que vous devez savoir

ADX ajoute des instructions d'addition d'entiers x86 permettant des chaînes de retenue indépendantes. Il est utile pour l'arithmétique multiprécision soigneusement conçue et est indépendant de BMI2.

Comment ça marche

ADCX utilise le drapeau de retenue et ADOX utilise le drapeau de dépassement de capacité comme entrées et sorties de retenue distinctes. Une routine pour grands entiers peut entrelacer deux chaînes lorsque les dépendances de données le permettent. Les valeurs initiales des drapeaux, l'allocation des registres et l'interaction avec d'autres instructions écrivant sur les drapeaux doivent être maîtrisées.

Domaines d'utilité

Un noyau de multiplication pour grands nombres peut combiner des produits partiels avec des chaînes de retenue indépendantes, parfois aux côtés de MULX de BMI2. Il s'agit d'un choix d'implémentation au sein d'une bibliothèque, et non d'un mode processeur global qui accélère chaque addition entière.

Comment vérifier la prise en charge et l'activation

CPUID.07H.00H:EBX bit 19 indique ADX. Effectuez un dispatching indépendant pour toute famille d'instructions supplémentaire utilisée par la routine. Validez la propagation de retenue et les cas limites ainsi que les résultats numériques ordinaires.

Vérifiez l'instruction exacte et la forme des opérandes plutôt que de déduire la prise en charge à partir d'une extension voisine. Les fonctionnalités sur entiers scalaires utilisent généralement des registres généraux ; un encodage associé à des vecteurs ne signifie pas automatiquement une exigence d'état vectoriel.

Ce que la fonctionnalité n'établit pas

ADX ne garantit pas une implémentation cryptographique à temps constant ni n'accélère toutes les opérations sur grands entiers. Il n'implique pas BMI2, et l'utilisation d'une autre instruction qui écrase un drapeau requis peut compromettre l'algorithme.

Compatibilité et performances en pratique

L'exactitude dépend des cas limites autant que de la vitesse. L'entrée zéro, le dépassement de capacité (overflow), les drapeaux de retenue (carry), la largeur de l'opérande, l'alignement et l'ordonnancement de la mémoire peuvent modifier la sémantique. Privilégiez les interfaces de compilateur ou de bibliothèque qui documentent ces détails et fournissent une solution de repli prise en charge.

Une liste de contrôle pratique pour la vérification

  1. Enregistrez le modèle exact de processeur ou de plateforme ainsi que les versions de l'application, du système d'exploitation et du runtime concernés. Conservez la formulation de l'erreur ou de l'exigence réelle.
  2. Consultez la référence du fabricant pour ce modèle exact, puis inspectez la capacité effective et l'état activé dans l'environnement où le programme s'exécute.
  3. Comparez chaque exigence du binaire ou du backend sélectionné. Une fonctionnalité au nom similaire, un alias ou une étiquette technologique générale ne suffisent pas.
  4. Confirmez que l'application a sélectionné l'implémentation prévue. Utilisez ses diagnostics documentés et une solution de repli prise en charge lorsque les exigences ne sont pas satisfaites.
  5. Effectuez une seule modification prise en charge à la fois et répétez la même charge de travail. Gardez la configuration d'origine et une procédure de récupération disponibles.

Si la fonctionnalité est répertoriée mais que le logiciel ne peut pas l'utiliser

Commencez par le composant exact en échec. Une base de données matérielle décrit une capacité enregistrée ; le système d'exploitation ou l'hyperviseur peut exposer un environnement effectif différent. Une erreur d'instruction non autorisée nécessite également d'examiner l'instruction fautive réelle et le binaire compilé, car une corruption ou une instruction non prise en charge sans rapport peut produire un symptôme similaire.

Installez la version de l'application, du pilote ou du runtime prise en charge pour la plateforme exacte, et utilisez la version de référence ou de secours documentée par le fournisseur si nécessaire. Une mise à jour logicielle ne peut pas créer une instruction dont le processeur est dépourvu. Les modifications de micrologiciel et de politique de sécurité doivent suivre la procédure du fabricant du système et un plan de récupération plutôt qu'une recette d'optimisation générique.

Sources et portée de cette explication

Intel 64 and IA-32 Architectures Software Developer's Manual

Ces références établissent le comportement architectural et les exigences logicielles. Elles ne vérifient pas de manière indépendante chaque valeur de fonctionnalité sur la page d'un modèle matériel associé. Pour la prise en charge d'un modèle, utilisez les preuves du fabricant fournies sur cette page et vérifiez la configuration effective du système. Cet article ne fournit pas de benchmark, de certification ou de date d'évaluation indépendante.

Sources et vérification

Responsabilité éditoriale : Feex. Aucune date de révision indépendante n'est enregistrée. Notre méthodologie de recherche.

  • Intel 64 and IA-32 Architectures Software Developer's Manual · Les volumes 1 et 2 décrivent les familles d'instructions nommées et CPUID ; le volume 3 décrit l'état, la pagination, VMX et les contrôles de protection. La documentation d'architecture n'établit pas la prise en charge pour un modèle particulier.

Cet article vous a-t-il été utile ?

Un simple oui ou non suffit. Choisissez une raison si vous le souhaitez, ou ajoutez une courte remarque.

Cet article vous a-t-il été utile ?