Multi-Threaded Actors

TL;DR

This paper introduces a novel multi-threaded actor model enabling parallel message processing, supported by formal semantics, a Java implementation, and an example application demonstrating its practicality.

Contribution

It presents a new multi-threaded actor model with shared message queues, formal semantics, and a Java implementation, advancing actor-based concurrency models.

Findings

Formal operational semantics established

Java-based implementation developed

Example application demonstrates effectiveness

Abstract

In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of active objects which share a message queue. We provide a formal operational semantics, and a description of a Java-based implementation for the basic programming abstractions describing multi-threaded actors. Finally, we evaluate our proposal by means of an example application.