Rapid prototyping for distributed D-Clean using C++ templates
Viktória Zsók, Zoltán Porkoláb · Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio computatorica · 2012
Earlier we have designed two coordination languages, D-Clean and D-Box for high-level process description and communication coordination of functional programs distributed over a cluster. D-Clean is the high level coordination language for functional distributed computations. The language coordinates the pure functional computational nodes required by language primitives, and it controls the dataflow in a distributed processnetwork. In order to achieve parallel features, D-Clean extends the lazy functional programming language Clean with new language primitives. Every D-Clean construct generates a D-Box expression. D-Box is an intermediate level language and describes in details the computational nodes hiding the low level implementation details and enabling direct control over the process-network. Practical experiences of the two language usage showed the difficulties of distributed program development, especially in testing and debugging. This paper aims to provide software comprehension application for a better way of understanding and utilizing the D-Clean language. Here we provide a new modeling approach of the coordination language elements and a new view of the D-Clean distributed system behaviour using C++ templates. The strong type system of C++ templates guarantees the correctness of the model. Using templates we can achieve impressive efficiency by avoiding run-time overhead.