ParaSol: a multithreaded system for parallel simulation based on mobile threads
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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.Keywords
This publication has 10 references indexed in Scilit:
- Process Mobility in Distributed-Memory Simulation SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Iterative design of efficient simulations using MaisiePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Ariadne: Architecture of a Portable Threads System Supporting Thread MigrationSoftware: Practice and Experience, 1996
- Concurrent and fail-safe replicated simulations on heterogeneous networks: An introduction to EcliPSeSimulation Practice and Theory, 1995
- PVM: A framework for parallel distributed computingConcurrency: Practice and Experience, 1990
- Parallel discrete event simulationCommunications of the ACM, 1990
- Time warp operating systemACM SIGOPS Operating Systems Review, 1987
- CSIMPublished by Association for Computing Machinery (ACM) ,1986
- Virtual timeACM Transactions on Programming Languages and Systems, 1985
- Distributed Simulation: A Case Study in Design and Verification of Distributed ProgramsIEEE Transactions on Software Engineering, 1979