Juste une petite brève pour signaler la correction d’un bug qui me pertubait depuis plus d’un an. ce bug empêchait camllight d’utiliser plus de 512K régulièrement sur une machine 64 bits.
La raison est une gestion des pages mémoire à l’aide d’un tableau agrandi à
la demande. Or il arrive que les blocs mémoires alloués soient aux deux
extrémité de la plage mémoire, le tableau de la gestion mémoire devanit dans
ce cas trop grand pour la totalité de la méoire entrainant un out_of_memory.
Il a fallu donc changer en profondeur la gestion des pages mémoire de
camllight. Le résultat est camllight version 0.82. J’ai fait un commit du code
sur le serveur de l’INRIA mais surtout j’ai mis à jour les paquets pour debian
et ubuntu poiur les distributions squeeze et wheezy d’une part, et precise,
quantal et raring d’autre part.
deb boisson.homeip.net/depot divers