Communicating Concurrent Functions

TL;DR

This paper extends the framework for executing concurrent functions by classifying communication types, identifying issues, and proposing solutions to manage communication at higher abstraction levels, ensuring correct behavior.

Contribution

It introduces a classification of communication in concurrent functions and provides solutions to handle communication issues through encapsulation and abstraction.

Findings

Communication issues can be mitigated by higher-level abstraction techniques.

Encapsulation improves correctness in concurrent function communication.

Framework extension supports better management of concurrent interactions.

Abstract

In this article we extend the framework of execution of concurrent functions on different abstract levels from previous work with communication between the concurrent functions. We classify the communications and identify problems that can occur with these communications. We present solutions for the problems based on encapsulation and abstraction to obtain correct behaviours. The result is that communication on a low level of abstraction in the form of shared memory and message passing is dealt with on an higher level of abstraction.