Skip to content

Correctness issue: mutation of otherProcesses when filtering replica targets #126

@CSEcourses

Description

@CSEcourses

I submitted PR #125 fixing a correctness issue where the function that filters replica targets ServerViewController.getReplicasWithout (e.g., excluding the leader) mutates ServerViewController.otherProcesses, which is shared state containing the list of replica IDs (excluding itself).

This mutation can affect subsequent uses of otherProcesses and lead to incorrect behavior.

Opening this issue to ensure visibility in case PRs aren't actively monitored.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions