Maschinenklassen, parallele Berechnungshypothesen, Realisierbarkeit

Überblick

Wir haben inzwischen mehrere Modelle kennengelernt: Ein-Kopf-Turingmaschi-nen, Mehr-Kopf-Turingmaschinen, Systeme von Turing-Automaten, Zellularräume, parallele Registermaschinen (Crew-Prams und Nlprams), uniforme Schaltkreisfamilien und systolische Trellisautomaten. Es gibt eine Vielzahl weiterer Modelle (siehe Literaturliste). Im ersten Abschnitt stellen wir einen Versuch vor, sie zumindest grob zu klassifizieren im Hinblick auf ihre Fähigkeiten zur Parallelverarbeitung.

Insbesondere hat sich im Laufe der Jahre eine Klasse von Modellen herauskristallisiert, die üblicherweise als „vernünftig“hinsichtlich ihrer Fähigkeiten zur Parallelverarbeitung angesehen werden. Sie werden häufig mit Hilfe der „parallel computation thesis“charakterisiert, die Gegenstand des zweiten Abschnittes ist.

Das Adjektiv vernünftig war eben in Anführungszeichen gesetzt, weil man dazu natürlich verschiedene Ansichten haben kann. Welche Auswirkungen es hat, wenn man nur zwei ganz „harmlose“physikalische Tatsachen berücksichtigt, ist Gegenstand des letzten Abschnittes.