Je te conseille de lire le bouquin de Michaël Abrash
J'ai acheté ce bouquin à sa sortie à l'époque. Merci pour le lien, les pages commencent à se barrer(sauf que j'ai qd meme la version française)...
Je l'avais passé à Benoit Sonntag, l'auteur du compilo Lisaac qui s'y connait pas mal en optim' automatique dans un compilateur et il en tiré qu'il n'y avais pas grand chose à en tirer.
Bon bref.
C'est sûr que concevoir des optimisations automatiques dans le monde des ingénieurs, c'est impossible. C'est pas formé à ça un ingénieur... Et Carmack, malgré tout le respect que j'ai pour lui, est en quelques sortes un ingénieur.
Dans le bouquin d'Abrash, il est beaucoup question d'optimisation en assembleur et un peu en C/C++, or ce que l'on cherche ce sont des optimisations de haut niveau.
L'assembleur étant trop spécifique, il faut se concentrer sur le plus haut niveau.
Dans un langage objet, où le calcul est défini dans une librairie, si le compilateur connait la sémantique (je reviens toujours à ce langage mais c'est le cas de Lisaac, ainsi qu'en Eiffel, mais moins), il est capable de reconstituer la formule qu'on lui donne.
Or il se trouve qu'il existe beaucoup de travaux mathématiques sur le calcul formel.
Il y a donc de quoi faire : lorsqu'on connaît la formule, on peut la bidouiller et appliquer quelques règles.
Après il ya du travail, mais ce serait un excellent sujet :)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: C'est encore programmé en C ?!
Posté par Ontologia (site web personnel) . En réponse à la dépêche Le moteur du jeu Quake 3 en GPL. Évalué à 2.
J'ai acheté ce bouquin à sa sortie à l'époque. Merci pour le lien, les pages commencent à se barrer(sauf que j'ai qd meme la version française)...
Je l'avais passé à Benoit Sonntag, l'auteur du compilo Lisaac qui s'y connait pas mal en optim' automatique dans un compilateur et il en tiré qu'il n'y avais pas grand chose à en tirer.
Bon bref.
C'est sûr que concevoir des optimisations automatiques dans le monde des ingénieurs, c'est impossible. C'est pas formé à ça un ingénieur... Et Carmack, malgré tout le respect que j'ai pour lui, est en quelques sortes un ingénieur.
Dans le bouquin d'Abrash, il est beaucoup question d'optimisation en assembleur et un peu en C/C++, or ce que l'on cherche ce sont des optimisations de haut niveau.
L'assembleur étant trop spécifique, il faut se concentrer sur le plus haut niveau.
Dans un langage objet, où le calcul est défini dans une librairie, si le compilateur connait la sémantique (je reviens toujours à ce langage mais c'est le cas de Lisaac, ainsi qu'en Eiffel, mais moins), il est capable de reconstituer la formule qu'on lui donne.
Or il se trouve qu'il existe beaucoup de travaux mathématiques sur le calcul formel.
Il y a donc de quoi faire : lorsqu'on connaît la formule, on peut la bidouiller et appliquer quelques règles.
Après il ya du travail, mais ce serait un excellent sujet :)
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker