Ressourcen-Algebra Band 1 (Logos, 2021)

Eine Theorie, zwei Ziele. Zum einen die Rechnerarchitektur als Technikwissenschaft, die beliebige Architekturen analysiert und beschreibt (sowohl gegebene als auch künftige), zum anderen das Bestreben, neuartige Architekturen und Maschinen zu erfinden und zu entwickeln.

Rechnerarchitektur (Computer Architecture) ist die Lehre von den Schnittstellen zwischen Hardware und Software; mit anderen Worten, von Aufbau und Wirkungsweise des Computers aus Sicht des Programmierers. Die Rechnerarchitektur ist keine exakte Wissenschaft. Das Buch betrifft einen Versuch, diesen Entwicklungsstand zu überwinden. Das eine Ziel ist, die Rechnerarchitektur als wohlbegründete Technikwissenschaft aufzubauen, zumindest aber wissenschaftliche Begründungen für Architekturentscheidungen zu finden. Das andere sind Maschinen, die beliebige Programme ausführen können. Architekturen werden herkömmlicherweise von der Anwendungsprogrammschnittstelle (Application Programming Interface, API) her entwickelt. Wir hingegen beginnen mit den Funktionseinheiten der Hardware, den Ressourcen. Die Ressourcen bestimmen die Architektur, nicht umgekehrt. Jede Maschine läßt sich als eine Sammlung von Ressourcen auffassen. Beschreibt man sie formal mit den Ausdrucksmitteln der Mathematik, ergeben sich algebraische Strukturen. Somit liegt es nahe, die Architekturprinzipien mit dem Begriff der Ressourcen-Algebra zu bezeichnen. Architekturgedanken und Schaltungslösungen werden soweit beschrieben, wie es erforderlich ist, um die Wirkprinzipien darzulegen und zu zeigen, daß sich auf diese Weise tatsächlich universelle Maschinen bauen lassen. Um diese Gedanken abzusichern, werden sowohl der herkömmliche Universalrechner als auch Architekturen, die auf der Ressourcen-Algebra beruhen, auf mehreren Wegen begründet und hergeleitet. Abschließend werden Leistungsmaße und Bewertungskriterien vorgestellt.

Der Inhalt im Überblick:

• Einführung
• Rechnerarchitektur als Ressourcen-Algebra
• Rechnerarchitektur und Programmierung
• Rechnerarchitektur und Mathematik
• Grundlagen der Formalbeschreibung
• Begründungen
• Grundlagen der Bewertung

 Aktuelles:

 2. 1. 2024

Seite eingerichtet.