The templet parallel computing system: specification, implementation, applications

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.