the proceedings contains 26 papers from the 11thworkshop on parallel and distributedsimulation (PADS'97). Topics discussed include: conservative simulation;architecture and VLSI simulation;event simultaneity;VLS...
详细信息
the proceedings contains 26 papers from the 11thworkshop on parallel and distributedsimulation (PADS'97). Topics discussed include: conservative simulation;architecture and VLSI simulation;event simultaneity;VLSI circuit partitioning;optimistic simulation;Petri net simulation;interconnection computer network;distributedsimulation;Hierarchical Tool HIT;Multi-Resolution Entity;bulk synchronous parallel models;and parallelsimulation environments.
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 boththeoretically 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.
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 simulationthroughout all levels of abstraction) and distribution transparency on the modeling level (homogeneous model specification for all solution techniques).
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.
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 withthis system on a shared memory multiprocessor show that EcoKit promises to scale well both withthe number of processors and the number of individuals simulated.
the process interaction world view is widely used in the general simulation community for its expressive power and is supported by most modem simulation languages. In parallel discrete event simulation, however its us...
详细信息
ISBN:
(纸本)0818679654
the process interaction world view is widely used in the general simulation community for its expressive power and is supported by most modem simulation languages. In parallel discrete event simulation, however its use remains comparatively rare due to the perceived inefficiency (and difficulty) of parallel implementations. We present a new implementation strategy for parallel process-oriented simulation languages. this innovative, semantics-based approach directly addresses two common concerns of such languages. By concentrating on the intrinsic threads of control, we avoid the proliferation of simulation objects (and their associated costs) that might result from a naive translation. More fundamentally, the primary costs associated with process-oriented languages - those of context switching between stacks and, in an optimistic setting, of saving the state of these stacks - are entirely eliminated since our explicit use of continuations avoids the need for stacks in the first place. We similarly obtain cheap and natural thread pre-emption.
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.
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.
暂无评论