Сompilations method and semantic verification time parameterized of multiparallel programs

Olena Tolstoluzka V. N. Karazin Kharkiv National University
Dmitriy Tolstoluzkiy V. N. Karazin Kharkiv National University
Olga Moroz V. N. Karazin Kharkiv National University

Keywords: Time parameterizing, multiparallelism, parallel programs, verification of parallel programs, compilation-semantic verification, semantic-numerical specification

Abstract

It provides definitions vremyaparametrizovannyh multiparallelnyh programs that (in contrast to the conventional treatment of parallel programs) contain moments of the start of operations specifications / features, as well as a subset of such operations / functions. The necessity of development of new methods of verification vremyaparametrizovannyh parallel programs. Reveals the stages of solving the problem, a compilation of semantic verification vremyaparametrizovannyh multiparallelnyh programs for the creation of automated synthesis systems, high-performance parallel programs for computing systems of various classes. We present an example illustrating the basic steps of the method.

Downloads

Download data is not yet available.

Author Biographies

Olena Tolstoluzka, V. N. Karazin Kharkiv National University

Doctor of Sciences (Engineering), Senior Researcher

Dmitriy Tolstoluzkiy, V. N. Karazin Kharkiv National University

Engineer

Olga Moroz, V. N. Karazin Kharkiv National University

Senior lecturer

References

Polyakov G. A. Sintez i analiz parallel'nykh protsessov v adaptivnykh vremyaparametrizovannykh vychislitel'nykh sistemakh: monografiya / G. A. Polyakov, S. I. Shmatkov, E. G. Tolstoluzhskaya, D. A. Tolstoluzhskii. – Khar'kov: KhNU im. V. N. Karazina, 2012. – 670 s.

Voevodin V. V. Parallel'nye vychisleniya / V. V. Voevodin, Vl. V. Voevodin. – Sankt-Peterburg: BKhV – Peterburg, 2004. – 608 s.

Kalbertson R. Bystroe testirovanie / Robert Kalbertson, Braun Kris, Kobb Geri: per. s angl. – Moskva: Izdatel'skii dom «Vil'yams», 2002. – 384 s.

Polyakov G. A. Kompilyatsionnaya metodika verifikatsii statiko-dinamicheskikh ob"ektov avtomaticheskogo proektirovaniya mul'tiparallel'nykh tsifrovykh ustroistv. / G. A. Polyakov, D. A. Tolstoluzhskii // Prikladnaya radioelektronika. – 2005. – T.1. – № 2. – S. 37–41.