Discussion :

[Amergin]

Salut à tous,

Presque tout est dans le titre: je voudrais faire une bigarray ayant pour éléments des listes. Ca ne fait pas parti des kind proposées (sauf erreur de ma part), mais peut être y a-t-il une ruse pour arriver à faire ce genre de chose.

Any idea?

[Cacophrene]

Bonjour !

Tout est dans le manuel :

Big arrays can only contain integers and floating-point numbers, while Caml arrays can contain arbitrary Caml data types. However, big arrays provide more space-efficient storage of integer and floating-point elements, in particular because they support “small” types such as single-precision floats and 8 and 16-bit integers, in addition to the standard Caml types of double-precision floats and 32 and 64-bit integers.

Donc la réponse est non. Et il faut lire le manuel.

Cordialement,
Cacophrène

[Amergin]

Ah, donc pas de recours... dommage. Merci quand même.

J'ai pu me débrouiller autrement pour mon soucis, alors bon courage aux quelques uns qui se retrouveront devant le même problème.

[InOCamlWeTrust]

En codant une toute petite fonction C et en l'interfaçant avec Caml, il y aurait moyen. Il suffirait de créer un Bigarray de int, puis de simplement promouvoir (cast pour les inclutes !) le type value en int dans la fonction C.

Faisable avec très peu de moyens et en moins d'une douzaine de lignes de code.

[SpiceGuid]

Je ne sais pas comment procède le ramasse-miettes mais s'il ne traverse pas les Bigarray de int (ce qui me paraît plausible) alors il ne va pas marquer les éléments du Bigarray et ils seront libérés s'ils ne sont pas référencés par ailleurs.
Si c'est le cas alors la bidouille serait un peu plus délicate que tu le laisse entendre. Mais je me trompe peut être vu que tu es un bien meilleur connaisseur du compilateur et du run-time d'ocaml.

[InOCamlWeTrust]

Je ne savais pas concernant les Bigarray de int... on peut toujours faire un hack, certes ultra dégueulasse, je te l'accorde bien, qui change le tag du Bigarray de int afin qu'il soit parcouru par le compilateur. Ainsi, à la compilation, le compilateur n'y voit que du feu, mais à l'exécution, tout se passe comme si on avait affaire à un long vecteur de listes !

Avoue que c'est bien dégueux, non ?

Le moyen le plus propre serait cependant de créer un type abstrait, et de se coder une toute petite librairie en C pour manipuler ces éléments.

[Cacophrene]

Bonjour,

C'est bien dégueux mais en même temps ça donne envie d'essayer.

Cordialement,
Cacophrène

[gasche]

Je ne suis pas sûr que le layout des Bigarray permette de les montrer au GC Caml comme un vecteur standard. Ça me semble un peu dangereux.

Une solution serait d'enregistrer les listes stockées dans le Bigarray comme des racines du GC, avec caml_register_generational_global_root, au moment où on met un pointeur vers la liste dans le tableau. Il me semble que c'est correct vis-à-vis de la documentation de l'interface C (pas de bidouilles foireuses), par contre les performances risquent de souffrir si on l'utilise pour de très grands tableaux (ce qui est parfois/souvent le but des Bigarray).

[InOCamlWeTrust]

Certes, ton idée fonctionne mais engorgera très rapidement la mémoire et n'aura pas l'effet escompté, c'est-à-dire l'économie très substantielle d'espace que l'on a avec les Bigarray. Le layout des Bigarray peut être parcouru par le GC à condition que tu stockes dedans des éléments de taille un mot machine et que tu fasses la petite bidouile indiquée. A essayer, en tous cas, histoire de...