METHOD FOR THE SYNCHRONIZED OPERATION OF A DISTRIBUTED DATA-PROCESSING SYSTEM COMPRISING SEVERAL COMPUTERS, AND A SYSTEM FOR CARRYING OUT THE METHOD

摘要

Jeder Rechner (RS1 bis RS3) realisiert eine Steuerung, der das Konzept des endlichen Automaten zugrunde liegt. Für die Übermittlung von Nachrichten ist jeder Rechner (RS1) mit jedem anderen Rechner (RS2, RS3) verbunden. Die Rechner können zum Prozess hin nur wirksam werden beim Erhalt eines umlaufenden Tokens (Token). Der Empfang von Eingaben veranlasst das Bearbeiten von Transaktionen, bei denen aus vorhandenen inneren Zuständen und den Eingabesymbolen neue innere Zustände und Ausgabesymbole gebildet werden. Die beim folgenden Tokenempfang abgeschlossenen oder unterbrochenen Transaktionen werden daraufhin geprüft, ob die dabei verwendeten Zustandswerte kollidieren mit Änderungsmeldungen, die sich auf den Zustand des Systems beziehen und die dem betrachteten Rechner mit dem Token übermittelt werden. Abhängig vom Prüfergebnis werden die abgeschlossenen Transaktionen zur Ausführung zugelassen oder verworfen. Für die Behandlung extrem zeitaufwendiger Transaktionen gibt es besondere Lösungsansätze. Das erfindungsgemässe Verfahren ist besonders geeignet für solche Datenverarbeitungssysteme, bei denen die einzelnen Rechner weitgehend unabhängig voneinander arbeiten und nur gelegentlich auf Daten anderer Rechner zugreifen müssen; die Anwendung in der Eisenbahnsignaltechnik ist vorgesehen.