Zur Modellierung des Verhaltens von Programmen

Dies ist ein Papier über die Geschichte des Mengenmodells für das Programmverhalten. Es umreißt kurz die Ursprünge und Grundlagen der Idee sowie einige der später erzielten Ergebnisse. Der physikalische Kontext ist ein hierarchisches Gedächtnissystem, das aus einer stark begrenzten Menge an Hauptspeicher (direkt adressierbar) und einer im Wesentlichen unbegrenzten Menge an Sekundärspeicher (Sicherungsspeicher) besteht. In diesem Zusammenhang ist die intuitive Vorstellung von Arbeit als der Menge von Wörtern, die zu einem bestimmten Zeitpunkt im Hauptspeicher geladen sind (oder geladen sein sollten), damit ein Programm effizient arbeiten kann, so alt wie das Programmieren selbst. Das stark gestiegene Interesse an Programmmodellen seit Mitte der 1960er Jahre ist eine direkte Folge der zunehmenden Nutzung von virtuellem Speicher und Multiprogrammierungstechniken, die die Verantwortung für die Speicherverwaltung von Programmierern auf Maschinen verlagert haben. Ich gehe hier davon aus, dass das Ziel der Speicherverwaltung darin besteht, sicherzustellen, dass die Informationen eines aktiven Programms im Hauptspeicher vorhanden sind, und dass das Ziel eines Programm Modells darin besteht, eine Grundlage für die Bestimmung der Informationen eines Programms zu einem bestimmten Zeitpunkt zu bieten und vorherzusagen, was sie zu einem zukünftigen Zeitpunkt sein werden.