> J'avais lu un papier où ils ont téléchargé une image ISO avec wget en tuant le pilote réseau toutes les 10 secondes. Bah ça fonctionne : l'ISO est chargée sans erreur !
Bof.
C'est quoi "tuer le pilote" ?
Tu peux plus ou moins faire ça avec Linux, par exemple en branchant et débranchant une carte réseau USB. Wget fera le nécéssaire pour relancer une connexion (ce qu'il a très probablement fait avec Minix 3).
Les drivers ont toujours une tolérance aux erreurs.
> Bien sûr, y'a la solution d'écrire des pilotes sans bug, hum hum.
Pourquoi pas. Ce n'est pas plus irréaliste que de faire un micronoyau hypra souple et capable de gérer toutes les erreurs (voire de faire de l'auto-guérison comme le dit la dépêche). Le principe de Minix 3 supose qu'il y a une partie (assez grosse) sans bug.
C'est pareil avec GNU/Linux, sauf que la partie sans bug est plus grosse. Mais comme c'est moins compliqué, il n'est pas dit que l'un soit intrasèquement moins fiable que autre.
Pour une solution complète, c'est la fiabilité de l'ensemble qui compte. Minix 3 peut ne pas avoir d'erreur, mais si le driver réseau plante toutes les millisecondes c'est sans intérêt. Si la libc déconne, c'est sans intérêt. S'il y a un bug dans wget, c'est sans intérêt.
C'est louable de faire un noyau hyper fiable. Mais il ne faut pas compter sur ça pour corriger ou compenser les erreurs qui sont ailleurs.
[^] # Re: Plantage
Posté par IsNotGood . En réponse à la dépêche MINIX 3 - Google Summer of Code. Évalué à 3.
Bof.
C'est quoi "tuer le pilote" ?
Tu peux plus ou moins faire ça avec Linux, par exemple en branchant et débranchant une carte réseau USB. Wget fera le nécéssaire pour relancer une connexion (ce qu'il a très probablement fait avec Minix 3).
Les drivers ont toujours une tolérance aux erreurs.
> Bien sûr, y'a la solution d'écrire des pilotes sans bug, hum hum.
Pourquoi pas. Ce n'est pas plus irréaliste que de faire un micronoyau hypra souple et capable de gérer toutes les erreurs (voire de faire de l'auto-guérison comme le dit la dépêche). Le principe de Minix 3 supose qu'il y a une partie (assez grosse) sans bug.
C'est pareil avec GNU/Linux, sauf que la partie sans bug est plus grosse. Mais comme c'est moins compliqué, il n'est pas dit que l'un soit intrasèquement moins fiable que autre.
Pour une solution complète, c'est la fiabilité de l'ensemble qui compte. Minix 3 peut ne pas avoir d'erreur, mais si le driver réseau plante toutes les millisecondes c'est sans intérêt. Si la libc déconne, c'est sans intérêt. S'il y a un bug dans wget, c'est sans intérêt.
C'est louable de faire un noyau hyper fiable. Mais il ne faut pas compter sur ça pour corriger ou compenser les erreurs qui sont ailleurs.