Appendix D. Software Tools

In this appendix we give a brief overview of software tools that can facilitate studying concurrent and distributed programming. For further information, see the documentation associated with each tool.

BACI and jBACI

BACI, the Ben-Ari Concurrency Interpreter, was developed by Tracy Camp and Bill Bynum [20]. The following diagram shows the architecture of BACI.

BACI and jBACI

The compilers compile the source program into P-Code, an intermediate code for a virtual stack machine. The P-Code is then interpreted by the interpreter. The compilers for Pascal and C and the interpreter are written in C; the compilers are built using the generators ...

Get Principles of Concurrent and Distributed Programming, Second Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.