Show simple item record

dc.contributor.advisorMcCrosky, C.
dc.contributor.advisorBolton, R. J.
dc.creatorKomarla, Eshwari Prasad
dc.date.accessioned2018-12-14T22:15:54Z
dc.date.available2018-12-14T22:15:54Z
dc.date.issued1988-09
dc.date.submittedSeptember 1988en_US
dc.identifier.urihttp://hdl.handle.net/10388/11663
dc.description.abstractThere is widespread interest in multicomputer parallelism. Functional languages with their inherent parallelism can form a basis for programming these machines. These languages dynamically allocate memory, objects are created when required and eventually objects may lose links with active objects and become unreachable garbage. The process of recovering these inactive objects is called garbage collection. Garbage collection in a multicomputer system has to manage objects in physically separated memories. This introduces consistency and synchronization problems with the shared data. The development of an algorithm for garbage collection in a multicomputer system is reported. A description of the algorithm is presented. The design of the simulator and the simulation experiments are presented. The application of Petri nets to the modelling of this algorithm is discussed. Verification of some properties of this algorithm using the invariants of the Petri net model are presented.en_US
dc.titleAn Algorithm for Garbage Collection in Multicomputer Systemsen_US
thesis.degree.departmentElectrical and Computer Engineeringen_US
thesis.degree.disciplineElectrical Engineeringen_US
thesis.degree.grantorUniversity of Saskatchewanen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Science (M.Sc.)en_US
dc.type.genreThesisen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record