Examples for Actoverse-Scala
Provided Examples
- Two-Phase Commit Protocol
- InterestCalculator (Derived from [1], "Motivating Example")
- Online Store (including atomic violations)
- AsyncAnd (broken; Derived from [2])
How to run
Requirements: Scala 2.11.8+, sbt 0.13.15+
- Clone this repository
- Run the command
sbt run
- Then you can debug via Actoverse with the address
localhost:3000
.
Tips: If you use 0.0.0.0
instead of localhost
(you can change it in src/main/recources/application.conf
), Actoverse can access from outside your machine.
Bibliography
- A. Lienhard, J. Fierz, and O. Nierstrasz, “Flow-centric, back-in-time debugging,” in Lecture Notes in Business Information Processing, 2009, vol. 33 LNBIP, pp. 272–288.
- T. Stanley, T. Close, and M. S. & Miller, “Causeway : A message-oriented distributed debugger“ Technical Report. HP Labs. HP Labs tech report HPL-2009-78.