Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to

All Issues >> Contents: Volume 07, Issue No 4 (2009)

Model of scalable system of parallel programs automatic correctness checking
Andrei Yuryevich Vlasenko

Kemerovo State University

UDC code: 004.4'233

Problem of debugging parallel programs in model of distributed memory is very difficult process that needs special software tools. In current time there are several approaches for construction such program systems. Comparative analysis of these approaches, mistakes classification in parallel programs and the most widely-spread systems to this time is given in this paper. Also paper describes model and algorithms of detection mistakes by Kemerovo University’s automatic correctness checking system.

How to cite:
Vlasenko A. Y. Model of scalable system of parallel programs automatic correctness checking // Vestnik NSU Series: Information Technologies. - 2009. - Volume 07, Issue No 4. - P. 53-65. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

1. Afanasyev K. E., Stukolov S. V. Mnogoprotcessornyye vychislitelnyye sistemy i parallelnoye programmirovaniye. Kemerovo: Kuzbassvuzizdat, 2003. 233 s.
2. Edmund M. K., Gramberg O., Peled D. Verifikatciya modelei programm: Model Checking. M.: Izd-vo moskovskogo tcentra nepreryvnogo matematicheskogo obrazovaniya, 2002. 416 s.
3. Siegel S. Verifying Parallel Programs with MPI-Spin // Proceedings of the 14th European PVM/MPI Users' Group Meeting, Paris, France, September/October 2007. P. 13–14.
4. Korneyev V. D., Malyshkin V. E. Parallelnoye programmirovaniye multikompyuterov. Novosibirsk: izdatelstvo NGTU, 2006. 296 s.
5. Krammer B., Mueller M., Resch M. MPI Application Development Using the Analysis Tool MARMOT // Lecture Notes in Computer Science. Berlin: Springer, 2004. Vol. 3038. P. 464–471.
6. Abramson D., Watson G., Dung L. Guard: A Tool for Migrating Scientific Applications to the .NET Framework. // Proceedings of the International Conference on Computational Science (ICCS
2002), Amsterdam, The Netherlands, April 21st 2002. P. 834–843.
7. Aleksakhin V. A., Barinova V. O., Bakhtin V. A. i dr. Sredstva otladki OPENMPprogramm v DVM-sisteme // Tr. Vseros. nauch. konf. «Nauchny servis v seti Internet: tekhnologiya raspredelennykh vychisleny» 22–27 sentyabrya 2008 g., g. Novorossysk. M.: Izd-vo MGU, 2008. S. 281–285.
8. Desouza J., Kuhn B., Supinski B. Automated, scalable debugging of MPI programs with Intel Message Checker // Proceedings of the second international workshop on Software engineering for high performance computing system applications, St. Louis, Missouri, 2005. P. 78–82.

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 07, Issue No 4 (2009).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 07, Issue No 4 (2009).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2009
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle

|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|
© 2006-2017, Novosibirsk State University.