Deterministic Parallel Ruby (DPR) is a parallel dialect of the Ruby language. RB-DPR implements DPR, together with a runtime determinism checker TARDIS. RB-DPR is built on top of JRuby 1.7.11 source code, with DPR constructs added inside the language virtual machine.
Authors: Li Lu (University of Rochester) llu@cs.rochester.edu Weixing Ji (Beijing Institute of Technology) bitjwx@gmail.com Michael L. Scott (University of Rochester) scott@cs.rochester.edu
JRuby (http://jruby.org/)
DPR and TARDIS (PLDI '14)
Dynamic enforcement of determinism in aparallel scripting language, by Lu, Li, Weixing Ji, and Michael L. Scott. . In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Edinburgh, Scotland, June 2014.
A previous workshop paper about the brief idea of TARDIS (WoDet '13)
TARDIS: Task-level Access Race Detection by Intersecting Sets, by Weixing Ji, Li Lu, and Michael L. Scott. 4th Workshop on Determinism and Correctness in Parallel Programming (WoDet), Houston, TX, Mar. 2013 (in conjunction with ASPLOS XVIII).
Formal semantic framework of deterministic parallel programming
Toward a Formal Semantic Framework for Deterministic Parallel Programming, by Li Lu and Michael L. Scott. 25th International Symposium on Distributed Computing (DISC), Rome, Italy, Sep. 2011.