Skip to content

Cirrina Runtime System

Cirrina is the open-source reference runtime for the Collaborative State Machines (CSM) project. Developed by the Distributed and Parallel Systems Group at the University of Innsbruck, it provides a high performance execution environment engineered to bridge the gap between cloud-scale infrastructure and resource-constrained edge devices.

Architectural Performance

Cirrina is designed to handle the complexities of the cloud, edge, and IoT. It manages the full lifecycle of state machine instances, ensuring deterministic execution and efficient resource utilization regardless of the deployment target. By implementing the CSM execution model, the runtime provides a stable environment for reactive, event-driven applications that require high availability and low-latency coordination.

Research and Extensibility

As the primary implementation of the CSM methodology, Cirrina serves as a modular platform for research into distributed systems and reactive programming. The project is open-source and hosted on GitHub, where we encourage contributions aimed at optimizing runtime performance, extending hardware support, and refining distributed state management.

Technical Participation

We welcome collaboration from the broader research and development community. For details on how to contribute to the engine's core or its supporting tools, please refer to our Contributing Guidelines.