English version

CariBlog – Blog sur les pages recherche de Vincent Lefèvre et l'arithmétique des ordinateurs

Tous les billets.

[XML]

[2020-06-13 15:26:21 UTC]
GNU MPFR 4.1.0 Release Candidate

(CariBlog – MPFR – Logiciels)

The GNU MPFR 4.1.0 release candidate is available.

Note that the default CFLAGS value for GCC uses an option that has been introduced in GCC 4.1 (released in 2006). So, if you want to build MPFR with a GCC version less than 4.1, you need to provide an explicit CFLAGS. This issue will be fixed in the final release.

[2020-03-31 20:56:38 UTC]
Nouveaux patches pour GNU MPFR 4.0.2

(CariBlog – MPFR – Logiciels)

Les patches 2 à 6 de GNU MPFR 4.0.2 sont disponibles dans la section bugs de la page de MPFR 4.0.2. Les principaux corrigent des problèmes d'underflow/overflow pouvant être visibles avec les fonctions suivantes: mpfr_set_ui_2exp, mpfr_set_si_2exp, mpfr_set_uj_2exp, mpfr_set_sj_2exp, mpfr_fmma, mpfr_fmms, mpfr_fma, mpfr_fms.

[2020-02-12 16:39:01 UTC]
Serveur mpfr.org hors-service

(CariBlog – MPFR – Logiciels)

Le serveur mpfr.org est actuellement hors-service (tout comme d'autres serveurs virtualisés, hébergés au même endroit). Ceci est dû à des problèmes imprévus suite à une maintenance concernant le NAS faite hier (2020-02-11 à 17:00 UTC). Nous ne savons toujours pas quand le serveur sera de nouveau en ligne.

Vous pouvez toujours obtenir le code source de GNU MPFR via le site FTP GNU et via InriaForge.

[Mise à jour] Le serveur est de nouveau en ligne.

[2019-11-04 00:30:17 UTC]
Nouvelle page web sur le jeu Neopolis

(vinc17 – Lyon – CariBlog)

J'ai écrit une nouvelle page web sur Neopolis, jeu créé par Ben Kaltenbaek, Roland Lamidieu et Lucas Odion, et lancé à Lyon en mars 2019 sous le nom Metropolis, avant d'être renommé en Neopolis en juillet.

J'y donne des informations en tant que joueur aux 5 parties qui ont eu lieu à Lyon, dont celle en cours depuis le début du mois.

J'y ai aussi ajouté une section sur un bug d'affichage, pour lequel j'ai trouvé une explication probable, liée à une mauvaise méthode de calcul en virgule flottante (les valeurs particulières affectées par ce bug correspondent à mon explication).

[2019-04-04 15:58:16 UTC]
Nouveau papier Accurate Complex Multiplication in Floating-Point Arithmetic

(CariBlog – MPFR)

J'ai un nouveau papier, écrit avec Jean-Michel Muller: Accurate Complex Multiplication in Floating-Point Arithmetic. Il a été accepté au 26e IEEE Symposium on Computer Arithmetic (ARITH 26), qui se tiendra du 10 au 12 juin 2019 à Kyoto au Japon. Résumé (en anglais):

We deal with accurate complex multiplication in binary floating-point arithmetic, with an emphasis on the case where one of the operands in a double-word number. We provide an algorithm that returns a complex product with normwise relative error bound close to the best possible one, i.e., the rounding unit u.

Pour les tests, des comparaisons ont été faites avec l'algorithme naïf dans les formats binary64 (double précision) et binary128 (quadruple précision), et avec des implémentations basées sur GNU MPFR, sur des machines avec processeurs x86_64 et POWER9 (ce dernier est actuellement le seul processeur avec un support binary128 en matériel).

[2019-02-02 22:20:20 UTC]
GNU MPFR 4.0.2 est sortie

(CariBlog – MPFR – Logiciels)

La bibliothèque GNU MPFR 4.0.2 (dinde aux marrons, patch level 2) est sortie. En plus de la correction de bugs, cette version corrige la description de mpfr_get_str dans le manuel pour suivre le comportement historique et celui de la fonction mpf_get_str de GMP.

[2019-01-09 17:52:18 UTC]
GNU MPFR 4.0.2 Release Candidate

(CariBlog – MPFR – Logiciels)

[2018-12-31 17:35:32 UTC]
Patch 14 pour GNU MPFR 4.0.1

(CariBlog – MPFR – Logiciels)

Le patch 14 de GNU MPFR 4.0.1 est disponible dans la section bugs de la page de MPFR 4.0.1. Il corrige un bug affectant les fonctions mpfr_fmma et mpfr_fmms dans des cas particuliers: dans le mode d'arrondi au plus près (MPFR_RNDN), ces fonctions peuvent arrondir dans la mauvaise direction à cause d'un double arrondi dans le calcul.

[2018-07-31 15:57:12 UTC]
Patches 12 et 13 pour GNU MPFR 4.0.1

(CariBlog – MPFR – Logiciels)

Les patches 12 et 13 de GNU MPFR 4.0.1 sont disponibles dans la section bugs de la page de MPFR 4.0.1. Ils corrigent des bugs dans les fonctions de sortie formatée (mpfr_*printf):

  • Patch 12: Possible comportement indéfini en cas d'erreur: écriture via un pointeur nul, libération d'un mauvais pointeur, et comportement indéfini lié à <stdarg.h>.

  • Patch 13: Les drapeaux pour le modificateur de longueur P (argument de type mpfr_prec_t) sont ignorés; ceci inclut le signe de la taille (field width) quand la valeur est fournie en argument (en utilisant l'astérisque * dans la chaîne de format).

[2018-07-25 01:17:55 UTC]
Patches 10 et 11 pour GNU MPFR 4.0.1

(CariBlog – MPFR – Logiciels)

Les patches 10 et 11 de GNU MPFR 4.0.1 sont disponibles dans la section bugs de la page de MPFR 4.0.1.

Le problème principal est que les fonctions mpfr_erf et mpfr_erfc peuvent provoquer un échec d'assertion, car la borne d'erreur est calculée avec le type double et la valeur peut être trop grande pour être représentable (overflow). C'est corrigé par le patch 11.

[2018-07-10 19:04:10 UTC]
Patches 7 à 9 pour GNU MPFR 4.0.1

(CariBlog – MPFR – Logiciels)

Les patches 7 à 9 de GNU MPFR 4.0.1 sont disponibles dans la section bugs de la page de MPFR 4.0.1.

Le problème principal se produit avec les fonctions de sortie formatée (mpfr_*printf) quand le drapeau ' est utilisé dans une locale où le séparateur des milliers n'est pas vide. Dans certains cas spécifiques (c'est-à-dire, quand la partie entière est arrondie vers le haut à 10 ou 100), la chaîne générée peut être incorrecte et puisqu'elle est plus petite que la chaîne attendue, une taille de tampon incorrecte peut être fournie à la fonction de libération de mémoire de l'allocateur courant de GMP. Par défaut, cette taille est ignorée, mais elle peut avoir une importance si les allocateurs ont été changés avec la fonction mp_set_memory_functions de GMP, auquel cas une conséquence possible est une corruption de la mémoire.

[2018-05-05 21:59:20 UTC]
Patches 1 à 6 pour GNU MPFR 4.0.1

(CariBlog – MPFR – Logiciels)

Les patches 1 à 6 de GNU MPFR 4.0.1 sont disponibles dans la section bugs de la page de MPFR 4.0.1. Le premier corrige un bug majeur introduit dans MPFR 4.0.0 (dans un cas particulier de l'addition/soustraction), quoique la plupart des applications ne sont probablement pas affectées. Les autres corrigent des bugs mineurs, probablement sans conséquences en pratique.

Pour les utilisateurs du module Perl Math::MPFR, noter que le patch 6 fait apparaître un bug dans la version 4.03 de ce module (version actuelle au moment d'écrire ces lignes – [Mise à jour du 2018-05-08] Une nouvelle version du module est maintenant disponible).

[2018-02-08 17:35:33 UTC]
GNU MPFR 4.0.1 est sortie

(CariBlog – MPFR – Logiciels)

La bibliothèque GNU MPFR 4.0.1 (dinde aux marrons, patch level 1) est sortie. Elle corrige quelques problèmes de la version 4.0.0, pour laquelle je n'avais pas fait d'annonce ici: en particulier, un bug dans la fonction mpfr_div_ui, qui était présent depuis l'introduction de mpfr_div_ui au tout début du développement de MPFR en 1999. Mais à partir de la version 4.0.0, ce bug affectait aussi la fonction mpfr_div.

Ces versions 4.0.* contiennent de très nombreux changements par rapport aux versions 3.1.* (GNU MPFR 3.1.0 était sortie en octobre 2011).

[2017-12-11 22:45:58 UTC]
GNU MPFR 4.0.0 Release Candidate

(CariBlog – MPFR – Logiciels)

The GNU MPFR 4.0.0 release candidate is available.

By the way, I did my first MPFR commit 17 years ago.

[2017-10-30 11:55:45 UTC]
Patch 1 pour GNU MPFR 3.1.6

(CariBlog – MPFR – Logiciels)

Le patch 1 de GNU MPFR 3.1.6 est disponible dans la section bugs de la page de MPFR 3.1.6. Il corrige les fonctions de conversion mpfr_get_ld, mpfr_get_si, mpfr_get_ui, mpfr_get_sj, mpfr_get_uj et mpfr_get_z lorsqu'elles sont appelées avec une plage d'exposants très réduite.



webmaster@vinc17.org