#1 Le 03/11/2009, à 14:20
- psychederic
Avec ClearView, les logiciels se réparent eux-mêmes
Article source :
http://www.futura-sciences.com/fr/news/t/informatique/d/avec-clearview-les-logiciels-se-reparent-eux-memes_21199/#xtor=RSS-8
Sources alternatives :
http://www.korben.info/les-programmes-vont-bientot-pouvoir-sauto-reparer.html
http://www.technologyreview.com/computing/23821/
Le document publié officiellement par le MIT :
http://people.csail.mit.edu/rinard/paper/sosp09.pdf
Quand les PC réclament leur indépendance
C'est sous le nom de code ClearView que le professeur Martin C. Rinard, professeur du département de l'ingénierie électrique et des sciences informatiques du MIT (Massachusetts Institute of Technology) et membre du laboratoire des sciences informatiques et d'intelligence artificielle, et son équipe ont dévoilé leur insecticide numérique miracle à même d'éliminer ces vilains bugs de nos ordinateurs. Ce logiciel, sorte de contremaître informatique, doit jauger la bonne exécution des tâches présentes dans la mémoire vive.
Il s'appuie sur cinq fondamentaux, l'observation des invariants, la détection d'erreurs, l'identification des invariants défaillants, la génération d'un correctif pour renforcer les invariants et enfin l'évaluation et l'observation des tâches corrigées suivie par la création d'autant de correctifs que nécessaires.
Principe intéressant ( y à des trolls qui diront y en a besoin sous linux - fais attention le troll je suis champion du concour de tuage de pierre avec deux oiseaux ! Alors imagine avec un tux ! http://desencyclopedie.wikia.com/wiki/Comment_tuer_deux_pierres_avec_un_oiseau )
Bon sinon vous n'avez qu'a voir (pour les trolls un peu moins troll) toutes les modifications du kernel pour comprendre que ça pourrait être une techno sympathique !
http://linuxfr.org/2009/09/10/25848.html
Donc parlez en : spread the word
Dernière modification par psychederic (Le 03/11/2009, à 14:21)
Le monde du libre. Ubuntu :Ca rame ? | Installer un logiciel ? Avec Synaptic- Ubuntu Tweak. Msn ?
Hors ligne
#2 Le 03/11/2009, à 14:54
- psychederic
Re : Avec ClearView, les logiciels se réparent eux-mêmes
Entre parenthèse ça serait déjà bien qu'il y ai un firewall qui fait détection et contre réaction en cas de détection d'attaque. ( ce qui n'existe pas à ma connaissance sous linux , et autre que technologie/boiboite proprio ).
Prelude pourrait le faire, mais il faut encore dévelloper.
Le monde du libre. Ubuntu :Ca rame ? | Installer un logiciel ? Avec Synaptic- Ubuntu Tweak. Msn ?
Hors ligne
#3 Le 03/11/2009, à 20:57
- psychederic
Re : Avec ClearView, les logiciels se réparent eux-mêmes
To test the system, the researchers (most from MIT) brought in an independent team to attack a group of computers running Firefox. The team developed ten code injection exploits and used these exploits to repeatedly attack an application protected by ClearView. ClearView successfully detected and fended off the would-be attacks. For seven of the ten exploits, ClearView automatically generated patches that corrected the error, enabling the application to survive the attacks and continue on to successfully process subsequent inputs.
Bon j'essaye de trouve la source, en espérant que c'est sous licence MIT ( au moins )
Finally, the independent team attempted to make Clear-View apply an undesirable patch, but ClearView’s patch evaluation mechanism enabled ClearView to identify and discard both ineffective patches and damaging patches.
Le monde du libre. Ubuntu :Ca rame ? | Installer un logiciel ? Avec Synaptic- Ubuntu Tweak. Msn ?
Hors ligne
#4 Le 03/11/2009, à 21:16
- Seren
Re : Avec ClearView, les logiciels se réparent eux-mêmes
Le problème d'un programme souvent, et c'est pour ça qu'il reste des bugs, c'est de prévoir tous les cas possibles d'utilisation et donc tous les états du programme.
Si on savait facilement générer tous les cas d'utilisation, et bien on testerait 100% du programme et on aurait donc 0 bug (sous réserve d'avoir le temps et l'argent).
Sans avoir lu ni compris la technologie, je me demande sur quels "invariants" ils se basent.
Si ils sont facilement générés, c'est une technologie révolutionnaire, si ils ont mis des années pour définir ces règles et que ça couvre pas tous les cas, je sais pas si ça changera grand chose à la situation actuelle.
Dernière modification par Seren (Le 03/11/2009, à 21:19)
"I am not young enough to know everything". Oscar Wilde
Hors ligne
#5 Le 03/11/2009, à 21:23
- psychederic
Re : Avec ClearView, les logiciels se réparent eux-mêmes
Le problème d'un programme souvent, et c'est pour ça qu'il reste des bugs, c'est de prévoir tous les cas possibles d'utilisation et donc tous les états du programme.
Il y a des logiciels pour tester tous les cas possibles, et pour valider qu' on a optimisé le code, et que l'on retourne aussi toutes les valeurs quand il faut pour valider les fonctions, et qu'on libère la mémoire.
Mais meme en faisant cela on a des bug ! Ne t'en fais pas que windows à était testé énormément ( et avec tous les logiciels de test ).
Si ils sont facilement généré, c'est une technologie révolutionnaire, si ils ont mis des années pour définir ces règles et que ça couvre pas tous les cas, je sais pas si ça changera grand chose à la situation actuelle.
Non non, il y a le bidouillage, il y a l'informatique, et puis il y a encore au dessus (si si). Si il y a de l' intelligence artificiel derrière - ou juste si tu veux un système d'apprentissage bayesien qui à déjà bien appris sur 99% des cas connus, et bien tu peux faire tourner ce que tu veux par la suite, et ca réagira mieux que les patchs microsofts.
DOnc tu vois il n'y a pas d'invariant, ce n'est pas de la petite informatique, des que quelque chose d'inconnu arrive ( pour le systeme / "intelligence artificiel" ) au pire il fait un essais selon ce qu'il connait déjà et peut te prévenir a l'avance qu'il y a autant de probabilité que marche, sinon au pire il retire le patch après.
Dernière modification par psychederic (Le 03/11/2009, à 21:32)
Le monde du libre. Ubuntu :Ca rame ? | Installer un logiciel ? Avec Synaptic- Ubuntu Tweak. Msn ?
Hors ligne
#6 Le 03/11/2009, à 21:29
- psychederic
Re : Avec ClearView, les logiciels se réparent eux-mêmes
En gros il y a le kéké qui fait un main, il y a le programmeur qui fait des fonctions ( meme très bonne et versatile ), et puis il y a au dessus la metafonction, le meta programme, et encore au dessus le meta programme qui apprend, et peut réagir selon sa métafonction.
Et ne parlons pas d'encore au dessus 
Dernière modification par psychederic (Le 03/11/2009, à 21:30)
Le monde du libre. Ubuntu :Ca rame ? | Installer un logiciel ? Avec Synaptic- Ubuntu Tweak. Msn ?
Hors ligne