This paper shows how the Prosit system, a new C + +-based framework for both sequential and distributed discrete event simulation, developed at INRIA-Sophia-Antipolis, makes an easy and efficient integration of classi...
详细信息
This paper shows how the Prosit system, a new C + +-based framework for both sequential and distributed discrete event simulation, developed at INRIA-Sophia-Antipolis, makes an easy and efficient integration of classical discrete event simulation and of new high speed simulation techniques based on evolution equations possible. This demonstrates in particular the feasibility of distributedsimulations involving simulators of different nature. Important applications of these techniques may be found in the simulation of communication switches, as illustrated in an example.
With two examples we show the suitability of the bulk-synchronous parallel (BSP) model for discrete-event simulation of homogeneous large-scale systems. This model provides a unifying approach for general purpose para...
详细信息
ISBN:
(纸本)0818679654
With two examples we show the suitability of the bulk-synchronous parallel (BSP) model for discrete-event simulation of homogeneous large-scale systems. This model provides a unifying approach for general purpose parallel computing which in addition to efficient and scalable computation, ensures portability across different parallel architectures. A valuable feature of this approach is a simple cost model that enables precise performance prediction of BSP algorithms. We show both theoretically and empirically that systems with uniform event occurrence among their components, such as colliding hard-spheres and ising-spin models, can be efficiently simulated in practice on current parallel computers supporting the BSP model.
This paper presents the tolerant, hybrid synchronization schema and its benefits for the parallel and distributedsimulation of interconnected computer networks. The hybrid schema combines conservative and optimistic ...
详细信息
ISBN:
(纸本)0818679654
This paper presents the tolerant, hybrid synchronization schema and its benefits for the parallel and distributedsimulation of interconnected computer networks. The hybrid schema combines conservative and optimistic synchronization approaches by using lookahead for scheduling special events and using the flexibility of Time Warp in certain cases. In addition to these classical approaches the introduction of the ''tolerance'' allows the distributed modules to simulate further ahead than guaranteed by the conservative synchronization schema. This results in significantly smaller simulation runtimes and many other benefits.
Performance analysis of distributed systems may be performed on different levels of abstraction. An accurate but time-consuming method is the construction of a simulation model which includes the different subsystems,...
详细信息
ISBN:
(纸本)0818680970
Performance analysis of distributed systems may be performed on different levels of abstraction. An accurate but time-consuming method is the construction of a simulation model which includes the different subsystems, the communication system, and the load profile. In particular, this approach seems to be very powerful for real-time systems because of the inherent possibility of precise calculations of delays and processing times. A VHDL-based approach is presented which supports the performance analysis of mixed discrete-continuous, distributed systems.
In this paper we address the problem of efficiently performing parallel discrete-event simulation in the case that events elaboration is dependent of other processes' local states. We propose a parallelsimulation...
详细信息
ISBN:
(纸本)0818679654
In this paper we address the problem of efficiently performing parallel discrete-event simulation in the case that events elaboration is dependent of other processes' local states. We propose a parallelsimulation policy, called State Query Time Warp (SQTW), based on the Time Warp mechanism. We present experiments performed by means of a SQTW-based parallel simulator on a T-800 transputer machine for solving performance models based on state-dependent routing queueing network models. The experiments are used for assessing overheads and efficiency involved by SQTW;results show that high efficiency is achievable, and surprisingly reveal SQTW is able to globally reduce rollback overheads with respect to corresponding Time Warp simulations.
In this paper we revisit the notion of event simultaneity in the context of parallel and distributedsimulation. Although the simulation community has recognized this problem for years, it has focused mainly on the me...
详细信息
In this paper we revisit the notion of event simultaneity in the context of parallel and distributedsimulation. Although the simulation community has recognized this problem for years, it has focused mainly on the mechanics of breaking event-time ties and has neither measured its extent nor considered its implications. Extant simulators (both serial and parallel) prohibit simultaneity either by user-specified event priorities or by an arbitrary (but well-documented) tie-breaking mechanism. We shall show, theoretically and empirically, that these strategies may lead to an invalid simulation. In doing so, we shall introduce the threshold of event simultaneity and use it to understand the semantics of simultaneity.
The Hierarchical Tool HIT is a software tool for hierarchical modeling and performance evaluation of discrete event systems. Besides analytical and numerical solution techniques HIT provides the evaluation of models b...
详细信息
ISBN:
(纸本)0818679654
The Hierarchical Tool HIT is a software tool for hierarchical modeling and performance evaluation of discrete event systems. Besides analytical and numerical solution techniques HIT provides the evaluation of models by sequential simulation. Here we present concepts for optimistic distributedsimulation of HIT-models by partitioning them with respect to subhierarchies. The main goals of the concept being presented are the preservation of model structure even in lower levels of the realization (e.g. use of the process view of simulation throughout all levels of abstraction) and distribution transparency on the modeling level (homogeneous model specification for all solution techniques).
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem arises when individuals migrate between p...
详细信息
ISBN:
(纸本)0818679654
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem arises when individuals migrate between physical regions simulated by different logical processes. We present a solution to this problem that uses shared object states. Shared states allow for efficient communication between LPs and for early detection of canceled events. We briefly describe an optimistic simulation environment called EcoKit, which operates on top of the WarpKit implementation of Time Warp. Our experiments with this system on a shared memory multiprocessor show that EcoKit promises to scale well both with the number of processors and the number of individuals simulated.
This paper presents the results of an experimental study to evaluate the effectiveness of multiple synchronization protocols and partitioning algorithms in reducing the execution time of switch-level models of VLSI ci...
详细信息
This paper presents the results of an experimental study to evaluate the effectiveness of multiple synchronization protocols and partitioning algorithms in reducing the execution time of switch-level models of VLSI circuits. Specific contributions of this paper include: (i) parallelizing an existing switch-level simulator such that the model can be executed using conservative and optimistic simulation protocols with minor changes, (ii) evaluating effectiveness of several partitioning algorithms for parallelsimulation, and (iii) demonstrating speedups with both consecutive and optimistic simulation protocols for seven circuits, ranging in size from 3 K transistors to about 87 K transistors.
暂无评论