ParaSol: a multithreaded system for parallel simulation based on mobile threads

ABSTRACT

ParaSol is a novel multithreaded system for shared-and distributed-memory parallel simulation, designed to support a variety of domain-specific simulation object libraries. We report on the design of the ParaSol kernel, which drives executions based on optimistic and adaptive synchronization protocols. The active-transaction flow methodology we advocate is enabled by an underlying, efficient lightweight process system. Though this process- and object-interaction view is known to both simplify and speed transition from model design to simulation implementation, migratable threads and objects pose many serious challenges to efficient kernel operation. Good solutions to these challenging problems are key to good simulator performance. We present techniques for the support of optimistic parallel simulations, addressing synchronization, state-saving, rollback, inter-process communication, and process scheduling.

REFERENCES

• 1: Baezner D., G. Lomow, and B. Unger. 1990. Sim++: The Transition to Distributed Simulation. Distributed Simulation, SCS Szmulatzon Series, 211- 218.
• 2: Rajive L. Bagrodia, Iterative design of efficient simulations using Maisie, Proceedings of the 23rd conference on Winter simulation, p.243-247, December 08-11, 1991, Phoenix, Arizona, United States
• 3: BoyanTech, Inc. 1995. CPSim 1.0 User's Guide and Reference Manual. BoyanTech, Inc., McLean, VA 22102.
• 4: Chandy K. M. and J. Misra. 1979. Distributed Simulation" A Case Study in Design and Verification of Distributed Programs. IEEE Trans. on Soflw. Eng., 5(~!:440-452.
• 5: Richard M. Fujimoto, Parallel discrete event simulation, Communications of the ACM, v.33 n.10, p.30-53, Oct. 1990 [doi>10.1145/84537.84545]
• 6: D. Jefferson , B. Beckman , F. Wieland , L. Blume , M. Diloreto, Time warp operating system, ACM SIGOPS Operating Systems Review, v.21 n.5, p.77-93, Nov. 1987
• 7: David R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.404-425, July 1985 [doi>10.1145/3916.3988]
• 8: Knop F., E. Mascarenhas, V. Rego, and V. Sunderam. 1995. Fail-Safe Concurrent Simulation with EcliPSe: An Introduction. Simulation Practice 8fi Theory (to appear).
• 9: Mascarenhas E. and V. Rego. 1995a. Ariadne: Architecture of a Portable Threads System Supporting Thread Migration. Software-Practzce and Experience (to appear).
• 10: Mascarenhas E. and V. t~ego. 1995b. Migrant Threads on Processor Farms: Parallel Programming with Ariadne. Technical report in preparation, Computer Sciences Department, Purdue University.
• 11: Janche Sang , Edward Mascarenhas , Vernon Rego, Process mobility in distributed-memory simulation systems, Proceedings of the 25th conference on Winter simulation, p.722-730, December 12-15, 1993, Los Angeles, California, United States [doi>10.1145/256563.256831]
• 12: Herb Schwetman, CSIM: a C-based process-oriented simulation language, Proceedings of the 18th conference on Winter simulation, p.387-396, December 08-10, 1986, Washington, D.C., United States [doi>10.1145/318242.318464]
• 13: Steinman J. S. 1992. SPEEDES: A Unified Approach to Parallel Simulation. In Proceedings of 6th Workshop on Parallel and Distributed Simulation, Szmulation Series, 75-84.
• 14: V. S. Sunderam, PVM: a framework for parallel distributed computing, Concurrency: Practice and Experience, v.2 n.4, p.315-339, Dec. 1990 [doi>10.1002/cpe.4330020404]
• 15: Topol B. 1992. Conch: Second Generation Heterogeneous Computing. Technical report, Department of Mathematics and Computer Science, Emory University.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.8 Types of Simulation
          Subjects: Parallel

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
  D.4 OPERATING SYSTEMS
      D.4.1 Process Management
      D.4.8 Performance
          Subjects: Simulation

General Terms:
Algorithms, Design, Experimentation, Management