Computer Architecture and High Performance Computing, Symposium on (2004)
Foz do Igua?u, PR - Brazil
Oct. 27, 2004 to Oct. 29, 2004
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CAHPC.2004.17
S?bastien Varrette , Laboratoire ID-IMAG, France
Jean-Louis Roch , Laboratoire ID-IMAG, France
Franck Lepr?vost , Universit? du Luxembourg, Luxembourg
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem of the result checking of the parallel execution of a program on an unsecured grid. This domain is the object of numerous works, either at the hardware or at the software level. We propose here an original software method based on the dynamic computation of the data-flow associated to a partial execution of the program on a secure machine. This data-flow is a summary of the execution : any complete execution of the program on an unsecured remote machine with the same inputs supplies a flow which summary has to correspond to the one obtained by partial execution.
J. Roch, S. Varrette and F. Lepr?vost, "FlowCert : Probabilistic Certification for Peer-to-Peer Computations," Computer Architecture and High Performance Computing, Symposium on(SBAC-PAD), Foz do Igua?u, PR - Brazil, 2004, pp. 108-115.