Schauspieler-Modell mitten Geschichte

In der Informatik, die Schauspieler-Modell, zuerst im Jahre 1973 veröffentlicht wurde, ist ein mathematisches Modell der gleichzeitigen Berechnung. Dieser Artikel berichtet über die Mitte der Geschichte des Schauspieler-Modell, in dem Hauptthemen waren anfängliche Implementierungen Erstanträge und Entwicklung des ersten Beweistheorie und denotationelle Modell. Es ist der Nachfolger am Artikel, um Schauspieler Modell Frühgeschichte, die auf der Frühgeschichte des Schauspieler-Modell, das die grundlegende Entwicklung der Konzepte betreffenden Berichte. Der Artikel Schauspieler-Modell später Verlaufsberichte über die Entwicklungen nach dem die, die in diesem Artikel berichtet.

Proving Eigenschaften Schauspieler Systeme

Carl Hewitt veröffentlicht das Prinzip der Induktion Schauspieler, die:

  • Nehmen wir an, dass ein Schauspieler x hat die Eigenschaft P wenn es erstellt wird
  • Ferner nehme an, dass, wenn x hat die Eigenschaft P, wenn es eine Nachricht verarbeitet, dann hat es Eigenschaft P, wenn es die nächste Nachricht verarbeitet.
  • Dann immer hat die Eigenschaft P. x

In seiner Doktorarbeit entwickelte Aki Yonezawa weitere Techniken zum Nachweis der Eigenschaften der Schauspieler-Systeme einschließlich derer, die Verwendung von Migration zu machen. Russ Atkinson und Carl Hewitt entwickelten Techniken zum Nachweis der Eigenschaften der Serializer, der Hüter der gemeinsam genutzten Ressourcen sind. Gerry Barber Doktor Dissertation betreffende Argumentation über Änderung der kenntnisBüroSysteme.

Müllabfuhr

Die Garbage-Collection war ein wichtiges Thema in der Entwicklung des Schauspieler-Modell.

In seiner Doktorarbeit entwickelte Peter Bishop einen Algorithmus für die Garbage Collection in verteilten Systemen. Jedes System gehalten Linklisten von Zeigern zu und von anderen Systemen. Cyclische Strukturen wurden durch schrittweise Migration Schauspieler auf andere Systeme, die bis eine cyclische Struktur wurde vollständig in einem System, wo der Müllsammler könnte die Speicher wiederherstellen enthaltenen deren Adressen aufgefangen.

Henry Baker entwickelte einen Algorithmus für Echtzeit-Garbage Collection in seiner Doktorarbeit. Die Grundidee war es, Sammlungstätigkeit mit Bautätigkeit zu verschachteln, so dass es nicht zu lange Pausen, während Übergabe erfolgt. Siehe inkrementelle Garbage Collection.

Henry Lieberman und Carl Hewitt entwickelten ein Echtzeit Garbage Collection auf der Grundlage der Lebensdauern der Schauspieler. Die Grundidee war es, Schauspieler in Generationen zuzuordnen, so dass nur die neuesten Generationen müssten während einer Garbage Collection untersucht werden. Siehe Generationsspeicherbereinigung.

Schauspieler Programmiersprachen

Henry Lieberman, Dan Hardy, et al. entwickelten Act1, Schauspieler Programmiersprache. Anschließend für seine Masterarbeit, Dan Hardy entwickelt Act2. Diese frühen Proof of Concept Sprachen waren eher ineffizient und nicht für Anwendungen geeignet. In seiner Doktorarbeit, Ken Kahn entwickelt Ani, die er verwendet, um mehrere Animationen zu entwickeln. Bill Kornfeld entwickelt, das Ether-Programmiersprache für die wissenschaftliche Gemeinschaft Metapher in seiner Doktor Dissertation. William Athas und Nanette Boden entwickelt Cantor, der Schauspieler Programmiersprache für wissenschaftliches Rechnen ist. Jean-Pierre Briot entwickelt Mittel, um Smalltalk 80 für Schauspieler Berechnungen erweitern. Christine Tomlinson, Mark Scheevel, Greg Lavendel, Greg Meredith, et al. bei MCC entwickelt ein Schauspieler Programmiersprache für InfoSleuth Agenten in Rosette.

Carl Hewitt, Beppe Attardi und Henry Lieberman entwickelt Vorschläge für die Delegation in Message Passing. Dies führte zu der so genannten Erbschaft Anomalie Kontroverse in der objektorientierten gleichzeitige Programmiersprachen.

Ein denotationelle Modell der Schauspieler Systeme

In seiner Doktorarbeit entwickelte Clinger die erste denotationelle Modell der Schauspieler-Systeme. Siehe denotationelle Semantik des Schauspieler-Modell.

(0)
(0)
Kommentare - 0
Keine Kommentare

Fügen Sie einen Kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Zeichen übrig: 3000
captcha