Evaluating Latency of Distributed Algorithms Using Petri Nets N. Sergent The time it takes to a distributed algorithm to finish (the distributed algorithm latency) cannot be directly measured in asynchronous systems if the algorithm starts and ends on different processors, since the system has no global time. A simple method to evaluate this latency is to build and simulate a unified model which includes the network and the distributed algorithm sub-models. In this paper we introduce a network model for UDP (User Datagram Protocol) which allows to establish a relationship between the number of messages exchanged in a distributed algorithm and the communication delays. As an application, we consider the two-phase commitment algorithm. Numeri...
Abstract—The paper presents creating web system models. The aim of the work was to develop models of...
A technique to describe and to verify distributed algorithms is suggested. This technique (based on ...
AbstractCommunication protocols are often investigated using simulation. This paper presents a perfo...
This paper presents an application of Hierarchical Coloured Timed Petri Nets to the modelling and th...
Petri Nets have been successfully used to model and evaluate the performance of distributed systems....
Distributed real-time system consists of many tasks on different processors communicating with each ...
Development of complex systems is usually preceded by detailed studies of their models. For concurre...
Efficient interprocessor communication is a key parameter to achieve high performance in distributed...
A variety of distributed algorithms are presented and proven correct in this book. A (Petri net base...
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are inc...
An approach is presented for generating a performance prediction model so that both qualitative (log...
Andrews introduced a number of techniques for automaticallyhiding latency when performing simulation...
A technique to describe and to verify distributed algorithms is suggested. This technique (based on ...
This paper introduce an algorithm, which was proposed by Li et al.[1], that determines the firing fr...
Petri Net models have been extended in a variety of ways and have been used to prove the correctness...
Abstract—The paper presents creating web system models. The aim of the work was to develop models of...
A technique to describe and to verify distributed algorithms is suggested. This technique (based on ...
AbstractCommunication protocols are often investigated using simulation. This paper presents a perfo...
This paper presents an application of Hierarchical Coloured Timed Petri Nets to the modelling and th...
Petri Nets have been successfully used to model and evaluate the performance of distributed systems....
Distributed real-time system consists of many tasks on different processors communicating with each ...
Development of complex systems is usually preceded by detailed studies of their models. For concurre...
Efficient interprocessor communication is a key parameter to achieve high performance in distributed...
A variety of distributed algorithms are presented and proven correct in this book. A (Petri net base...
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are inc...
An approach is presented for generating a performance prediction model so that both qualitative (log...
Andrews introduced a number of techniques for automaticallyhiding latency when performing simulation...
A technique to describe and to verify distributed algorithms is suggested. This technique (based on ...
This paper introduce an algorithm, which was proposed by Li et al.[1], that determines the firing fr...
Petri Net models have been extended in a variety of ways and have been used to prove the correctness...
Abstract—The paper presents creating web system models. The aim of the work was to develop models of...
A technique to describe and to verify distributed algorithms is suggested. This technique (based on ...
AbstractCommunication protocols are often investigated using simulation. This paper presents a perfo...