RT Conference Proceedings
T1 Parallel Cost Analysis of Distributed Systems
A1 Albert Albiol, Elvira María
A1 Correas Fernández, Jesús
A1 Johnsen, Einar Broch
A1 Román Díez, Guillermo
AB We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurrent execution model of distributed processing to capture the cost of synchronized tasks executing in parallel. It is challenging to analyze parallel cost because one needs to soundly infer the parallelism between tasks while accounting for waiting and idle processor times at the different locations. Our analysis works in three phases: (1) It first performs a block-level analysis to estimate the serial costs of the blocks between synchronization points in the program; (2) Next, it constructs a distributed ow graph (DFG) to capture the parallelism, the waiting and idle times at the locations of the distributed system; Finally, (3) the parallel cost can be obtained as the path of maximal cost in the DFG. A prototype implementation demonstrates the accuracy and feasibility of the proposed analysis.
YR 2015
FD 2015-09
LK https://hdl.handle.net/20.500.14352/25000
UL https://hdl.handle.net/20.500.14352/25000
LA eng
NO Publicado en Lecture Notes in Computer Science, vol. 9291
NO Unión Europea. FP7
NO Ministerio de Economía y Competitividad (MINECO)
NO Comunidad de Madrid
DS Docta Complutense
RD 6 abr 2025