Parallelrechner-Architekturen: Ansätze für imperative und deklarative Sprachen

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

Parallelrechner-Architekturen zeigen den Weg zu hochleistungsfähigen, kostengünstigen Rechnerstrukturen. Um ihr Leistungspotential für möglichst breite Anwendungsbereiche einfach und wirkungsvoll nutzbar zu machen, müssen Rechnerarchitektur und Softwarearchitektur einschließlich der Programmiersprachen gemeinsam betrachtet und im Einklang miteinander entwickelt werden. In diesem Buch werden Aspekte der Parallelverarbeitung bei modernen imperativen und deklarativen Sprachen dargestellt, daraus resultierende Anforderungen an parallele Systemarchitekturen abgeleitet sowie geeignete Architekturen vorgestellt und bewertet. Im einzelnen werden behandelt: imperative Sprachen (prozedurale und objekt-orientierte), deklarative Sprachen (funktionale und logische), Ebenen der Parallelität, Granularität der Verarbeitungspakete, explizite und implizite Parallelität, Anforderungen an Kommunikation und Synchronisation, Prozeß- und Speicherverwaltung, abstrakte Maschinen, Konzepte für die Umsetzung der abstrakten Maschinen in physikalische Architekturen sowie bekannte Realisierungen.