In EDS ansehen

The templet parallel computing system: specification, implementation, applications.

Gespeichert in:
Bibliographische Detailangaben
Titel: The templet parallel computing system: specification, implementation, applications.
Autoren: Vostokin, S.V.1 vostokin_sv@ssau.ru
Quelle: Procedia Engineering. 2017, Vol. 201, p684-689. 6p.
Schlagwörter: Computer systems, Parallel programs (Computer programs), Mathematical logic, Linear differential equations, Mathematical programming
Abstract: The article describes the implemented prototype of the Templet parallel computing system for the C++ language. The system uses a novel version of the actor execution model. The design of the actor model makes it possible to define the behavior of the parallel program developed in the Templet system mathematically strict with a temporal logic formula. We believe that this feature of the system is critical, because it gives application developers the freedom to implement actors on any desired platform. Our variant of the actor model can be easily reimplemented for different hardware and in different programming languages, at least for multithreaded execution in shared memory. The article defines the Templet actor model in terms of Temporal Logic of Action, discusses the system design, and shows some examples of its practical use. [ABSTRACT FROM AUTHOR]
Datenbank: Supplemental Index
Beschreibung
Abstract:The article describes the implemented prototype of the Templet parallel computing system for the C++ language. The system uses a novel version of the actor execution model. The design of the actor model makes it possible to define the behavior of the parallel program developed in the Templet system mathematically strict with a temporal logic formula. We believe that this feature of the system is critical, because it gives application developers the freedom to implement actors on any desired platform. Our variant of the actor model can be easily reimplemented for different hardware and in different programming languages, at least for multithreaded execution in shared memory. The article defines the Templet actor model in terms of Temporal Logic of Action, discusses the system design, and shows some examples of its practical use. [ABSTRACT FROM AUTHOR]
ISSN:18777058
DOI:10.1016/j.proeng.2017.09.683