ACM Transactions on Programming Languages and Systems (TOPLAS)
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
PVM: a framework for parallel distributed computing
Concurrency: Practice and Experience
Process mobility in distributed-memory simulation systems
WSC '93 Proceedings of the 25th conference on Winter simulation
Iterative design of efficient simulations using Maisie
WSC '91 Proceedings of the 23rd conference on Winter simulation
CSIM: a C-based process-oriented simulation language
WSC '86 Proceedings of the 18th conference on Winter simulation
A parallel GPSS based on the ParaSol simulation system
WSC '96 Proceedings of the 28th conference on Winter simulation
Checkpoint and recovery methods in the ParaSol simulation system
Proceedings of the 29th conference on Winter simulation
IEEE Transactions on Parallel and Distributed Systems
Nops: a conservative parallel simulation engine for TeD
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Efficient process interaction with threads in parallel discrete event simulation
Proceedings of the 30th conference on Winter simulation
Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms
IEEE Transactions on Parallel and Distributed Systems
Runtime support for collaborative air pollution models
Systems Analysis Modelling Simulation - Special issue: Applications of information systems in environmental modelling
Automaton: An Autonomous Coverage-Based Multiprocessor System Verification Environment
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
JiST: an efficient approach to simulation using virtual machines: Research Articles
Software—Practice & Experience
DSIM: scaling time warp to 1,033 processors
WSC '05 Proceedings of the 37th conference on Winter simulation
Hi-index | 0.00 |
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.