MAMMUT: Eine verteilte Speicherverwaltung für symbolische Manipulation

Description

Viele moderne Programmiersprachen und insbesondere alle Computeralgebra-Systeme entheben den Programmierer von der Aufgabe der Deallokation nicht mehr benötigten Speichers. Für den Programmierer ist es auch unmöglich zu wissen, wann ein Speicherbereich wirklich freigegeben werden muß, wenn dieser von verschiedenen, sich dynamisch ändernden Stellen aus benötigt wird. Beim Programmieren ist deshalb eine Schnittstelle unverzichtbar, die dem Benutzer die Aufgabe abnimmt zu entscheiden, wann ein Speicherbereich wirklich freigegeben werden kann. Eine solche Schnittstelle nennt man Garbage Kollektor oder einfach Kollektor. Es wird immer Probleme geben, für die die Leistung eines einzelnen Rechners nicht ausreicht. Eine natürliche Methode, sowohl die Rechenleistung als auch den zur Verfügung stehenden Speicher zu erhöhen, ist die Benutzung von parallelen und verteilten Rechnern. Insbesondere verteilte Rechner haben den Vorteil, daß sich ihre Rechenleistung und der benutzbare Speicher beinahe beliebig skalieren läßt. Bei der Lösung sehr speicherplatzintensiver Probleme sollte möglichst das mehrmalige Speichern von Daten auch auf verteilten Rechnern vermieden werden. Dies bedeutet, daß von allen verteilten Rechnern eine Art gemeinsamer Speicher benutzt werden muß. In diesem Buch wird eine Schnittstelle vorgestellt, die sowohl für die Freigabe von Speicher als auch für den Zugriff auf einen möglicherweise virtuellen gemeinsamen Speicher benutzt werden kann. Diese Schnittstelle ist Grundlage des Computeralgebra-Systems MuPAD. Inhalt Einleitung - Grundlagen der Garbage Collection - Die MAMMUT-Schnittstelle intuitiv - Porgrammbeispiele - Die Speicherverwaltung MAMMUT - Tabellen der Funktionen - Existierende Implementationen - Literaturverzeichnis - Index