microsoft / microsoft/coyote

Request for Actors to be notified when the runtime is stopped

Open
#36 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
C#
Stars
1.6k
Forks
92
Avg merge
44m
Merged PRs (30d)
1

Description

ICoyoteRuntime.Stop() does not tell the actors about this event, it would be nice is we had a way to cause OnHaltAsync to be invoked on all actors, without having to explicitly send HaltEvent to each of them - outside code may not even know all the ActorId's to do this, whereas the Runtime does. Perhaps we need a new async method like this:

    Task HaltAsync();

And the ActorRuntime can implement this by calling OnHaltAsync on all actors that are not already halted.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with ICoyoteRuntime.Stop(), ActorRuntime, OnHaltAsync, and HaltEvent to understand the existing shutdown path and actor notification behavior. Determine how a runtime-level async halt should reach every actor without requiring callers to know ActorId values, including actors already halted. Done means the proposed runtime API and its behavior are defined and covered by appropriate tests.

Written by the indexing model from the issue text.

Assessment

Tech stack
csharp
Domain
backend-api-design
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.