Main Article Content

Programmation fonctionnelle : Le glaneur des cellules centralisé et sa généralisation dans les environnements répartis


T Lemlouma
M Boudina

Abstract

Fuctional programming: The centralized cells glanor and its genaralistion into a distributed environnements


Several methods are used to retrieve memory capacity into functional and object oriented programming language. Since the birth of the first programming language bases on lists manipulation, end of the 1950 s beginning of 1960s, several algorithms have been proposed to answer with an objective simple and efficient manner. The apprearance of distributed systems, leads us to see how the opreration of recuparation can work into an environment based on sending and receiving message communication only. This paper discusses two aspects: the first one concerns the implementation and evaluation of crumbs collect operations bases on the “ Mark then sweep” technique into the centralised system, while the second discusses the glanor implementation in to a distributed environment. we introduce a system with many calculation whits to ensure a certain task in to a protocol which permit to the whole of the participating units to achieve the desired goal. Here we propose a protocol inspired from the atomic validation protocol 2 PC which guaranteed the Collects Crumbs distributed operation Also we give a solution to avoid the blocking of the protocol which can accur owing to the possible break downs of the distributed system.


Key- words : Collect crumbs/ Garbage collector/ Functional langages/ Distributed system.


Programmation fonctionnelle : Le glaneur des cellules centralisé et sa généralisation dans les environnements répartis


Différentes manières peuvent être utilisées pour assurer la récupération de l'espace mémoire dans les langages fonctionnels et mêmes dans les langages orientés objets. Depuis la naissance du premier langage basé sur la manipulation des listes, la fin des années cinquante et le début des années soixante, plusieurs algorithmes ont été proposés pour répondre à cet objectif d'une manière simple et efficace. L'apparition des systèmes répartis, qui est due essentiellement au développement technologique et aux progrès des techniques de transmission de données, nous pousse à voir comment l'opération de récupération, peut être mise en oeuvre dans un environnement ou le seul moyen de communication est l'envoi et la réception de messages. Cet article discute deux aspects : l'implémentation et l'évaluation de l'opération de ramasse miettes, en se basant sur la technique "Mark then sweep", et cela dans un système centralisé. Le deuxième aspect discuté, est l'implémentation du glaneur dans un environnement réparti. Nous introduisons une manière pour généraliser la collection mémoire centralisé dans un système constitué de plus d'une unité de calcul. Assurer une certaine tâche dans un environnement réparti, revient à assurer un protocole qui permet à l'ensemble des unités participantes d'atteindre l'objectif voulu. Pour cela nous proposons un protocole, inspiré du protocole de la validation atomique 2PC, qui garantie l'opération de ramasse miettes distribuée. Nous donnons également une solution pour éviter le blocage du protocole qui peut survenir à cause des éventuelles pannes du système distribué.


Mots-clés : Ramasse miettes/ Garbage collector/ Langages fonctionnels/ Système distribué.


Revue d'Information Scientifique & Technique Vol.11(1) 2001: 133-155

Journal Identifiers


eISSN: 1111-0015