Cirrina examples

Repository containing CSM examples to run using the Cirrina runtime system.

Current Use Cases

This repository contains the following use case implementations:

• Big
  Scalability benchmark testing many-to-many message routing (More info).

• Chameneos
  Symmetrical communication benchmark involving rendezvous interactions and mutating states (More info).

• Cigarette Smokers
  Concurrency problem demonstrating the coordination of multiple resources via an arbitrator (More info).

• Count
  Benchmark evaluating the performance of message counting.

• Dining Philosophers
  Classic synchronization problem illustrating resource allocation and deadlock avoidance (More info).

• Sleeping Barber
  Inter-process communication problem involving a finite waiting room and a shared resource (More info).

• Ping Pong
  Message-passing benchmark demonstrating synchronous communication.

Individual use case descriptions and usage instructions can be found in the corresponding README files.

Deployment

The project provides local setups using Vagrant and Docker Compose for development. For large-scale scientific experimentation, it includes Grid'5000 deployment scripts that leverage EnOSLib to ensure efficiency and reproducibility.