ABRAU 09/2017

XIX all_Russian scientific conference Scientific service on the Internet 2017 was held on Semptember 18th - 23rd, 2017 in Russia, Novorossiysk, Abrau-Durso, a boarding house 'Sailor'.

N.A. Kataev has proposed there a speaker paper:

Incremental parallelization for clusters in the SAPFOR system

The experience of SAPFOR system usage  has shown that when parallelizing large programs and program systems for a cluster, it is necessary to  parallelize them incrementally, starting from the most time-consuming fragments and incrementally adding new fragments, until we reach the desired level of  the parallel program performance. The principles of incremental parallelization of the program systems are considered in the article.

The work was funded by RFBR (projects No. 16-07-01067, 16-07-01014, 17-01-00820).

 

This article is written by a team of the following authors V.A. Bakhtin, N.A. Kataev, A.S. Kolganov, N.N. Korolev, V.A. Krukov, M.Yu. Kuznecov, N.V. Podderugina, M.N. Pritula, O.A. Savitskaya, A.A. Smirnov, O.F. Zhukova.

N.A. Kataev has proposed there a speaker paper:

The support of interactivity in the SAPFOR system

The SAPFOR system is primarily the system of automated parallelization of programs, that involves the organization of interaction with a user to make some decisions on parallelization. The existing version of the system has  the tools of visualization of automatically made decisions, and also allows the user to participate in parallelization by setting special instructions in the source code of the program. The capabilities provided by these tools are limited and require from the user either to explicitly specify all the features of the program before its parallelization, or  to repeatedly restart all components of the system after each small refinement of the properties. This article discusses a new approach to the organization of interactive interaction with the user in the SAPFOR system, which will allow to provide the user with information about  parallelization process and to take into account user’s recommendations during the system work.

The work was was funded by the Russian Foundation for basic research, project 17-01-00820 – a

 

This article is written by a team of the following authors N.A. Kataev, A.S. Kolganov, A.A. Smirnov.

Development of the method of comparative debugging of DVM-programs

Parallel program debugging is a time-consuming and non-trivial task. To automate this process, the DVM system provides a comparative debugging mechanism that allows to detect the differences between the intermediate results of the parallel and serial execution, previously saved as files with traces. But when debugging real programs, the size of these files can significantly exceed the capabilities of the file system. For such cases, another way of execution of the DVMH program. Comparative debugging in the DVM system is implemented by tracing the following events when the program is executed: reading and modifying  of variables, loop iterations, etc. The intermediate results obtained during parallel execution are compared with the reference ones, which are usually  the results of serial execution, previously saved as files with traces. But when debugging real programs, the size of these files can significantly exceed the capabilities of the file system. For such cases, another way of comparative debugging  organization is required – simultaneous start of serial and parallel execution of the program and comparison of their intermediate results “on the fly”. This article describes  the principles of  this debugging mode implementation in a DVM system.

The work was funded by the Russian Foundation for basic research,  projects 16-07-01067 and 17-01-00820.

 

This article is written by a team of the following authors A.A. Ermichev, V.A. Krukov.