Quelqu'un qui a une expérience essentiellement axée
sur des Linux/freeBSD peut-il prétendre à adminitrer
des serveurs Unix ?
Les différences sont-elles importantes ?
Une question qui peut sembler naïve,
mais je n'ai jamais mis le nez dans un Unix ;-)
--
-Stan
Je suis mal habitudé: mon gcc a des options très claires pour fixer la conformité, et j'ai été incapable de le mettre en défaut.
Tu n'as pas dû chercher bien loin. En tout cas, la conformité de gcc pour la virgule flottante sous Linux/x86, j'attends toujours...
Je ne nie pas ma complète incompétence en calcul numérique.
Marc Boyer
Benoit SIBAUD
Tu n'as pas dû chercher bien loin. En tout cas, la conformité de gcc pour la virgule flottante sous Linux/x86, j'attends toujours...
Au passage :
http://hal.archives-ouvertes.fr/hal-00128124 « The pitfalls of verifying floating-point computations » David Monniaux (v1 30/01/2007 - v2 (20-04-2007) « Current critical systems commonly use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementations of floating-point is tricky, because semantics may change with many factors beyond source-code level, such as choices made by compilers. We here give concrete examples of problems that can appear and solutions to implement in analysis software. »
À rapprocher du bug n°323 de GCC sur le calcul flottant (qui traite des registres internes du coprocesseur à 80 bits et des registres à 64 bits du processeur)
-- Benoît Sibaud
Tu n'as pas dû chercher bien loin. En tout cas, la conformité de gcc
pour la virgule flottante sous Linux/x86, j'attends toujours...
Au passage :
http://hal.archives-ouvertes.fr/hal-00128124
« The pitfalls of verifying floating-point computations »
David Monniaux
(v1 30/01/2007 - v2 (20-04-2007)
« Current critical systems commonly use a lot of floating-point
computations, and thus the testing or static analysis of programs
containing floating-point operators has become a priority. However,
correctly defining the semantics of common implementations of
floating-point is tricky, because semantics may change with many factors
beyond source-code level, such as choices made by compilers. We here
give concrete examples of problems that can appear and solutions to
implement in analysis software. »
À rapprocher du bug n°323 de GCC sur le calcul flottant (qui traite des
registres internes du coprocesseur à 80 bits et des registres à 64 bits
du processeur)
Tu n'as pas dû chercher bien loin. En tout cas, la conformité de gcc pour la virgule flottante sous Linux/x86, j'attends toujours...
Au passage :
http://hal.archives-ouvertes.fr/hal-00128124 « The pitfalls of verifying floating-point computations » David Monniaux (v1 30/01/2007 - v2 (20-04-2007) « Current critical systems commonly use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementations of floating-point is tricky, because semantics may change with many factors beyond source-code level, such as choices made by compilers. We here give concrete examples of problems that can appear and solutions to implement in analysis software. »
À rapprocher du bug n°323 de GCC sur le calcul flottant (qui traite des registres internes du coprocesseur à 80 bits et des registres à 64 bits du processeur)
