Large-Scale Parallel Computing on Grids

被引:3
作者
Bal, Henri [1 ]
Verstoep, Kees [1 ]
机构
[1] Vrije Univ Amsterdam, Fac Sci, Dept Comp Sci, Amsterdam, Netherlands
关键词
Model checking; retrograde analysis; search algorithms; grids; distributed supercomputing; optical networks;
D O I
10.1016/j.entcs.2008.11.010
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper argues that computational grids can be used for far more types of applications than just trivially parallel ones. Algorithmic optimizations like latency-hiding and exploiting locality can be used effectively to obtain high performance on grids, despite the relatively slow wide-area networks that connect the grid resources. Moreover, the bandwidth of wide-area networks increases rapidly, allowing even some applications that are extremely communication intensive to run on a grid, provided the underlying algorithms are latency-tolerant. We illustrate large-scale parallel computing on grids with three example applications that search large state spaces: transposition-driven search, retrograde analysis, and model checking. We present several performance results on a state-of-the-art computer science grid (DAS-3) with a dedicated optical network.
引用
收藏
页码:3 / 17
页数:15
相关论文
共 21 条
[1]   The Distributed ASCI Supercomputer Project [J].
Bal, Henri ;
Bhoedjang, Raoul ;
Hofman, Rutger ;
Jacobs, Ceriel ;
Kielmann, Thilo ;
Maassen, Jason ;
Van, Nieuwpoort, Rob ;
Romein, John ;
Renambot, Luc ;
Ruhl, Tim ;
Veldema, Ronald ;
Verstoep, Kees ;
Baggio, Aline ;
Ballintijn, Gerco ;
Kuz, Ihor ;
Pierre, Guillaume ;
Van, Steen, Maarten ;
Tanenbaum, Andy ;
Doornbos, Gerben ;
Germans, Desmond ;
Spoelder, Hans ;
Baerends, Evert-Jan ;
Van, Gisbergen, Stan ;
Afsermanesh, Hamideh ;
Van, Albada, Dick ;
Belloum, Adam ;
Dubbeldam, David ;
Hendrikse, Zeger ;
Hertzberger, Bob ;
Hoekstra, Alfons ;
Iskra, Kamil ;
Kandhai, Drona ;
Koelma, Dennis ;
Van, Der Linden, Frank ;
Overeinder, Benno ;
Sloot, Peter ;
Spinnato, Piero ;
Epema, Dick ;
Van, Gemund, Arjan ;
Jonker, Pieter ;
Radulescu, Andrei ;
Van, Reeuwijk, Cees ;
Sips, Henk ;
Knijnenburg, Peter ;
Lew, Michael ;
Sluiter, Floris ;
Wolters, Lex ;
Blom, Hans ;
De, Laat, C .
Operating Systems Review (ACM), 2000, 34 (04) :76-96
[2]  
Barnat J., 2005, 4 INT WORKSH PAR DIS, P95
[3]  
Barnat J, 2006, LECT NOTES COMPUT SC, V4144, P278, DOI 10.1007/11817963_26
[4]  
Barnat J, 2006, LECT NOTES COMPUT SC, V4111, P259
[5]  
Cappello F., 2007, 7 IEEE INT S CLUST C, P230
[6]  
Ciardo G., 1998, INFORMS Journal on Computing, V10, P82, DOI 10.1287/ijoc.10.1.82
[7]   TransLight - A global-scale LambdaGrid for e-science [J].
DeFanti, T ;
de Laat, C ;
Mambretti, J ;
Neggers, K ;
St Arnaud, B .
COMMUNICATIONS OF THE ACM, 2003, 46 (11) :34-41
[8]  
Graham Richard L, 2005, P 6 ANN INT C PAR PR, P228
[9]  
Hammer M, 2007, LECT NOTES COMPUT SC, V4346, P51
[10]   The model checker SPIN [J].
Holzmann, GJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) :279-295