Parallel execution of sequential scheme with ParaTran

This paper describes a system called ParaTran for executing sequential Scheme in parallel. It supports arbitrary side effects without requiring user annotations. The ParaTran runtime system detects and corrects data dependency violations using an automatic history and rollback mechanism. ParaTran is first described by analogy with Time Warp, a system for distributed simulation; this description is followed by a discussion of ParaTran's implementation and presentation of preliminary results.

[1]  K. Mani Chandy,et al.  Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.

[2]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[3]  Robert H. Halstead,et al.  Implementation of multilisp: Lisp on a multiprocessor , 1984, LFP '84.

[4]  John McCarthy,et al.  Queue-based multi-processing LISP , 1984, LFP '84.

[5]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[6]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[7]  William D. Clinger,et al.  Revised3 report on the algorithmic language scheme , 1986, SIGP.

[8]  Orna Berry,et al.  Performance evaluation of the time warp distributed simulation mechanism , 1986 .

[9]  Thomas F. Knight.  An architecture for mostly functional languages , 1986, LFP '86.

[10]  Don Allen,et al.  The Butterfly™ lisp system , 1986, AAAI 1986.

[11]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[12]  Slocum Miller James,et al.  Multischeme : a parallel processing system based on MIT scheme , 1987 .

[13]  Richard M. Fujimoto,et al.  Performance Measurements of Distributed Simulation Strategies. , 1987 .

[14]  M. Katz.  PARATRAN: A TRANSPARENT, TRANSACTION BASED RUNTIME MECHANISM FOR PARALLEL EXECUTION OF SCHEME , 1989 .

[15]  佐藤 孝治.  汎用計算機におけるQueue-based Multiprocessing Lispの実現 , 1989 .