Parallele Implementierung funktionaler Programmiersprachen

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

Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelität. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelität entdecken und das Progamm in parallel ausführbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie Synchronisation und Kommunikation zu kümmern. Dies vereinfacht insbesondere die Programmierung von Systemen mit vielen Prozessoren. Auf der Grundlage einer einfachen funktionalen Beispielsprache, die den Kern aller funktionalen Sprachen umfaßt, werden in diesem Buch die Techniken zur automatischen Parallelisierung funktionaler Programme erläutert und formal spezifiziert. Im Vordergrund steht jedoch der sprachorientierte Entwurf einer Parallelrechnerarchitektur, die die Ausführung funktionaler Programme in besonderer Weise unterstützt.