Discussion :

[rmaker]

Bonsoir

Chers adaïstes, je débute sur ce langage et j'ai une question pour vous sur l'usage de la mémoire. Je prends l'exemple d'une liste chainée. Je code en Ada 2012.

Code :

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

1
2
3
4
5
6
7
 
type LC_Element;
type LC_Element_PTR is access LC_Element;
type LC_Element is record
  Value : Natural;
  NextElement : LC_Element_PTR ;
end record;

Je lis qu'il n'y a pas, en général, de GC, de sorte que je dois gérer moi même, pour plus de sureté, mes allocations et désallocations. Pour y parvenir, j'ai la procédure:

Code :

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

1
2
 
 procedure Free is new Ada.Unchecked_Deallocation(...)

Quand je désalloue ma liste, je désalloue chaque élément. J'ai deux questions:

• est ce que la mémoire est récupérée systématiquement? Ou même après un free, je risque d'avoir un mauvais usage de la mémoire? Ai je un risque d'exploser ma mémoire si j'exécute mon programme longtemps?
• est ce que les adaïstes expérimentés utilisent un free? Ou juste mettent la tête de liste à null? (ce que Barnes met dans un de ses exemples sur son livre Ada 2005) Ou utilisez vous le package Ada.Finalization?

Merci beaucoup pour votre aide!

[Blackknight]

Je lis qu'il n'y a pas, en général, de GC, de sorte que je dois gérer moi même, pour plus de sureté, mes allocations et désallocations.

Effectivement, il y a peu de chances que tu utilises un garbage collector en Ada. Perso, je n'en ai jamais vu par défaut
Alors oui, l'utilisation de Unchecked_Deallocation est plutôt une saine chose.

est ce que la mémoire est récupérée systématiquement?

Oui, c'est d'ailleurs expliqué dans l'ARM.

Ou même après un free, je risque d'avoir un mauvais usage de la mémoire? Ai je un risque d'exploser ma mémoire si j'exécute mon programme longtemps?

Non, il n'y a aucun risque si tu l'utilises correctement et quand bien même, contrairement au C/C++, Ada ne t'enverra pas bouler si tu désalloues un truc déjà désalloué.

est ce que les adaïstes expérimentés utilisent un free? Ou juste mettent la tête de liste à null? (ce que Barnes met dans un de ses exemples sur son livre Ada 2005)

Tout programmeur qui alloue de la mémoire dynamiquement doit désallouer cette mémoire donc oui, on doit utiliser Free si on utilise un new.
Mettre la tête de liste à null ne suffit pas si tu dois aussi libérer la mémoire prise par les éléments de la liste.
Il se peut toutefois que tu aies encore besoin de tes objets plus loin dans ton code et que les désallouer ne soit pas une bonne idée mais dans ce cas, c'est dépendant de ton code.
Pour ce qui est de ce que mister Barnes raconte, c'est le cas dans tous les bouquins Ada que j'ai pu lire car ils partent du principe qu'un garbage collector peut exister.

Ou utilisez vous le package Ada.Finalization?

Ce package n'a pas pour vocation de gérer la mémoire allouée dynamiquement mais plutôt des séquences à effectuer lors de la création ou de la destruction d'un objet qu'il soit alloué sur la pile ou sur le tas.

[rmaker]

...

Merci beaucoup pour cette très bonne réponse!!!
Sujet résolu