Paper Details

@InProceedings{Villano91,
  title = "{R}epeatable execution of occam programs",
  author= "Villano, Umberto",
  editor= "Edwards, Janet",
  pages = "133--142",
  booktitle= "{P}roceedings of {W}o{TUG}-14: {O}ccam and the {T}ransputer-{C}urrent {D}evelopments",
  isbn= "90 5199 063 4",
  year= "1991",
  month= "sep",
  abstract= "Parallel programs are intrinsically non-deterministic, and
     therefore the techniques of cyclical debugging that are
     commonly used for sequential programs are not suitable for
     parallel ones. This paper proposes a method for guaranteeing
     the repeatability of occam program behaviour. Saving
     information on the ALT guards selected at run-time allows
     program replay. i.e. makes it possible to re-execute the
     program following the same instruction path whatever the
     speed at which each component process is executed. This
     enables the software developer to use tools such as
     debuggers and intrusive monitors to help identify program
     errors. After a discussion on the possible implementations
     of the proposed technique, a prototype tools that allows the
     replat of occam programs within TDS is briefly described."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.