Design für Skalierbarkeit mit Erlang/OTP

Kapitel 6. Endliche Zustandsmaschinen

Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: [e-mail]

Nachdem wir nun Experten im Schreiben generischer Server geworden sind, ist es an der Zeit, unser nächstes Verhalten zu meistern. Beim Prototyping von Systemen, aus denen später Erlang wurde, implementierten die Erfinder der Sprache Joe Armstrong, Mike Williams und Robert Virding eine Soft-Telefonanlage, mit der sie sich gegenseitig anrufen und hallo sagen konnten.¹ Jedes Telefon, das auf die Vermittlungsstelle zugreift, wurde als Prozess prototypisiert, der als FSM fungiert. Die Funktion repräsentiert den Zustand, in dem sich das Telefon gerade befindet (aufgelegt, abgehoben, wählend, klingelnd usw.) und empfängt Ereignisse, die mit diesem Zustand verbunden sind (eingehender Anruf, Wahl, abgehoben, aufgelegt usw.).

Eines der Ergebnisse dieser Prototyping-Aktivitäten war, dass Erlang zu einer Sprache wurde, die für die Erstellung nichttrivialer und skalierbarer FSMs, einer Schlüsselkomponente in vielen komplexen Systemen, geeignet und optimiert ist. Entwickler nutzen FSMs, um Protokollstacks, Konnektoren, Proxys, Workflow-Systeme, Spiele-Engines und Simulationen zu programmieren, um nur einige Beispiele zu nennen. Es war also keine Überraschung, dass die OTP-Verhaltensweisen generische FSMs enthielten, als sie aufkamen.

In diesem Kapitel stellen wir FSMs vor, die in reinem Erlang implementiert sind. Wir zerlegen ...