Files in this item
Deriving distributed garbage collectors from distributed termination algorithms
Item metadata
dc.contributor.advisor | Morrison, Ron | |
dc.contributor.author | Norcross, Stuart John | |
dc.coverage.spatial | viii, 268 p. | en_US |
dc.date.accessioned | 2018-07-05T12:24:39Z | |
dc.date.available | 2018-07-05T12:24:39Z | |
dc.date.issued | 2004 | |
dc.identifier.uri | https://hdl.handle.net/10023/14986 | |
dc.description.abstract | This thesis concentrates on the derivation of a modularised version of the DMOS distributed garbage collection algorithm and the implementation of this algorithm in a distributed computational environment. DMOS appears to exhibit a unique combination of attractive characteristics for a distributed garbage collector but the original algorithm is known to contain a bug and, previous to this work, lacks a satisfactory, understandable implementation. The relationship between distributed termination detection algorithms and distributed garbage collectors is central to this thesis. A modularised DMOS algorithm is developed using a previously published distributed garbage collector derivation methodology that centres on mapping centralised collection schemes to distributed termination detection algorithms. In examining the utility and suitability of the derivation methodology, a family of six distributed collectors is developed and an extension to the methodology is presented. The research work described in this thesis incorporates the definition and implementation of a distributed computational environment based on the ProcessBase language and a generic definition of a previously unimplemented distributed termination detection algorithm called Task Balancing. The role of distributed termination detection in the DMOS collection mechanisms is defined through a process of step-wise refinement. The implementation of the collector is achieved in two stages; the first stage defines the implementation of two distributed termination mappings with the Task Balancing algorithm; the second stage defines the DMOS collection mechanisms. | en_US |
dc.language.iso | en | en_US |
dc.publisher | University of St Andrews | |
dc.subject.lcc | QA76.9G37N7 | |
dc.subject.lcsh | Garbage collection (Computer science) | en |
dc.subject.lcsh | Electronic data processing--Distributed processing | en |
dc.title | Deriving distributed garbage collectors from distributed termination algorithms | en_US |
dc.type | Thesis | en_US |
dc.contributor.sponsor | Engineering and Physical Sciences Research Council (EPSRC) | en_US |
dc.type.qualificationlevel | Doctoral | en_US |
dc.type.qualificationname | PhD Doctor of Philosophy | en_US |
dc.publisher.institution | The University of St Andrews | en_US |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.