Garbage collector objektů jazyka PNtalk

Abstract

Tato práce se zabývá návrhem a implementací garbage collectoru pro virtuální stroj jazyka PNtalk. Jsou v ní popsány a zhodnoceny jednotlivé přístupy a konkrétní algoritmy pro automatickou správu paměti a detailne popsáno jejich využití v praktické implementaci pro vitruálne stroje PNtalku, které jsou implementovány v Smalltalku a C++. Práce uvádí čtyři rodiny algoritmů, a to rodiny mark-sweep, mark-compact, kopírovací algoritmy a počítání referencí. Nejprve jsou popsány sekvenční verze algoritmů, které zastavují běh hlavního programu (mutátoru), pak jsou uvedeny jejich paralelní a nakonec konkurentní verze, které běh mutátoru nezastavují. Práce též uvádí generační model garbage collectingu.Výsledkem práce je vypracování generačního garbage collectoru pro jazyk PNtalk, vypracování testů a na jejich zakladě odměření optimálních parametrů.This thesis deals with the designing of a garbage collector for the PNtalk virtual machine. It describes and rates the approaches and algorithms for an automatic memory management. Four algorithm families ale presented: mark-sweep, mark-compact, copying algorithms and reference counting. At first it describes sequential forms, that pauses running of the main program (mutator), then it describes parallel and concurent forms, that do not pauses the mutator. The thesis also presents generational model of garbage collecting. The following sections briefly introduces object orientated Petri nets. The result of this thesis is the design of the generational garbage collector for the PNtalk virtual machine.