problème d'optimisation [Résolu]

gorgonite · 18/05/2008, 15h32

Bonjour,

J'ai encore un problème avec mon analyseur de code en F#... le module d'analyser segfault avec les optimisations standards (-O2), mais pas en -O1

quelles sont les "structures" que je devrais surveiller en priorité ?

A priori, ça vient des cross module optimizations

le seul module n'étant pas dans la librairie standard que j'utilise est celui sur les intervalles... http://www.developpez.net/forums/sho...89&postcount=2

LLB · 19/05/2008, 15h09

Un segfault n'est jamais normal.

Si tu peux donner un bout de code qui génère un segfault, ça nous permettra de t'aider.

gorgonite · 19/05/2008, 15h42

Citation:

Envoyé par LLB

Si tu peux donner un bout de code qui génère un segfault, ça nous permettra de t'aider.

ce module est justement le seul que je dois garder "secret" jusqu'à publication... il s'agit d'un analyseur de Karr un peu particulier

mais en gros, j'ai des fonctions récursives faisant des match, et dans ses matches j'ai des accès aux propriétés Up et Low de mes intervalles. Rien d'extraordinaire

Est-ce qu'on récupérer la liste exhaustive des optimisations faites par F# ?

gorgonite · 19/05/2008, 16h25

pour infos, le problème ne survient pas avec FSharp 1.9.4.15, malheureusement le zip fournit sur le site Microsoft contient un fichier (fsc) qui refuse l'utilisation avec Mono sous Linux

donc sous Linux, je me retrouve avec la version 1.9.3.7, et là au-dessus de -O1 ça plante... ou alors le problème vient de Mono

LLB · 19/05/2008, 16h52

J'ai eu des problèmes avec la version 1.9.4.15 aussi. Il faut ajouter le flag "--runtime=v2.0.50727" pour exécuter fscp10.exe. En revanche, je n'ai pas encore réussi à utiliser le mode interactif.

gorgonite · 19/05/2008, 17h07

Citation:

Envoyé par LLB

J'ai eu des problèmes avec la version 1.9.4.15 aussi. Il faut ajouter le flag "--runtime=v2.0.50727" pour exécuter fscp10.exe. En revanche, je n'ai pas encore réussi à utiliser le mode interactif.

j'ai essayé, mais cela ne suffit pas... apparemment, quelqu'un a eu le même problème sur la mailing-list f#

gorgonite · 19/05/2008, 20h05

pour infos, ce problème avait lieu avec tous les modules en dll... mais avec la compilation statique, tout va bien avec toutes les optimisations possibles

18/05/2008, 15h32	#1
gorgonite Rédacteur/Modérateur Nicolas Vallée Ingénieur d'études Inscription : décembre 2005 Messages : 9 979 Détails du profil Informations personnelles : Nom : Nicolas Vallée Âge : 28 Localisation : France Informations professionnelles : Activité : Ingénieur d'études Secteur : Transports Informations forums : Inscription : décembre 2005 Messages : 9 979 Points : 18 180 Points : 18 180	problème d'optimisation Bonjour, J'ai encore un problème avec mon analyseur de code en F#... le module d'analyser segfault avec les optimisations standards (-O2), mais pas en -O1 quelles sont les "structures" que je devrais surveiller en priorité ? A priori, ça vient des cross module optimizations le seul module n'étant pas dans la librairie standard que j'utilise est celui sur les intervalles... http://www.developpez.net/forums/sho...89&postcount=2 __________________ Evitez les MP pour les questions techniques... il y a des forums Contributions sur DVP : Mes Tutos \| Mon Blog
	00

19/05/2008, 16h25	#4
gorgonite Rédacteur/Modérateur Nicolas Vallée Ingénieur d'études Inscription : décembre 2005 Messages : 9 979 Détails du profil Informations personnelles : Nom : Nicolas Vallée Âge : 28 Localisation : France Informations professionnelles : Activité : Ingénieur d'études Secteur : Transports Informations forums : Inscription : décembre 2005 Messages : 9 979 Points : 18 180 Points : 18 180	pour infos, le problème ne survient pas avec FSharp 1.9.4.15, malheureusement le zip fournit sur le site Microsoft contient un fichier (fsc) qui refuse l'utilisation avec Mono sous Linux donc sous Linux, je me retrouve avec la version 1.9.3.7, et là au-dessus de -O1 ça plante... ou alors le problème vient de Mono __________________ Evitez les MP pour les questions techniques... il y a des forums Contributions sur DVP : Mes Tutos \| Mon Blog
	00

19/05/2008, 20h05	#7
gorgonite Rédacteur/Modérateur Nicolas Vallée Ingénieur d'études Inscription : décembre 2005 Messages : 9 979 Détails du profil Informations personnelles : Nom : Nicolas Vallée Âge : 28 Localisation : France Informations professionnelles : Activité : Ingénieur d'études Secteur : Transports Informations forums : Inscription : décembre 2005 Messages : 9 979 Points : 18 180 Points : 18 180	pour infos, ce problème avait lieu avec tous les modules en dll... mais avec la compilation statique, tout va bien avec toutes les optimisations possibles __________________ Evitez les MP pour les questions techniques... il y a des forums Contributions sur DVP : Mes Tutos \| Mon Blog
	00

19/05/2008, 15h09	#2
LLB Membre Expert Inscription : mars 2002 Messages : 962 Détails du profil Informations forums : Inscription : mars 2002 Messages : 962 Points : 1 149 Points : 1 149	Un segfault n'est jamais normal. Si tu peux donner un bout de code qui génère un segfault, ça nous permettra de t'aider.
	00

19/05/2008, 16h52	#5
LLB Membre Expert Inscription : mars 2002 Messages : 962 Détails du profil Informations forums : Inscription : mars 2002 Messages : 962 Points : 1 149 Points : 1 149	J'ai eu des problèmes avec la version 1.9.4.15 aussi. Il faut ajouter le flag "--runtime=v2.0.50727" pour exécuter fscp10.exe. En revanche, je n'ai pas encore réussi à utiliser le mode interactif.
	00

Outils de la discussion
Afficher une version imprimable Envoyer un lien vers cette page par email