MAMMUT Eine verteilte Speicherverwaltung für symbolische Manipulation

Viele moderne Programmiersprachen und insbesondere alle Computeralgebra-Systeme enthe- ben den Programmierer von der Aufgabe der Deallokation nicht mehr benotigten Speichers. Dies erleichtert die Benutzung erheblich und hilft, eine groBe Anzahl von Fehlern zu vermei- den. Entscheidender allerdings ist noch, daB es fUr den Programmierer unmoglich ist zu wissen, wann ein Speicherbereich wirklich freigegeben werden muB, wenn dieser von verschiedenen Stellen aus benotigt wird und sich die Anzahl dieser Stellen w?hrend des Programms andern kann. Beim Programmieren ist deshalb eine Schnittstelle unverzichtbar, die dem Benutzer die Auf- gabe abnimmt zu entscheiden, wann ein Speicherbereich wirklich freigegeben werden kann. Eine solche Schnittstelle nennt man Garbage Kollektor oder einfach Kollektor. Obwohl die existierende Hardware in sehr kurzen Zyklen verbessert wird, gibt es viele An- wendungen, bei denen die Rechenleistung oder der vorhandene Speicherplatz fur eine LOsung in angemessener Zeit nicht ausreichen. Unabhangig von der Entwicklung der Hardware wird es solche Probleme immer geben. Eine naturliche Methode, sowohl die Rechenleistung als auch den zur Verfugung stehenden Speicher zu erhohen, ist die Benutzung von parallelen und verteilten Rechnern. Insbesondere verteilte Rechner haben den Vorteil, daB sich ihre Rechenleistung und der benutzbare Speicher beinahe beliebig skalieren I?flt. Bei der Losung sehr speicherplatzintensiver Probleme sollte moglichst das mehrmalige Spei- chern von Daten auch auf verteilten Rechnern vermieden werden. Dies bedeutet, daB von allen verteilten Rechnern eine Art gemeinsamer Speicher benutzt werden muB.