Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes

O.A. Yatsenko

Abstract


The approach to generation of terms by high-level specifications of algorithms is proposed. The generation is performed within the framework of joint use of symbolic computation system and algebro-algorithmic toolkit of program design and synthesis. The term rewriting system complements the algebro-algorithmic toolkit with means of transforming sequential and parallel algorithms aimed at their improvement.

Problems in programming 2013; 2: 62-70 


References


Система автоматизации распараллеливания программ на промежуточном представлении LLVM. –http://www.dataved.ru/2011/06/llvmautoparallelizer.html.

Multi-Threaded Programming With POSIX Threads. – http://users.actcom.co.il/~choo./lupg/tutorials/multi-thread/multi-thread.html.

OpenMP Application Program Interface. -http://www.openmp.org/mp-documents/

spec30.pdf.

Intel Threading Building Blocks. – http://threadingbuildingblocks.org

Клинов М.С., Крюков В.А. Автоматическое распараллеливание Фортран-программ. Отображение на кластер. –

http://www.ict.edu.ru/vconf/files/11879.pdf.

Дорошенко Е.А., Яценко Е.А. О синтезе программ на языке Java по алгеброалгоритмическим спецификациям // Проблеми програмування. – 2006. – № 4. – С. 58–70.

Дорошенко Е.А., Жереб К.А., Яценко Е.А. Формализованное проектирование эффективных многопоточных программ // Проблеми програмування. – 2007. – № 1. – С. 17–30.

Дорошенко А.Е., Жереб К.А., Яценко Е.А. Об оценке сложности и координации вычислений в многопоточных программах // Проблеми програмування. – 2007. – № 2. – С. 41–55.

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного программирования. – Киев: Академпериодика, 2007. – 631 с.

Дорошенко А.Е., Шевченко Р.С. Система символьных вычислений для программирования динамических приложений // Проблеми програмування. – 2005. – № 4. – С. 718–727.

Кнут Д. Искусство программирования для ЭВМ. – М.: Мир, 1978. – Т. 3. – 843 с.

Guptha S. Multithreaded Programming in a Microsoft Win32* Environment. – http://eng.harran.edu.tr/~nbesli/SP/senkronizasyon.pdf.

Writing Message-Passing Parallel Programs

with MPI. – http://www.zib.de/zibdoc/mpikurs/mpicourse.pdf.

Intel Cilk++ SDK Programmer's Guide. -http://www.clear.rice.edu/comp422/resources/Intel_Cilk++_Programmers_Guide.pdf.


Refbacks

  • There are currently no refbacks.