MAMMUT: Eine verteilte Speicherverwaltung für symbolische Manipulation

بسیاری از زبان‌های برنامه‌نویسی مدرن، و به‌ویژه تمام سیستم‌های جبر رایانه‌ای، وظیفه برنامه‌نویس را از تخصیص حافظه که دیگر به آن نیازی ندارد، برمی‌دارند. همچنین برای برنامه نویس غیرممکن است که بداند چه زمانی یک ناحیه از حافظه واقعاً باید در صورت نیاز از مکان های مختلف و به طور پویا در حال تغییر آزاد شود. بنابراین هنگام برنامه نویسی، داشتن رابطی ضروری است که کاربر را از تصمیم گیری در مورد اینکه چه زمانی می توان یک ناحیه حافظه واقعاً آزاد کرد، رها می کند. چنین رابطی را جمع آوری زباله یا به سادگی جمع کننده می نامند. همیشه مشکلاتی وجود خواهد داشت که عملکرد یک کامپیوتر برای آنها کافی نیست. یک راه طبیعی برای افزایش قدرت محاسباتی و حافظه موجود، استفاده از محاسبات موازی و توزیع شده است. کامپیوترهای توزیع شده به ویژه این مزیت را دارند که قدرت محاسباتی و حافظه قابل استفاده آنها را می توان تقریباً به دلخواه مقیاس کرد. هنگام حل مشکلات حافظه فشرده، در صورت امکان باید از ذخیره مکرر داده ها در رایانه های توزیع شده اجتناب شود. این بدان معناست که نوعی حافظه مشترک باید توسط همه کامپیوترهای توزیع شده استفاده شود. این کتاب رابطی را معرفی می کند که می تواند هم برای آزاد کردن حافظه و هم برای دسترسی به حافظه مشترک مجازی استفاده شود. این رابط اساس سیستم جبری کامپیوتری MuPAD است. مقدمه مطالب - مبانی جمع آوری زباله - رابط MAMMUT بصری - مثال های برنامه - مدیریت حافظه MAMMUT - جداول توابع - پیاده سازی های موجود - کتابشناسی - فهرست

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