Discussion :

[srvremi]

Bonjour.

J'ai un petit souci. J'ai codé un super programme (si si je vous assure ) qui me fait plein de tests. Ce programme est lancé sous swi-prolog appelé depuis Java avec JPL.
Je passe un seul paramètre à mon prédicat de la forme suivante :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

[[0,1,1],[1,1,1],[0,1,1]]

Le souci, c'est que lorsque je dépasse environ 10 000 caractères (1 000 lignes de 10 chiffres), j'ai une magnifique erreur "Segmentation fault".

Est-ce qu'il existerait une solution pour augmenter un peu la taille de la mémoire ? J'ai bien trouvé d'autres discussions sur le sujet mais il fallait modifier un paramètre depuis un menu, or là je ne peux pas puisque j'appelle mon programme depuis JPL. Ou bien je me trompe ?
Merci d'avance.

@+
Rémi

[Trap D]

Tu es sur Ubuntu je pense, auquel cas je ne peux pas grand chose pour toi

JPL n'accepte pas les arguments du style -L128M -G128M -T128M ?

Tu as posé la question sur les forums Java et Ubuntu ?

[Invité]

Bonsoir,

Un petit "ulimit -s [taille de la pile]" ne conviendrait-il pas ?

[srvremi]

Je suis sous Ubuntu effectivement, mais je ne trouve pas de paramètres à spécifier à JPL
Et ulimit ne change rien au problème.

Merci quand même.

@+
Rémi

[Invité]

Bonjour,

Peut-être l'utilisation d'un adresse erronée alors.

Mais je ne suis pas très fort en erreur de segmentation.

[gorgonite]

JPL n'accepte pas les arguments du style -L128M -G128M -T128M ?

a priori s'il appelle swipl depuis Java, JPL doit juste interfacer un fork/exec via JNI... sinon cela contredit le principe de la sandbox


peut-être faut-il aussi augmenter la mémoire utilisée par ta JVM