GuStL - An Experimental Guarded States Language

TL;DR

GuStL is an experimental language designed for prototyping dynamic parallel systems with message passing, focusing on state machine modeling and event-driven programming for large-scale hardware architectures.

Contribution

It introduces a specialized language supporting message passing and state machine concepts tailored for prototyping large-scale parallel systems.

Findings

Demonstrates feasibility of message-driven state machine programming

Provides syntax for event-driven main loops in parallel systems

Serves as a proof of concept for dynamic software system implementation

Abstract

Programming a parallel computing system that consists of several thousands or even up to a million message passing processing units may ask for a language that supports waiting for and sending messages over hardware channels. As programs are looked upon as state machines, the language provides syntax to implement a main event driven loop. The language presented herewith surely will not serve as a generic programming language for any arbitrary task. Its main purpose is to allow for a prototypical implementation of a dynamic software system as a proof of concept.