@incollection{Villano-b.09,
	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.},
	Address = {Amsterdam},
	Author = {Umberto Villano},
	Booktitle = {WoTUG-14: Occam and the Transputer-Current Developments},
	Date-Modified = {2011-05-29 21:59:35 +0200},
	Editor = {Janet Edwards},
	Pages = {133--142},
	Publisher = {IOS Press},
	Title = {Repeatable Execution of Occam Programs},
	Year = {1991}}

{"_id":"eq9Ce2m2MeQAkzdam","bibbaseid":"villano-repeatableexecutionofoccamprograms-1991","author_short":["Villano, U."],"bibdata":{"bibtype":"incollection","type":"incollection","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.","address":"Amsterdam","author":[{"firstnames":["Umberto"],"propositions":[],"lastnames":["Villano"],"suffixes":[]}],"booktitle":"WoTUG-14: Occam and the Transputer-Current Developments","date-modified":"2011-05-29 21:59:35 +0200","editor":[{"firstnames":["Janet"],"propositions":[],"lastnames":["Edwards"],"suffixes":[]}],"pages":"133–142","publisher":"IOS Press","title":"Repeatable Execution of Occam Programs","year":"1991","bibtex":"@incollection{Villano-b.09,\n\tAbstract = {Parallel programs are intrinsically non-deterministic,\n\t\t and therefore the techniques of cyclical debugging that\n\t\t are commonly used for sequential programs are not\n\t\t suitable for parallel ones. This paper proposes a\n\t\t method for guaranteeing the repeatability of occam\n\t\t program behaviour. Saving information on the ALT guards\n\t\t selected at run-time allows program replay, i.e. makes\n\t\t it possible to re-execute the program following the\n\t\t same instruction path whatever the speed at which each\n\t\t component process is executed. This enables the\n\t\t software developer to use tools such as debuggers and\n\t\t intrusive monitors to help identify program errors.\n\t\t After a discussion on the possible implementations of\n\t\t the proposed technique, a prototype tools that allows\n\t\t the replat of occam programs within TDS is briefly\n\t\t described.},\n\tAddress = {Amsterdam},\n\tAuthor = {Umberto Villano},\n\tBooktitle = {WoTUG-14: Occam and the Transputer-Current Developments},\n\tDate-Modified = {2011-05-29 21:59:35 +0200},\n\tEditor = {Janet Edwards},\n\tPages = {133--142},\n\tPublisher = {IOS Press},\n\tTitle = {Repeatable Execution of Occam Programs},\n\tYear = {1991}}\n\n","author_short":["Villano, U."],"editor_short":["Edwards, J."],"key":"Villano-b.09","id":"Villano-b.09","bibbaseid":"villano-repeatableexecutionofoccamprograms-1991","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://bibbase.org/f/sNFCo2xvBNJcAwYat/villano.bib","dataSources":["B7EFrk8Jo2pAuojW8","pjicPgbj2HvPJoycH","XGLFnZax8SMbH78cq","QgCvRcgxopcPS5hGD"],"keywords":[],"search_terms":["repeatable","execution","occam","programs","villano"],"title":"Repeatable Execution of Occam Programs","year":1991}