Description
ParaSol is a parallel discrete event simulation system
that supports optimistic and adaptive synchronization methods. The system is
easy to use and domain-specific.
Design decisions that reflect these properties
include: support for process-interaction based simulations,
transparent location and access of simulation objects,
and application-specificity in domain layers.
Other interesting features of ParaSol include transactions enabled via
multithreading, transparent object based state saving,
support for arbitrary distributed
computing libraries/environments (e.g., MPI, PVM, P4),
and built-in statistics for monitoring simulation objects.
ParaSol supports parallel
simulations on clusters of homogeneous workstations
and shared memory multiprocessors.
Principal Investigators
- Edward Connell, PhD Student
- Felipe Knop, IBM
- Edward Mascarenhas, SGI
- Reuben Pasquini, PhD Student
- James Pollard, PhD Student
- Dr. Vernon Rego, Professor
Publications
( ps, pdf)
ParaSol: A Multithreaded System for
Parallel Simulation Based on Mobile Threads
- Edward Mascarenhas, Felipe Knop, and Vernon Rego.
1995 Winter Simulation Conference
-
( ps, pdf)
A Parallel GPSS Based on the ParaSol Simulation System
- Felipe Knop, Edward Mascarenhas, and Vernon Rego.
1996 Winter Simulation Conference
-
( ps, pdf)
Checkpoint and Recovery Methods in the ParaSol Simulation System
- Edward Mascarenhas, Felipe Knop, Reuben Pasquini, and Vernon Rego.
1997 Winter Simulation Conference
-
( ps, pdf)
Minimum Cost Adaptive Synchronization: Experiments with the ParaSol System
- Edward Mascarenhas, Felipe Knop, and Vernon Rego.
1997 Winter Simulation Conference
-
( ps, pdf)
A System for Multithreaded Parallel Simulation and Computation with Migrant
Threads and Objects
- Edward Mascarenhas. 1996. Thesis.
-
( ps, pdf)
Software Architecture for Fault-Tolerant and Multithreaded Decompositions:
Experiments with Practical Parallel Simulation
- Felipe Knop. 1996. Thesis.
-
( ps, pdf)
Efficient Process Interaction With Threads in Parallel Discrete Event Simulation
- Reuben Pasquini, Vernon Rego.
1998 Winter Simulation Conference. Washington, D.C.
-
( ps, pdf)
A Lazy Calendar for Optimistic Parallel Simulation
- Reuben Pasquini, Vernon Rego,
1998 Conference on Simulation Methods and Applications.
Orlando, FL
-
( ps, pdf)
Lazy Algorithms in Parallel Discrete Event Simulation
- Reuben Pasquini, Vernon Rego. 1998.
CSD-TR #98-020.
-
( ps, pdf)
Optimistic Parallel Simulation Over a Network of Workstations
- Reuben Pasquini, Vernon Rego.
1999 Winter Simulation Conference. Phoenix, AZ
-
( ps,
pdf)
Algorithms for Improving the Performance of Optimistic Parallel Simulation
- Reuben Pasquini. 1999. Thesis.
Download
The beta version of ParaSol can now be
downloaded.
This is beta quality code that has been used for
experimental purposes only.
Installing this version of ParaSol is a difficult process.
F.A.Q.
- What platforms does ParaSol run on?
- A: We have run ParaSol experiments on Sun Sparc 5, Sparc 20,
Sparc 10, and Ultra Sparc boxes running Solaris 2.5.1;
Pentium based PC's running Linux 2.0.x, and the IBM SP/2
running AIX 4.1.
- What does ParaSol stand for?
- A: Parallel Simulation Object Library
Related Links
Parallel Discrete Event Simulation USENET newsgroups
comp.simulation
comp.parallel
comp.parallel.mpi
comp.parallel.pvm
Parallel Discrete Event Simulation WWW Sites
ParSec
Simulation Lab
VHDL
MPICH-MPI
LAM-MPI
PVM
Warp Group
GTW
PADS group at University of Waterloo
WARPED
INFORMS
Back to PaCS Homepage
send questions to Reuben Pasquini
Last modified: July 16, 1999