5 research outputs found
Estimation of the Speedup of Distributed Applications
Speedup is one of the main performance charac-
teristics of distributed applications. It is defined as the ratio
of application’s execution time on a single processor to the
execution time, of the same workload, on a system composed
on N processors. This paper analyzes, in very general terms,
the speedup that can be achieved in distributed environ-
ments and shows why some applications scale very well with
the number of processors while others have strict limitations
on the speedup that can be achieved in distributed environ-
ments. The existence of such limitations simply means that
a straightforward distribution of a (sequential) workload is
not a satisfactory approach, and new algorithms are needed
to use distributed environments in a more satisfactory way
Parallel computation of the reachability graph of petri net models with semantic information
Formal verification plays a crucial role when dealing with correctness of systems. In a previous work, the authors proposed a class of models, the Unary Resource Description Framework Petri Nets (U-RDF-PN), which integrated Petri nets and (RDF-based) semantic information. The work also proposed a model checking approach for the analysis of system behavioural properties that made use of the net reachability graph. Computing such a graph, specially when dealing with high-level structures as RDF graphs, is a very expensive task that must be considered. This paper describes the development of a parallel solution for the computation of the reachability graph of U-RDF-PN models. Besides that, the paper presents some experimental results when the tool was deployed in cluster and cloud frameworks. The results not only show the improvement in the total time required for computing the graph, but also the high scalability of the solution, which make it very useful thanks to the current (and future) availability of cloud infrastructures