Data-parallel applications are usually programmed in the SPMD paradigm by using a message passing system such as MPI or PVM. However programming by using message passing primitives is still tedious and error-prone. Th...
详细信息
ISBN:
(纸本)0818678763
Data-parallel applications are usually programmed in the SPMD paradigm by using a message passing system such as MPI or PVM. However programming by using message passing primitives is still tedious and error-prone. This paper presents an abstraction of message passing programming in C++ to relieve programmers of low-level considerations. The runtime overhead introduced by the abstraction is shown to be negligible.
This paper describes the analysis tool DSPNexpress which has been developed at the Technische Universitat Berlin since 1991. The development of DSPNexpress has been motivated by the lack of a powerful software package...
详细信息
This paper describes the analysis tool DSPNexpress which has been developed at the Technische Universitat Berlin since 1991. The development of DSPNexpress has been motivated by the lack of a powerful software package for the numerical solution of deterministic and stochastic Petri nets (DSPNs) and the complexity requirements imposed by evaluating memory consistency models for multicomputer systems. The development of DSPNexpress has gained by the author's experience with the version 1.4 of the software package GreatSPN. However, opposed to GreatSPN, the softwarearchitecture of DSPNexpress is particularly tailored to the numerical evaluation of DSPNs. Furthermore, DSPNexpress contains a graphical interface running under the X11 window system. To the best of the author's knowledge, DSPNexpress is the firstsoftware package which contains an efficient numerical algorithm for computing steady-state solutions of DSPns.
This paper describes a generalization of the "labelling" search strategy and its application to scheduling problems. The assignment of a value to the selected variable is replaced by reduction of the domain ...
详细信息
This article outlines a graphical software package for performance and dependability modeling with deterministic and stochastic Petri nets (DSPNs). The package is called DSPNexpress because its main scientific contrib...
详细信息
This article outlines a graphical software package for performance and dependability modeling with deterministic and stochastic Petri nets (DSPNs). The package is called DSPNexpress because its main scientific contribution lies in its efficient numerical solution component. The development of DSPNexpress has been motivated by the lack of a software package for an efficient numerical analysis of Deterministic and stochastic Petri nets (DSPNs) and the complexity requirements imposed by evaluating design alternatives for hardware and software components of multicomputer systems. The main scientific contribution of DSPNexpress lies in its efficient numerical solution component. The version 1.3 of DSPNexpress solves complex DSPNs with four orders of magnitude less CPU time than the previously known numerical method. As a consequence, DSPNexpress is able to calculate steady-state solutions of complex DSPNs with reasonable computational effort on a modern workstation (e.g. a DSPN with 100000 tangible marking and 5000000 state transitions with mild stiffness can be solved in 1 hour of CPU time on a Sun Spare station 2). The article summarizes the main innovative features of the software package DSPNexpress.
We point out some errors in the combinatorial approach for the steady-state analysis of a deterministic and stochastic Petri net (DSPN) presented by M. Lu, D. Zhang, and T. Murata (1990). However, the methodology for ...
详细信息
We point out some errors in the combinatorial approach for the steady-state analysis of a deterministic and stochastic Petri net (DSPN) presented by M. Lu, D. Zhang, and T. Murata (1990). However, the methodology for analyzing the self-stability of fault-tolerant clock synchronisation (FCS) systems introduced in that paper is applicable for FCS systems with many clocking modules, even if the combinatorial approach is not valid. This is due to the progress in improving the efficiency of the DSPN solution algorithm made in recent years. We show that the explicit computation of the steady-state solution of the DSPN can be performed with reasonable computational effort on a modern workstation by the software package DSPNexpress.< >
暂无评论