A Structured Synchronization and Communication Model Fitting Irregular Data Accesses

Journal of Parallel and Distributed Computing

Volumn 50, Issue 1-2, 1998, Pages 3-27

  Melin, Emmanuel ^a   Raffin, Bruno ^a   Rebeuf, Xavier ^a   Virot, Bernard ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

Design of parallel programming languages; task parallel language; data parallel programming model; structural clock; automatic parallelization; irregular algorithm; implementation results on Cray T3D.

Indexed keywords

EID: 0006368728     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1998.1439     Document Type: Article

References (25)

1. Apt B., Olderog E.-R. Verification of Sequential and Concurrent Programs. 1991;Springer-Verlag, Berlin/New York.
2. Bareau C., Caillaud B., Jard C., Thoraval R. Correctness of Automated Distribution of Sequential Programs. Technical Report. 1992.
3. Bougé L., Cachera D., Guyadec Y. L., Utard G., Virot B. Formal validation of data-parallel programs: Introducing the assertional approach. The Data Parallel Programming Model. Lecture Notes in Computer Science. 1132:1996;Springer-Verlag, Berlin/New York. p. 197-219.
4. Bougé L., Cachera D., Guyadec Y. L., Utard G., Virot B. Formal validation of data-parallel programs: A two-component assertional proof system for a simple language. Theoret. Comput. Sci. B. 189:1997;71-107.
5. Cameron K., Clarke L. J., Smith A. G. CRI/EPCC MPI for CRAY T3D. First European Cray T3D Workshop. September 1995;EPFL.
6. Cray Research, Application Programmer Library Reference Manual.
7. Diderich C. G., Gengler M. Synchronization as a strategy for designing efficient parallel algorithms. Parallel Algorithms for Irregularily Structured Problems (IRREGULAR'96). Lecture Notes in Computer Science. 1117:1996;Springer-Verlag, Berlin/New York. p. 229-236.
8. Delaplace F., Adle R. Extension of the Dependence Analysis for the Sparse Computation. Technical Report. 1995.
9. Feautrier P. Automatic parallelization in the polytope model. Perrin G.-R., Darte A. The Data Parallel Programming Model. Lecture Notes in Computer Science. 1132:1996;79-100 Springer-Verlag, Berlin/New York.
10. Foster I. Designing and Building Parallel Programs. 1994;Addison-Wesley, Reading.
11. Gropp W., Lusk E., Skjellum A. USING MPI Portable Parallel Programming with the Message-Passing Interface. Scientific and Engineering Computation Series. 1994;MIT Press, Cambridge.
12. Guyadec Y. L., Melin E., Raffin B., Rebeuf X., Virot B. A loosely synchronized execution model for a simple data-parallel language. Bougé L., Fraigniaud P., Mignotte A., Robert Y. EuroPar'96 Parallel Processing. Lecture Notes in Computer Science. 1123:1996;732-741 Springer-Verlag, Berlin/New York.
13. Guyadec Y. L., Melin E., Raffin B., Rebeuf X., Virot B. Structural clocks for a loosely synchronized data-parallel language. Second International Conference on Massively Parallel Computing Systems (MPCS'96). May 1996;IEEE Comput. Soc. Press, Los Alamitos. p. 482-489.
14. Guyadec Y. L., Virot B. Sequential-like proofs of data-parallel programs. Parallel Process. Lett. 6:1996;415-426.
15. Hatcher P. J., Quinn M. J. Data-Parallel Programming on MIMD Computers. 1991;MIT Press, Cambridge.
16. Hoare C. A. R. Communicating Sequential Processes. 1985;Prentice Hall, New York.
17. Lamport L. Time, clocks, and the ordering of events in a distributed system. Commun. Assoc. Comput. Mach. 21:1978;558-564.
18. McColl W. F. BSP programming. Blelloch G. E., Chandy K. M., Jagannathan S. Proceedings of DIMACS Workshop, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. May 1994;21-35 Am. Math. Soc. Providence.
19. Melin E., Raffin B., Rebeuf X., Virot B. A general but simple technique to handle asynchronous data-parallel control structures. Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP'97). January 1997;IEEE Comput. Soc. Press, Los Alamitos. p. 189-196.
20. Melin E., Raffin B., Rebeuf X., Virot B. SCL-Chan. Second International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'97) (in conjunction with 11th International Parallel Processing Symposium (IPPS'97). April 1997;IEEE Comput. Soc. Press, Los Alamitos. p. 64-71.
21. Raffin B. Un Modèle Structuré de Communication et de Synchronisation pour le Parallélisme de Tâches. 1997;Université d'OrléansLIFO.
22. Schreiber R. S. An introduction to HPF. The Data Parallel Programming Model. Lecture Notes in Computer Science. 1132:1996;Springer-Verlag, Berlin/New York. p. 27-41.
23. Snir M., Otto S. W., Huss-Lederman S., Walker D. W., Dongarra J. MPI, The Complete Reference. 1996;MIT PressScientific and Engineering Computation, Cambridge.
24. Valiant L. G. A bridging model for parallel computation. Commun. Assoc. Comput. Mach. 33:August 1990;103-111.
25. A. Veen, M. de Lang, Overview of the prepare project, in, 4th Int. Workshop on Compilers for Parallel Computers, 345, 350, Delft, The Netherlands, 1993.