MLambda.Actors.Satellite.Abstraction 1.0.0

MLambda Actors

👁 NuGet
👁 Build and Test
👁 codecov

MLambda is a Reactive Actor Model framework for .NET with built-in clustering, gossip protocol, and mTLS security. It provides a lightweight actor system with guardian hierarchy supervision, reactive message passing via System.Reactive, and a clean API built on C# pattern matching.

Install

dotnet add package MLambda.Actors

Features

• Guardian Hierarchy -- Root/System/User/Temp actor tree with parent-child supervision
• Supervision Strategies -- OneForOne (only failed child affected) and AllForOne (all siblings affected)
• Become/Unbecome -- Dynamic behavior switching at runtime
• Message Stashing -- Temporarily buffer messages and replay them later
• DeathWatch -- Watch/Unwatch/Terminated pattern for monitoring actor lifecycle
• Lifecycle Hooks -- PreStart, PostStop, PreRestart, PostRestart callbacks
• Reactive Messaging -- All responses are IObservable<T> via System.Reactive
• DI Integration -- Register actors with Microsoft.Extensions.DependencyInjection

Quick Start

1. Install

Add the MLambda.Actors packages to your project.

2. Register Services

var services = new ServiceCollection();
services.AddActor(); // Core actor system
services.AddActor<MyActor>(); // Register your actors

3. Define an Actor

Inherit from Actor and override Receive using C# pattern matching:

[Route("/counter")]
public class CounterActor : Actor
{
 private int count;

 protected override Behavior Receive(object data) =>
 data switch
 {
 Increment _ => Actor.Behavior<int>(this.HandleIncrement),
 GetCount _ => Actor.Behavior<int>(() => Observable.Return(this.count)),
 _ => Actor.Ignore,
 };

 private IObservable<int> HandleIncrement()
 {
 this.count++;
 return Observable.Return(this.count);
 }
}

4. Spawn and Send Messages

// Inject IUserContext via DI
var address = await userContext.Spawn<CounterActor>();

// Synchronous send (request-response)
int count = await address.Send<Increment, int>(new Increment());

// Fire-and-forget
address.Send(new Increment()).Subscribe();

Concepts

Behavior and Pattern Matching

The Receive method returns a Behavior delegate (IObservable<object> Behavior(IContext context)). Use Actor.Behavior(...) factory methods to create behaviors from your handler methods:

protected override Behavior Receive(object data) =>
 data switch
 {
 string message => Actor.Behavior(this.Print, message), // with parameter
 int value => Actor.Behavior(this.Process, value), // typed parameter
 _ => Actor.Ignore, // unhandled
 };

Handler methods can optionally accept IContext as the first parameter to access the actor context (Self, Spawn, Watch, etc.).

Become / Unbecome

Actors can switch their message handling behavior at runtime:

public class BecomeActor : Actor
{
 protected override Behavior Receive(object data) =>
 data switch
 {
 SetMood m when m.Mood == "happy" => Actor.Behavior(this.SwitchToHappy),
 AskMood _ => Actor.Behavior<string>(() => Observable.Return("normal")),
 _ => Actor.Ignore,
 };

 private IObservable<string> SwitchToHappy(IContext ctx)
 {
 this.Become(this.HappyBehavior); // Switch behavior
 return Observable.Return("now happy");
 }

 private Behavior HappyBehavior(object data) =>
 data switch
 {
 AskMood _ => Actor.Behavior<string>(() => Observable.Return("happy")),
 SetMood m when m.Mood == "normal" => Actor.Behavior(this.RevertToNormal),
 _ => Actor.Ignore,
 };

 private IObservable<string> RevertToNormal(IContext ctx)
 {
 this.Unbecome(); // Revert to default Receive
 return Observable.Return("back to normal");
 }
}

Message Stashing

Actors can stash messages they cannot yet handle and replay them later. This is commonly combined with Become for initialization patterns:

public class StashActor : Actor
{
 private readonly List<string> processed = new();

 protected override Behavior Receive(object data) =>
 data switch
 {
 Initialize _ => Actor.Behavior(this.HandleInit),
 string _ => Actor.Behavior(this.StashIt), // Not ready yet
 _ => Actor.Ignore,
 };

 private IObservable<string> HandleInit(IContext ctx)
 {
 this.Become(this.ReadyBehavior);
 this.UnstashAll(); // Replay all stashed messages
 return Observable.Return("initialized");
 }

 private IObservable<string> StashIt(IContext ctx)
 {
 this.Stash?.Stash(); // Buffer current message
 return Observable.Return("stashed");
 }

 private Behavior ReadyBehavior(object data) =>
 data switch
 {
 string msg => Actor.Behavior(this.Process, msg),
 _ => Actor.Ignore,
 };

 private IObservable<string> Process(string msg)
 {
 this.processed.Add(msg);
 return Observable.Return($"processed: {msg}");
 }
}

Supervision Strategies

Define how parent actors handle child failures:

OneForOne -- Only the failing child is affected:

public class MyActor : Actor
{
 public override ISupervisor Supervisor => Strategy.OneForOne(
 decider => decider
 .When<InvalidOperationException>(Directive.Resume)
 .When<InvalidCastException>(Directive.Restart)
 .Default(Directive.Escalate));
}

AllForOne -- All sibling children are affected when one fails:

public class ParentActor : Actor
{
 private readonly IBucket bucket;

 public ParentActor(IBucket bucket) => this.bucket = bucket;

 public override ISupervisor Supervisor => Strategy.AllForOne(
 decider => decider
 .When<InvalidOperationException>(Directive.Resume)
 .When<InvalidCastException>(Directive.Restart)
 .Default(Directive.Escalate),
 this.bucket);
}

Directives: Resume (ignore error), Restart (recreate actor), Stop (terminate), Escalate (pass to parent).

DeathWatch

Monitor another actor's lifecycle:

protected override Behavior Receive(object data) =>
 data switch
 {
 WatchTarget t => Actor.Behavior(this.StartWatching, t),
 Terminated t => Actor.Behavior(this.OnTerminated, t),
 _ => Actor.Ignore,
 };

private IObservable<string> StartWatching(IContext ctx, WatchTarget target)
{
 ctx.Watch(target.Address); // Register for Terminated notifications
 return Observable.Return("watching");
}

private IObservable<string> OnTerminated(Terminated t)
{
 // The watched actor has stopped
 return Observable.Return("target terminated");
}

Lifecycle Hooks

Override lifecycle methods to execute code at specific points:

public class MyActor : Actor
{
 public override void PreStart() { /* Before first message */ }
 public override void PostStop() { /* After actor stops */ }
 public override void PreRestart(Exception reason) { /* Before restart */ }
 public override void PostRestart(Exception reason) { /* After restart */ }

 protected override Behavior Receive(object data) => Actor.Ignore;
}

Packages

Architecture

Asteroid ──TCP──► Cluster ◄──Gossip──► Cluster
 │ │
 Satellite Satellite
 (Actors) (Actors)

• Cluster: Gossip mesh + CRDT routing + service discovery
• Satellite: Hosts user actors, connects to cluster
• Asteroid: Lightweight gateway that routes messages to the cluster
• Fortress: Optional mTLS layer with PSK bootstrap and auto-rotating X.509 certificates

Project Structure

src/
 MLambda.Actors.Abstraction/ # Interfaces and base classes
 MLambda.Actors/ # Core implementation
 MLambda.Actors.Core/ # DI registration
 MLambda.Actors.Network/ # TCP transport
 MLambda.Actors.Gossip/ # Gossip protocol
 MLambda.Actors.Cluster/ # Cluster system actors
 MLambda.Actors.Satellite/ # Satellite node architecture
 MLambda.Actors.Asteroids/ # Lightweight gateway
 MLambda.Actors.Fortress/ # mTLS security layer
 MLambda.Actors.Monitoring/ # OpenTelemetry integration
test/
 MLambda.Actors.Test/ # SpecFlow BDD tests

Testing

Tests use SpecFlow (BDD) with Gherkin feature files:

dotnet test

Example scenario:

Feature: Message stashing with Become

 Scenario: Messages sent before initialization are stashed and processed after
 Given a stash actor
 When the messages "alpha", "beta", "gamma" are sent
 And the actor is initialized
 And the processed messages are queried
 Then the processed messages should be "alpha", "beta", "gamma"

License

This project is licensed under the MIT License. See for details.

<p align="center"> <a href="https://www.buymeacoffee.com/yordivad" target="_blank"> <img src="https://cdn.buymeacoffee.com/buttons/default-orange.png" alt="Buy Me A Coffee" width="217px" height="51px"> </a> </p>