Transmission protocols for instruction streams

TL;DR

This paper analyzes transmission protocols for passing instruction streams from threads to remote execution environments, focusing on how communication affects thread behavior in distributed systems.

Contribution

It introduces and analyzes specific transmission protocols for remote instruction passing in thread algebra models, addressing communication challenges.

Findings

Protocols effectively transmit instruction streams to remote environments

Analysis reveals protocol efficiency and reliability aspects

Framework supports modeling remote thread execution behaviors

Abstract

Threads as considered in thread algebra model behaviours to be controlled by some execution environment: upon each action performed by a thread, a reply from its execution environment -- which takes the action as an instruction to be processed -- determines how the thread proceeds. In this paper, we are concerned with the case where the execution environment is remote: we describe and analyse some transmission protocols for passing instructions from a thread to a remote execution environment.