[HS] comportement curieux de malloc

Vincent Danjean

02/10/2012 à 01:00

Le 01/10/2012 19:13, François Boisson a écrit :

Le Mon, 1 Oct 2012 15:55:14 +0000 (UTC)
Tanguy Ortolo <tanguy+ a écrit:

François Boisson, 2012-09-29 15:11+0200:

Il est utilisé en CPGE donc il faut le
maintenir à flot

Bof, ce qui est fait en prépa en Caml Light doit bien tourner avec OCaml
non ?

Ben oui, mais OCaml est obèse.

Ben non en fait. J'ai écrit des corrections de plusieurs problèmes
de concours. Je devais les tester avec CamlLight et pas OCaml car
il y a quelques petites incompatibilités. On passe très facilement
d'un code CamlLight à un code OCaml (et réciproquement si on n'utilise
que les choses basiques de OCaml), mais il faut quand même changer
une ou deux choses. Je pourrai rechercher si vous êtes vraiment
intéressés.

A+
Vincent
--
Vincent Danjean GPG key ID 0x9D025E87
GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87
Unofficial pkgs: http://moais.imag.fr/membres/vincent.danjean/deb.html
APT repo: deb http://people.debian.org/~vdanjean/debian unstable main

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

Vincent Danjean

02/10/2012 à 01:00

Le 29/09/2012 18:23, François Boisson a écrit :

Le Sat, 29 Sep 2012 17:51:46 +0200
"Sylvain L. Sauvage" a écrit:

À mon avis, c’est un gros bogue de camllight de se reposer sur
un comportement non spécifié et dépendant d’une mise en œuvre
particulière.

3. une fonction intermédiaire « à sommet constant » ne ferait
qu’encourager les programmeurs à faire ce que semble faire
camllight. Quand on se fait un tas, les objets que l’on met
dedans doivent être placés _relativement_ au début du tas, en
clair, on les place par des offset relatifs à heap_start,
laquelle valeur doit être dans une _variable_ qui est utilisée
_à chaque fois_ pour retrouver l’adresse complète de l’objet.
(Et ça fonctionne que ce soit heap_start ou head_end et que
l’on y place les objets en « montant » les offsets ou en les
« descendant ».)

Ben oui, mais ça ne fait pas mon affaire tout ça, en gros il faudrait que je
refasse la gestion complète de la mémoire de camllight...

Il suffit de se passer de malloc et d'utiliser plutôt mmap dans une
zone libre de l'espace d'adressage, zone qu'on pourra faire grandir
par le bas avec d'autres mmap quand le besoin s'en fait sentir...

A+
Vincent
--
Vincent Danjean GPG key ID 0x9D025E87
GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87
Unofficial pkgs: http://moais.imag.fr/membres/vincent.danjean/deb.html
APT repo: deb http://people.debian.org/~vdanjean/debian unstable main

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

BERTRAND Joël

02/10/2012 à 09:50

Vincent Danjean a écrit :

Le 29/09/2012 18:23, François Boisson a écrit :
Le Sat, 29 Sep 2012 17:51:46 +0200
"Sylvain L. Sauvage" a écrit:

À mon avis, c’est un gros bogue de camllight de se reposer sur
un comportement non spécifié et dépendant d’une mise en œuvre
particulière.

3. une fonction intermédiaire « à sommet constant » ne ferait
qu’encourager les programmeurs à faire ce que semble faire
camllight. Quand on se fait un tas, les objets que l’on met
dedans doivent être placés _relativement_ au début du tas, en
clair, on les place par des offset relatifs à heap_start,
laquelle valeur doit être dans une _variable_ qui est utilisée
_à chaque fois_ pour retrouver l’adresse complète de l’objet.
(Et ça fonctionne que ce soit heap_start ou head_end et que
l’on y place les objets en « montant » les offsets ou en les
« descendant ».)

Ben oui, mais ça ne fait pas mon affaire tout ça, en gros il faudrait que je
refasse la gestion complète de la mémoire de camllight...

Il suffit de se passer de malloc et d'utiliser plutôt mmap dans une
zone libre de l'espace d'adressage, zone qu'on pourra faire grandir
par le bas avec d'autres mmap quand le besoin s'en fait sentir...

Et comment t'assures-tu que le prochain mmap() va pouvoir se faire
exactement là où tu veux (juste après le mmap() précédent) ? Le seul
truc que je vois de viable, c'est la liste chaînée ou l'arbre si l'on
peut vouloir accéder à un objet précis en fonction d'un champ connu.

Cordialement,

JKB

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

François Boisson

02/10/2012 à 16:00

Le Tue, 02 Oct 2012 00:50:29 +0200
Vincent Danjean a écrit:

Ben non en fait. J'ai écrit des corrections de plusieurs problèmes
de concours. Je devais les tester avec CamlLight et pas OCaml car
il y a quelques petites incompatibilités. On passe très facilement
d'un code CamlLight à un code OCaml (et réciproquement si on n'utilise
que les choses basiques de OCaml), mais il faut quand même changer
une ou deux choses. Je pourrai rechercher si vous êtes vraiment
intéressés.

Le script ci dessous remplit parfaitement son office pour le passage de
camllight à ocaml dans les cas simple, par contre je n'ai pas vu
d'incompatibilité surtout dans les épreuves des concours (la dernière épreuve
de Centrale proposait même des primitives Camllight et Ocaml). Quel type
d'incompatibilité il y a?

François Boisson

#!/bin/sh
mv $1 $1.old
cat $1.old |
sed -e '1,$s/ prefix ([^ ]*) / ( 1 ) /g' |
sed -e '1,$s/copy_vect/Array.copy/g' |
sed -e '1,$s/vect_length/Array.length/g' |
sed -e '1,$s/sub_vect/Array.sub/g' |
sed -e '1,$s/make_vect/Array.make/g' |
sed -e '1,$s/list_length/List.length/g' |
sed -e '1,$s/hd/List.hd/g' |
sed -e '1,$s/tl/List.tl/g' |
sed -e '1,$s/rev/List.rev/g' |
sed -e '1,$s/combine/List.combine/g' |
sed -e '1,$s/split/List.split/g' |
sed -e '1,$s/mem/List.mem/g' |
sed -e '1,$s/mem_assoc/List.mem_assoc/g' |
sed -e '1,$s/string_length/String.length/g' |
sed -e '1,$s/sub_string/String.sub/g' |
sed -e '1,$s/rgb/Graphics.rgb/g' |
sed -e '1,$s/unix__/Unix./g' |
sed -e '1,$s/system__/Sys./g' |
sed -e '1,$s/random__/Random./g' |
sed -e '1,$s/sys__command_line/Sys.argv/g' |
sed -e '1,$s/system_command/Sys.command/g' |
sed -e '1,$s/make_matrix/Array.make_matrix/g' |
sed -e '1,$s/`(.)`/'"'"'1'"'"'/g' |
sed -e '1,$s/make_string/String.make/g' > $1

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

Le Tue, 02 Oct 2012 00:50:29 +0200
Vincent Danjean <vdanjean.ml@free.fr> a écrit:

Ben non en fait. J'ai écrit des corrections de plusieurs problèmes
de concours. Je devais les tester avec CamlLight et pas OCaml car
il y a quelques petites incompatibilités. On passe très facilement
d'un code CamlLight à un code OCaml (et réciproquement si on n'utilise
que les choses basiques de OCaml), mais il faut quand même changer
une ou deux choses. Je pourrai rechercher si vous êtes vraiment
intéressés.

Le script ci dessous remplit parfaitement son office pour le passage de
camllight à ocaml dans les cas simple, par contre je n'ai pas vu
d'incompatibilité surtout dans les épreuves des concours (la dernière épreuve
de Centrale proposait même des primitives Camllight et Ocaml). Quel type
d'incompatibilité il y a?

François Boisson

#!/bin/sh
mv $1 $1.old
cat $1.old |
sed -e '1,$s/ prefix ([^ ]*) / ( 1 ) /g' |
sed -e '1,$s/copy_vect/Array.copy/g' |
sed -e '1,$s/vect_length/Array.length/g' |
sed -e '1,$s/sub_vect/Array.sub/g' |
sed -e '1,$s/make_vect/Array.make/g' |
sed -e '1,$s/list_length/List.length/g' |
sed -e '1,$s/hd/List.hd/g' |
sed -e '1,$s/tl/List.tl/g' |
sed -e '1,$s/rev/List.rev/g' |
sed -e '1,$s/combine/List.combine/g' |
sed -e '1,$s/split/List.split/g' |
sed -e '1,$s/mem/List.mem/g' |
sed -e '1,$s/mem_assoc/List.mem_assoc/g' |
sed -e '1,$s/string_length/String.length/g' |
sed -e '1,$s/sub_string/String.sub/g' |
sed -e '1,$s/rgb/Graphics.rgb/g' |
sed -e '1,$s/unix__/Unix./g' |
sed -e '1,$s/system__/Sys./g' |
sed -e '1,$s/random__/Random./g' |
sed -e '1,$s/sys__command_line/Sys.argv/g' |
sed -e '1,$s/system_command/Sys.command/g' |
sed -e '1,$s/make_matrix/Array.make_matrix/g' |
sed -e '1,$s/`(.)`/'"'"'1'"'"'/g' |
sed -e '1,$s/make_string/String.make/g' > $1

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/20121002155725.5cb717696c48009f47420a2c@maison.homelinux.net

Vous avez filtré cet utilisateur ! Consultez son message

Le Tue, 02 Oct 2012 00:50:29 +0200
Vincent Danjean a écrit:

Ben non en fait. J'ai écrit des corrections de plusieurs problèmes
de concours. Je devais les tester avec CamlLight et pas OCaml car
il y a quelques petites incompatibilités. On passe très facilement
d'un code CamlLight à un code OCaml (et réciproquement si on n'utilise
que les choses basiques de OCaml), mais il faut quand même changer
une ou deux choses. Je pourrai rechercher si vous êtes vraiment
intéressés.

Le script ci dessous remplit parfaitement son office pour le passage de
camllight à ocaml dans les cas simple, par contre je n'ai pas vu
d'incompatibilité surtout dans les épreuves des concours (la dernière épreuve
de Centrale proposait même des primitives Camllight et Ocaml). Quel type
d'incompatibilité il y a?

François Boisson

#!/bin/sh
mv $1 $1.old
cat $1.old |
sed -e '1,$s/ prefix ([^ ]*) / ( 1 ) /g' |
sed -e '1,$s/copy_vect/Array.copy/g' |
sed -e '1,$s/vect_length/Array.length/g' |
sed -e '1,$s/sub_vect/Array.sub/g' |
sed -e '1,$s/make_vect/Array.make/g' |
sed -e '1,$s/list_length/List.length/g' |
sed -e '1,$s/hd/List.hd/g' |
sed -e '1,$s/tl/List.tl/g' |
sed -e '1,$s/rev/List.rev/g' |
sed -e '1,$s/combine/List.combine/g' |
sed -e '1,$s/split/List.split/g' |
sed -e '1,$s/mem/List.mem/g' |
sed -e '1,$s/mem_assoc/List.mem_assoc/g' |
sed -e '1,$s/string_length/String.length/g' |
sed -e '1,$s/sub_string/String.sub/g' |
sed -e '1,$s/rgb/Graphics.rgb/g' |
sed -e '1,$s/unix__/Unix./g' |
sed -e '1,$s/system__/Sys./g' |
sed -e '1,$s/random__/Random./g' |
sed -e '1,$s/sys__command_line/Sys.argv/g' |
sed -e '1,$s/system_command/Sys.command/g' |
sed -e '1,$s/make_matrix/Array.make_matrix/g' |
sed -e '1,$s/`(.)`/'"'"'1'"'"'/g' |
sed -e '1,$s/make_string/String.make/g' > $1

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

Tanguy Ortolo

02/10/2012 à 16:30

François Boisson, 2012-10-01 19:13+0200:

3) Fait un paquet source (particulièrement crade mais bon, ça marche)

4) Demandé aux développeurs (INRIA) de modifier la licence (c'est fait depuis
la version 0.81)

5) Obtenu un accès cvs en R/W sur les sources Caml.

Si la nouvelle licence est libre, et si vous êtes prêt à faire un paquet
propre, vous pourriez envisager de mettre réellement Camllight dans
Debian. Il serait ainsi automatiquement disponible pour toutes les
architectures prises en charge par Debian et Ubuntu.

Sinon, je ne sais pas qui décide de cela, mais il serait vraiment
judicieux d'envisager de passer de Camllight à OCaml pour la prépa.
Camllight est mort, par rapport à OCaml, en tout cas c'est l'impression
que ça donne, ne serait-ce qu'à cause de l'absence de paquet officiel.

--
,--.
: /` ) Tanguy Ortolo <xmpp:
| `-' Debian Developer <irc://irc.oftc.net/Tanguy>
_

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/k4etcv$ppg$

Erwan David

02/10/2012 à 16:40

On Tue, Oct 02, 2012 at 04:23:27PM CEST, Tanguy Ortolo <tanguy+ said:

Sinon, je ne sais pas qui décide de cela, mais il serait vraiment
judicieux d'envisager de passer de Camllight à OCaml pour la prépa.
Camllight est mort, par rapport à OCaml, en tout cas c'est l'impression
que ça donne, ne serait-ce qu'à cause de l'absence de paquet officiel.

Ça c'est du ressort de l'inspection générale de l'éducation nationale...

Bonne chance

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

François Boisson

02/10/2012 à 22:50

Le Tue, 2 Oct 2012 14:23:27 +0000 (UTC)
Tanguy Ortolo <tanguy+ a écrit:

Sinon, je ne sais pas qui décide de cela, mais il serait vraiment
judicieux d'envisager de passer de Camllight à OCaml pour la prépa.
Camllight est mort, par rapport à OCaml, en tout cas c'est l'impression
que ça donne, ne serait-ce qu'à cause de l'absence de paquet officiel.

C'est que je pense. En tout cas offrir les 2...

François Boisson

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

François Boisson

02/10/2012 à 23:00

Le Tue, 2 Oct 2012 14:23:27 +0000 (UTC)
Tanguy Ortolo <tanguy+ a écrit:

Si la nouvelle licence est libre, et si vous êtes prêt à faire un paquet
propre, vous pourriez envisager de mettre réellement Camllight dans
Debian. Il serait ainsi automatiquement disponible pour toutes les
architectures prises en charge par Debian et Ubuntu.

Il est impossible de garantir un paquet propre avec ce bug dans la mesure où
le fonctionnement dépend du comportement de malloc. Il faut d'abord le
résoudre. Je vais tacher de le faire mais ça risque de prendre du temps vu que
je n'en ai pas beaucoup...

François Boisson

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

Fabien R

03/10/2012 à 09:20

On 02/10/2012 22:50, François Boisson wrote:

Le Tue, 2 Oct 2012 14:23:27 +0000 (UTC)
Tanguy Ortolo <tanguy+ a écrit:

Si la nouvelle licence est libre, et si vous êtes prêt à faire un paquet
propre, vous pourriez envisager de mettre réellement Camllight dans
Debian. Il serait ainsi automatiquement disponible pour toutes les
architectures prises en charge par Debian et Ubuntu.

Il est impossible de garantir un paquet propre avec ce bug dans la mesure où
le fonctionnement dépend du comportement de malloc. Il faut d'abord le
résoudre. Je vais tacher de le faire mais ça risque de prendre du temps vu que
je n'en ai pas beaucoup...

François Boisson

Si tu as la possibilité de poster le code sur github en indiquant le
problème, il pourra rapidement faire de petits...
-
Fabien

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

François Boisson

03/10/2012 à 11:50

Si tu as la possibilité de poster le code sur github en indiquant le
problème, il pourra rapidement faire de petits...

Bon, j'ai déposer les sources à ce jour ici avec une description du problème.

https://github.com/FBoisson/Camllight

François Boisson

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/

[HS] comportement curieux de malloc

10 réponses

Veuillez sélectionner un problème