On Tuesday 05 August 2003 16:59, Marc SCHAEFER wrote: > On Tue, Aug 05, 2003 at 01:09:10PM +0200, Martial Guex wrote: > > �tre tout ou rien en pr�tendant que soit cela marche ou cela marche pas. > > Faut plut�t partir de l'hypoth�se que cela va de toute fa�on merder et > > qu'il faut trouver un moyen afin que quand cela arrive on puisse le > > d�tecter et quand m�me en ressortir quelque chose d'utilisable avec une > > probabilit� acceptable. > > Je suis d'accord, mais �tonnant c'est justement ce qui pr�c�de qui > est difficilement vendable. > > Je pense que dans le cas pr�sent de la m�moire ECC et de la parit� sur > tous les bus syst�mes aurait suffit � d�tecter l'erreur. Un > investissement tr�s minime. > > Mais cela apporte deux probl�mes: > > - dans le cas pr�sent ils ont pu comparer le d�compte des votes. > Une solution totalement informatis�e n'offre pas forc�ment ce > double contr�le.
Cela leurs � permit de constater que c'est pas exploitable en l'�tat. > > - ce qui est le plus ennuyeux c'est qu'apparemment il y a bug dans > le logiciel, mais le comit� d'expert se satisfait d'explications > cosmiques d'une probabilit� ridicule. J'aprouve totalement, d'ailleur si c'est est ph�nom�ne al�atoire, il faudrait simul� plusieurs votes avec les m�mes donn�es en entr�es et voir si les r�sultats sont identiques si ce n'est pas le cas c'est qu'un facteur externe au donn�es entr�es influence le traitement. Ce qui ne veus pas dire que l'erreur n'est pas soft mais cela donne d�j� une bonne indication pour investiguer. D'ailleur je vois mal qu'un processus "relativement" simple comme le comptage de vote ne permette pas de cerner rapidement le probl�me. C'est quand m�me pas un driver du kernel que diable. Par ailleur j'aurai plus facilement pench� sur un probl�me de compilateur. Dans leur cas j'aurai facilement opt�s pour un language restrictif tel que l'ADA qui offre quand m�me une s�curit� importante au niveau des erreurs de code et j'aurai �viter l'appel � des libraries ne faisant pas partie de la proc�dure de test du compilateur. Ils ont utilis�s quelle language ? A+ Martial > > _______________________________________________ > gull mailing list > [EMAIL PROTECTED] > http://lists.alphanet.ch/mailman/listinfo/gull -- MuTECH, Martial Guex Rue des Alpes 3 1452 Les Rasses Switzerland Phone:+41 (24) 454 46 35 Fax:+41 (24) 454 46 32 Email: [EMAIL PROTECTED] _______________________________________________ gull mailing list [EMAIL PROTECTED] http://lists.alphanet.ch/mailman/listinfo/gull
