Asynchronous model of computation on shared memory

Abstract

The article proposes an asynchronous model of computation, the distinguishing feature of which is computation control based on strict partial order. It’s shown that such approach to define control in the program provides several advantages for parallel computing, in particular, allows to represent algorithms with high level of non-procedurality and completely separates control from computations. An algorithm of convertation of that model to wellknown asynchronous model with control operators is developed. Aspect programming system was designed and developed on the basis of the proposed model.