Discussion :

[Invité]

Bonjour,

Je voudrais faire un programme qui modifie souvent son propre code.

La solution basique est de modifier la fonction voulue dans le code source, recompiler entièrement, exécuter puis de tuer le "vieux" processus. Comme cette opération arrive souvent, il faudrait trouver un moyen de la rendre plus rapide.

En gros, pour l'instant, l'échelle à laquelle je sais modifier le code est celle du programme global. J'aimerais savoir si c'est possible de ne recompiler qu'une classe (dans son propre fichier) puis de la "lier" au programme en cours d'exécution.

Je me demande aussi si ce que l'on appelle une bibliothèque partagée (.dll .so) peut me servir à quelque chose. J'ai pas très bien compris comment ça marche : est-ce qu'une bibliothèque partagée est choisie au début de l'exécution du programme, ou est-ce qu'on peut la changer plein de fois pendant l'exécution ?

Merci d'avance si vous éclairez ma lanterne.

[koala01]

Salut,

Déjà, pourquoi voudrais tu modifier le code d'une classe en cours d'exécution

Je t'avouerai que j'ai du mal à comprendre le but de la manoeuvre: une classe est un objet qui fournit un certain nombre de services clairement définis et non ambigus...

Si tu vient à modifier les services que cet objet est susceptible de rendre en cours d'exécution, comment va tu bien pouvoir faire confiance à ton objet

[Invité]

Merci de ton intérêt.

Je n'ai pas encore réfléchi quelle est la classe à modifier, ni quelle signification ce que cela peut avoir. Pour l'instant je regarde juste si il y a un mécanisme de base qui me permettrait de réaliser le programme que j'ai en tête. La décomposition du programme en objets se fera pas avant un bout de temps. Quand je dit "modifier une classe", c'est parce que c'est la plus petite unité qu'on puisse modifier et recompiler (enfin je pense).

Ce que je voudrais faire c'est un programme qui apprend des expériences qu'il fait et essaye d'améliorer un algorithme. C'est pour ça qu'il doit pouvoir modifier une fonction, pour voir si elle est mieux que la précédente ou pas.

[Mac LAK]

Ce que je voudrais faire c'est un programme qui apprend des expériences qu'il fait et essaye d'améliorer un algorithme. C'est pour ça qu'il doit pouvoir modifier une fonction, pour voir si elle est mieux que la précédente ou pas.

Le C++ n'est pas franchement le langage idéal pour un code adaptatif de type neuronal / système expert... On utilise en général des langages interprétés pour ça, ou mieux, des langages fonctionnels (interprétés eux aussi), car ils permettent de construire un programme à partir d'un autre programme, sans altérer les performances du programme construit dynamiquement (par rapport au langage, bien sûr : ça restera toujours plus lent que l'équivalent fait en C/C++ et compilé).

On peut faire de l'IA en C/C++, bien sûr, mais l'algorithme doit être compilé : ce sont les données qui évoluent, pas le code. Par exemple, on peut parfaitement faire un réseau neuronal en C++, mais le résultat de ton IA sera des données "interprétées" par le réseau neuronal, et non pas du code C++ compilé !!

Ce que je vois de plus proche de ton besoin, ce serait quelque chose qui oscillerait entre les algos génétiques et les réseaux de neurones... Dans les deux cas, tu vas être désagréablement surpris de la complexité du truc.

Une solution bien plus pratique, au prix de quelques pertes de performances bien sûr, serait d'inclure un interpréteur LUA ou Python dans ton programme, et de travailler ensuite sur des fonctions LUA/Python qui, elles, pourront évoluer librement.
Par contre, tu n'obtiendras pas les perfs d'une fonction équivalente en C ou C++, et en plus tu n'auras JAMAIS la garantie qu'un algo "optimal" dans le langage de script choisi sera lui aussi optimal en C/C++.

[3DArchi]

ce sont les données qui évoluent, pas le code.

On peut faire en C++ du code qui s'auto modifie. Mais t'as de grande chance de voir ton anti-virus râler
@po : je dirais que tu mets la charrue avant les bœufs : tu penses à des détails d'implémentation alors qu'à priori tu ne connais pas encore tes specs ni ta conception.

[Mac LAK]

On peut faire en C++ du code qui s'auto modifie. Mais t'as de grande chance de voir ton anti-virus râler

Pour ma part, j'ai arrêté le code auto-modifiant à l'époque du DOS, avec un tracé de lignes suivant Bresenham en ASM qui "construisait" la boucle optimale directement en écrivant les opcodes... Depuis Win32, c'est effectivement le meilleur moyen de voir ton programme partir en zone de quarantaine sans préavis !

[Luc Hermitte]

Le C++ n'est pas franchement le langage idéal pour un code adaptatif de type neuronal / système expert...

Le neuronal n'a rien d'auto-modifiant, c'est que des maths. Et les multiplications de matrices, et autres mises à jour de ces dernières, on maitrise très bien en C++.

A la limite, on peut imaginer rajouter des algos d'apprentissage, mais pour ça 1- arrêter le programme ne coute rien (non mais vous avez vu le coût en temps de l'étude sur comment préparer les données?) 2- les plugins ça marche très bien. 3- les trucs ajoutés sont le résultat de longues heures de travail par une personne, cela ne sera jamais magique. Surtout avec les RdNA.


Pour l'automodif de code, j'en étais resté au fait que les algo gen sur du code LISP ne donnaient rien de concluant -- et LISP me parait plus adapté que les langages impératifs pour ce genre de choses... (maintenant je m'amuserais plus en Prolog, mais toujours pas pour faire de l'automodifiant automagique qui est une chimère)

[Mac LAK]

Le neuronal n'a rien d'auto-modifiant, c'est que des maths.

Certes, j'ai fait un abus de langage, je l'admet. Disons plutôt que c'est plus simple à faire avec d'autres langages qui permettent le code auto-modifiant... Bien entendu, on peut le faire en C++, c'est juste qu'il y a beaucoup plus rapide que ce langage pour écrire / prototyper un tel système.

[koala01]

Le principal problème, c'est que la compilation est un processus complexe, qui nécessite au minimum pas moins de trois outils distincts:

• le préprocesseur
• le compilateur en lui-même
• l'éditeur de liens

auxquels on peut rajouter, selon le cas, des outils de génération d'archive et autres...

Et il va de soi que chaque outil a ses propres dépendances:

• le préprocesseur et le compilateur doivent pouvoir retrouver les fichiers d'en-tête
• l'éditeur de lien doit pouvoir retrouver les bibliothèques tierces utilisés (voire certaines bibliothèques utilisées par défaut )

Il me semble donc difficile d'envisager de créer une bibliothèque dynamique "à la volée" pour être en mesure de l'utiliser "directement"

Par contre, ce que tu peux envisager de faire, c'est de factoriser au maximum les différentes parties de ton algorithmes (ce qui implique de toutes les compiler au début).

Ton application "choisirait" les parties de l'algorithme en fonction des résultats précédents et validerait ou rejetterait les solutions les moins opportunes.

Si l'application doit pouvoir reprendre là où elle s'est arrêtée, il peut "suffire" de sauvegarder les différentes possibilités déjà testées et la dernière possibilité retenue.

Mais, il faut bien comprendre que l'ordinateur est un truc bête comme mes pieds qui ne connait absolument pas la nuance et qui n'a jamais que l'intelligence que l'on a été en mesure de lui insuffler...

A l'heure actuelle (et sans doute encore pour longtemps) le choix que peut avoir un ordinateur reste limité à oui ou non, même si le chemin qui même à cette dualité essaye d'apporter un maximum de nuance.

On est encore loin des ordinateurs qui commencent à réfléchir par eux mêmes comme on en vois dans I Robot ou dans terminator