Ich schreibe eine Spezifikation, die einige Berechnungen beschreibt, die von Software ausgeführt werden. Die Absicht ist, dass ich diese Spezifikation an zwei verschiedene Programmierer weitergeben kann (die möglicherweise unterschiedliche Sprachen und / oder Architekturen verwenden), und wenn ich Eingaben in ihre Programme einspeise, werden sie beideimmer das gleiche Ergebnis ausspucken.

Wenn in der Spezifikation beispielsweise "Addiere 0,5 zum Ergebnis" steht, kann dies ein Problem sein. Abhängig von der Gleitkomma-Speichermethode kann 0,5 als 0,4999999135 oder 0,500000138 usw. dargestellt werden.

Was ist der beste Weg, um die Regeln hier so festzulegen, dass die Dinge auf der ganzen Linie konsistent sind? Kann ich nur sagen "Alle Zahlen müssen in dargestellt werdenIEEE 754 64-Bit-Format "? Oder ist es besser, etwas wie" Alle Zahlen müssen zuerst mit 1000 skaliert und mit Festkomma-Arithmetik berechnet werden "zu sagen?

Dies unterscheidet sich ein wenig von den meisten Floating-Point-Fragen, die mir begegnet sind, da es um die Wiederholbarkeit auf allen Plattformen und nicht um die Gesamtpräzision geht.