Welcome to the Transactor Utility Page

The Transactor model is an extension of the actor model discussed in POPL 2005. It adds a checkpointing system for use in distributed software within unreliable environments. Note that the software discussed below should be considered early alpha software and is not fully functional as-is.

• 0. Brian Boodman's Transactor MS Thesis
  With the exception of the Python implementation of the transactor model, all of the below tools are discussed in more detail within the thesis.
• 1. Maude Rewrite Systems
  Provides an executable operation semantics of the Tansactor model. See the docs folder for documentation. As mentioned in docs.txt, it is possible to use included flex/yacc to generate files. See generator folder for examples of this. samples/InitProg.maude functions as a loader to initialize the rewrite system.
  Note: This implements a slightly older version of the transactor model than that discussed in my thesis, so it will be necessary, among other things, to modify the snd rules within TransactorConfig.maude.
• 2. Java/Salsa Transactor Implementation
  OutsideBox.salsa and Outside.java (and associated classes) act as a prototype of a real-world transactor implementation, with BoxProgram.java being an example program. See README.rtf for documentation. Based on a modified version of the POPL model which is more outdated than the thesis version.
• 3. Athena Proof of Safety Invariant
  This functions as an incomplete framework for producing a proof of the safety of the transactor model. See thesis for discussion of some of the functionality.
• 4. Python Transactor Implementation
  This provides an implementation of the transactor model in Python built for use with Parley. It should be easily adaptable for use in other Python actor systems such as Stage. It uses the thesis version of the transactor model and thus is very up to date. It is likely easier to turn into a working prototype of the transactor model than the less up-to-date Java/Salsa version.
• 5. Phillip Kuang's Transactor MS Thesis
  A SALSA based Transactor Model language implementation is described in detail in this thesis along with an introduction of new Transactor programming abstractions.
• 6. Transactor Language_Implementation
  This project implements a functional language implementation of the Transactor Model capable of composing real world transactor programs built on top of the SALSA language.