Skip to content

Fix skipped mutable side effect replay recovery - #3164

Open
Quinn-With-Two-Ns wants to merge 1 commit into
mainfrom
fix/mutable-side-effect-replay-3163
Open

Quinn-With-Two-Ns wants to merge 1 commit into
mainfrom
fix/mutable-side-effect-replay-3163

Conversation

@Quinn-With-Two-Ns

@Quinn-With-Two-Ns Quinn-With-Two-Ns commented Oct 22, 2026 •

Copy link
Copy Markdown
Contributor

What changed?

  • Track replaying mutable-side-effect invocations separately from the command queue and resolve skipped invocations after their workflow task's command events have been applied.
  • Reuse the existing cancellation/cached-result transition, preserving callback workflow time without sweeping unrelated commands.
  • Introduce MUTABLE_SIDE_EFFECT_REPLAY_RECOVERY, disabled by default for its first release. Register opt-in usage at the mutableSideEffect call site and honor recorded flags during replay.
  • Add cache-eviction, callback-time, flag-registration, and negative nondeterminism-detection tests. Retain only the commandless-task and callback-time history fixtures.

Skip-count calculation and marker matching are unchanged.

Why?

Refs #3163.

A skipped mutable side effect has no corresponding marker event. During full replay, its internal placeholder can remain pending when there is no later command event to trigger cleanup, and an empty RecordMarker command can reach the server.

Unconditionally notifying the pending invocation at the next task start changes the workflow time observed by its continuation and can break replay. The added timing regression covers that case; flagged cleanup instead runs at the completed task's boundary, before the next task advances time or delivers signals.

Breaking changes?

None to public APIs. The new SDK flag remains disabled by default (Enabled: pending) for rollout compatibility; tests opt in explicitly. Unflagged histories retain their existing replay behavior.

Server PR

None required.

Validation

  • ./gradlew --offline spotlessApply
  • Retained state-machine and mutable-side-effect tests: 14 passed.
    ./gradlew --offline :temporal-sdk:test \
      --tests io.temporal.internal.statemachines.MutableSideEffectStateMachineTest \
      --tests io.temporal.workflow.MutableSideEffectReplayTest \
      --tests io.temporal.workflow.MutableSideEffectTest
  • Real-server configuration: 9 passed.
    ./gradlew --offline -PtestServer=dev-server :temporal-sdk:test \
      --tests io.temporal.workflow.MutableSideEffectReplayTest \
      --tests io.temporal.workflow.MutableSideEffectTest
  • One-off compatibility validation generated 20 histories with the unmodified baseline SDK (adf0fc8) on the test and real servers. Baseline replay passed first, followed by 40 patched replay cases comparing exact callback values, order, and workflow times with opt-in off/on. The bulk corpus and generator are intentionally not included in this PR.
  • Broader focused state-machine, side-effect, versioning, query, sticky-worker, and SDK-flag tests passed during development. The full repository suite has not been run.

Note

High Risk
Changes workflow replay and command scheduling for mutable side effects, where subtle timing mistakes cause nondeterministic replay; mitigated by a default-off SDK flag and extensive replay tests.

Overview
Fixes skipped Workflow.mutableSideEffect invocations that could leave replay placeholders pending (and emit invalid empty RecordMarker commands) after sticky cache eviction or worker restart, especially when a workflow task completes with no matching marker events.

Introduces SDK flag MUTABLE_SIDE_EFFECT_REPLAY_RECOVERY (disabled by default for rollout). When enabled, replaying invocations are tracked separately; after all command events for a task are applied, pending skipped calls are resolved via the existing cancel/cached-result path so callbacks run at that task’s workflow time—not at the next task start, which would change Workflow.currentTimeMillis() and break replay.

Flag usage is registered at mutableSideEffect call time when opted in via initialFlags; histories without the flag keep prior timing. workflowTaskStarted also resolves pending placeholders on live tasks when the flag is active. Command iteration during task start is copied to avoid concurrent modification when recovery runs workflow code.

Adds state-machine, integration replay, callback-timing, and nondeterminism regression tests plus captured history fixtures.

Reviewed by Cursor Bugbot for commit 9e5c687. Bugbot is set up for automated code reviews on this repo. Configure here.

Resolve pending mutable side effect invocations at the original workflow-task boundary without changing legacy replay timing. Gate recovery behind a first-release-disabled SDK flag and register opt-in use at the mutableSideEffect call site.

Add cache-eviction, callback-time, and nondeterminism detection replay coverage for issue #3163.
@Quinn-With-Two-Ns
Quinn-With-Two-Ns marked this pull request as ready for review October 28, 2026 17:11
@Quinn-With-Two-Ns
Quinn-With-Two-Ns requested a review from a team as a code owner October 28, 2026 17:11

@cursor cursor Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cursor Bugbot has reviewed your changes using default effort and found 1 potential issue.

Fix All in Cursor

❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.

Reviewed by Cursor Bugbot for commit 9e5c687. Configure here.

if (getState() == State.RESULT_NOTIFIED_REPLAYING && useReplayRecovery.apply()) {
notifySkippedReplaying();
}
}

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Later flag replay shifts skip timing

High Severity

When MUTABLE_SIDE_EFFECT_REPLAY_RECOVERY is first recorded on a later workflow task, replay leaves earlier skipped invocations pending, then handleWorkflowTaskStarted resumes them at that later task's workflow time. The live task that wrote the flag did not re-run those continuations, so replay can emit a different command set and fail.

Additional Locations (2)
Fix in Cursor Fix in Web

Reviewed by Cursor Bugbot for commit 9e5c687. Configure here.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant