Il me semble qu'Ariane 5 s'est écrasée à cause d'un dépassement arithmétique, et ce malgré l'utilisation de ADA. Il me semble que cette sécurité avait été désactivée du langage pour des raisons d'efficacité (enfin c'est wikipedia qui le dit).
D'abord c'est Ada pas ADA, et ensuite ça n'aurait rien changé.
Tu as un overflow, si t'as pas de sécurité, l'équipement (la centrale inertielle ici) plante ou ne plante pas, s'il plante, on passe sur le redondant, qui plante pour la même raison. Si ça ne plante pas, tu envoie des données erronées. Dans les deux cas il faut détruire le lanceur.
Si tu as activé la sécurité, tu détectes l'overflow, soit tu sais pas le gérer, tu déclares que tu as planté, tu passes sur le redondant, il a fait aussi un overflow, tes deux équipements sont plantés. Tu détruis le lanceur. Ou alors tu détectes l'overflow, et tu sais le gérer. Mais c'est quoi la gestion ? De dire au lanceur de faire demi-tour ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: J'y crois pas.
Posté par 2PetitsVerres (Mastodon) . En réponse à la dépêche Un nouveau serveur httpd : Ashd, A Sane HTTP Daemon. Évalué à 6.
D'abord c'est Ada pas ADA, et ensuite ça n'aurait rien changé.
Tu as un overflow, si t'as pas de sécurité, l'équipement (la centrale inertielle ici) plante ou ne plante pas, s'il plante, on passe sur le redondant, qui plante pour la même raison. Si ça ne plante pas, tu envoie des données erronées. Dans les deux cas il faut détruire le lanceur.
Si tu as activé la sécurité, tu détectes l'overflow, soit tu sais pas le gérer, tu déclares que tu as planté, tu passes sur le redondant, il a fait aussi un overflow, tes deux équipements sont plantés. Tu détruis le lanceur. Ou alors tu détectes l'overflow, et tu sais le gérer. Mais c'est quoi la gestion ? De dire au lanceur de faire demi-tour ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.