Autre cas de debug tres compliqué (à cause de la difficulté à reproduire sur terre), le bug en 1997 de Mars Pathfinder lié à pb de mutex (https://fr.wikipedia.org/wiki/Exclusion_mutuelle). Je ne sais pas si c'est toujours le cas, mais il y vingt cinq ans c'était donné en exemple dans les cours de tasking temps réel.
Très intelligent en effet d'avoir des mécanismes de hook prévus à l'avance, se préparer à l'imprévisible, c'est la sagesse.
Quand on voit le cout potentiel du bug dans certaines applications, on comprend pourquoi tant d'effort est mis sur toutes les méthodes de preuve formelle. Et pour une fois, on ne parle pas que en cout humain, le bug qui tue au sens propre du terme, ou en centaines de millions de ,ドル mais aussi en très longues années pour relancer une sonde spatiale si on en perd le contrôle après cinq ans de voyage vers les confins du système solaire.
# Autre exemple
Posté par Lionel Draghi (site web personnel) . En réponse à la dépêche « It works on my satellite » ou l'histoire d'un bug dans l'espace. Évalué à 1.
Témoignage passionnant, merci!
Autre cas de debug tres compliqué (à cause de la difficulté à reproduire sur terre), le bug en 1997 de Mars Pathfinder lié à pb de mutex (https://fr.wikipedia.org/wiki/Exclusion_mutuelle). Je ne sais pas si c'est toujours le cas, mais il y vingt cinq ans c'était donné en exemple dans les cours de tasking temps réel.
Très intelligent en effet d'avoir des mécanismes de hook prévus à l'avance, se préparer à l'imprévisible, c'est la sagesse.
Quand on voit le cout potentiel du bug dans certaines applications, on comprend pourquoi tant d'effort est mis sur toutes les méthodes de preuve formelle. Et pour une fois, on ne parle pas que en cout humain, le bug qui tue au sens propre du terme, ou en centaines de millions de ,ドル mais aussi en très longues années pour relancer une sonde spatiale si on en perd le contrôle après cinq ans de voyage vers les confins du système solaire.