Skip to content

Latest commit

 

History

History
32 lines (20 loc) · 1.52 KB

README.md

File metadata and controls

32 lines (20 loc) · 1.52 KB

Cirrina examples

License: GPL v3

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.