Skip to content

Fix mermaid queue arrows#126

Merged
leynos merged 3 commits intomainfrom
codex/fix-mermaid-rendering-issues-and-diagram-inconsistencies
Jun 24, 2025
Merged

Fix mermaid queue arrows#126
leynos merged 3 commits intomainfrom
codex/fix-mermaid-rendering-issues-and-diagram-inconsistencies

Conversation

@leynos
Copy link
Copy Markdown
Owner

@leynos leynos commented Jun 24, 2025

Summary

  • fix en-GB style to Oxford -ize spelling
  • escape generics inside Mermaid diagrams
  • clarify enqueue and drop actions using an explicit Outbox participant

Testing

  • markdownlint docs/asynchronous-outbound-messaging-design.md
  • nixie *.md docs/*.md
  • make fmt
  • make lint
  • make test

https://chatgpt.com/codex/tasks/task_e_685af2732fe48322813b6d66c57526b4

Summary by Sourcery

Refine the asynchronous outbound messaging design documentation by standardizing spelling, properly escaping generics, and introducing an explicit Outbox participant in sequence diagrams to clarify enqueue/dequeue semantics.

Documentation:

  • Standardize British-style spellings to Oxford “-ize” form
  • Escape generic type parameters in Mermaid diagrams
  • Introduce an explicit Outbox participant and adjust arrows in sequence diagrams to clarify enqueue, dequeue, and drop actions

@sourcery-ai
Copy link
Copy Markdown
Contributor

sourcery-ai Bot commented Jun 24, 2025

Reviewer's Guide

This PR standardizes spelling and markdown formatting, ensures generics in Mermaid diagrams are properly escaped, and clarifies queue operations by introducing an explicit Outbox participant in the sequence diagrams.

Sequence diagram for outbound frame enqueue and delivery (with explicit Outbox)

sequenceDiagram
    participant Client
    participant ConnectionActor
    participant Outbox
    participant Socket

    Client->>ConnectionActor: Initiate connection/request
    Note over ConnectionActor: Manages high/low priority queues
    ConnectionActor->>Outbox: enqueue outbound frame
    Outbox->>ConnectionActor: dequeue frame
    ConnectionActor->>Socket: Write outbound frame
    Socket-->>Client: Delivers outbound message
    Note over Outbox: Holds frames while socket busy
Loading

Sequence diagram for application task pushing frames (with explicit Outbox)

sequenceDiagram
    participant AppTask as Application Task
    participant SessionRegistry
    participant ConnectionActor
    participant Outbox
    participant Socket
    AppTask->>SessionRegistry: get PushHandle for session
    AppTask->>ConnectionActor: push(OK packet or LOCAL INFILE)
    ConnectionActor->>Outbox: enqueue frame
    Outbox->>ConnectionActor: dequeue frame
    ConnectionActor->>Socket: write frame (when idle or after command completes)
Loading

Sequence diagram for heart-beat timer push (with explicit Outbox)

sequenceDiagram
    participant Timer as Heart-beat Timer
    participant ConnectionActor
    participant Outbox
    participant Socket
    Timer->>ConnectionActor: push_high_priority(Ping frame)
    ConnectionActor->>Outbox: enqueue Ping in high-priority queue
    Outbox->>ConnectionActor: dequeue Ping
    ConnectionActor->>Socket: write Ping frame (even during response stream)
Loading

Sequence diagram for frame drop on full queue (clarified)

sequenceDiagram
    participant ConnectionActor
    participant Socket
    alt Queue not full
        ConnectionActor->>Socket: write PUBLISH frame
    else Queue full
        Note over ConnectionActor: Drop frame due to full queue
    end
Loading

File-Level Changes

Change Details Files
Standardized spelling and cleaned up markdown formatting
  • Convert British -ise spellings to American -ize
  • Adjust table header spacing for consistency
  • Reflow a long section link onto a new line
docs/asynchronous-outbound-messaging-design.md
Escaped generics inside Mermaid code blocks
  • Wrap generic type parameters in backticks
  • Escape < and > to prevent HTML parsing issues
docs/asynchronous-outbound-messaging-design.md
Introduced explicit Outbox in sequence diagrams to clarify queue operations
  • Add a participant Outbox declaration in each diagram
  • Replace self–enqueue arrows with ConnectionActor→Outbox and Outbox→ConnectionActor calls
  • Annotate drop actions with a Note over ConnectionActor
docs/asynchronous-outbound-messaging-design.md

Tips and commands

Interacting with Sourcery

  • Trigger a new review: Comment @sourcery-ai review on the pull request.
  • Continue discussions: Reply directly to Sourcery's review comments.
  • Generate a GitHub issue from a review comment: Ask Sourcery to create an
    issue from a review comment by replying to it. You can also reply to a
    review comment with @sourcery-ai issue to create an issue from it.
  • Generate a pull request title: Write @sourcery-ai anywhere in the pull
    request title to generate a title at any time. You can also comment
    @sourcery-ai title on the pull request to (re-)generate the title at any time.
  • Generate a pull request summary: Write @sourcery-ai summary anywhere in
    the pull request body to generate a PR summary at any time exactly where you
    want it. You can also comment @sourcery-ai summary on the pull request to
    (re-)generate the summary at any time.
  • Generate reviewer's guide: Comment @sourcery-ai guide on the pull
    request to (re-)generate the reviewer's guide at any time.
  • Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
    pull request to resolve all Sourcery comments. Useful if you've already
    addressed all the comments and don't want to see them anymore.
  • Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
    request to dismiss all existing Sourcery reviews. Especially useful if you
    want to start fresh with a new review - don't forget to comment
    @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

  • Enable or disable review features such as the Sourcery-generated pull request
    summary, the reviewer's guide, and others.
  • Change the review language.
  • Add, remove or edit custom review instructions.
  • Adjust other review settings.

Getting Help

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Jun 24, 2025

Warning

Rate limit exceeded

@leynos has exceeded the limit for the number of commits or files that can be reviewed per hour. Please wait 13 minutes and 47 seconds before requesting another review.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

📥 Commits

Reviewing files that changed from the base of the PR and between db3941e and 189db9b.

📒 Files selected for processing (1)
  • docs/asynchronous-outbound-messaging-design.md (6 hunks)

Summary by CodeRabbit

  • Documentation
    • Updated spelling to American English for consistency.
    • Improved formatting and readability in section references.
    • Revised architectural descriptions and diagrams to explicitly introduce the "Outbox" entity for outbound messaging.
    • Clarified sequence diagrams and added notes on frame drops due to full queues.
    • Made minor whitespace and line break adjustments for clarity.

Summary by CodeRabbit

  • Documentation
    • Improved formatting consistency and readability.
    • Clarified architectural components and sequence diagrams, explicitly introducing an "Outbox" entity.
    • Updated terminology to use American English spelling ("serializes").
    • Corrected list numbering and enhanced table alignment.
    • Added explicit notes on frame drops in the MQTT broker use case diagram.

Walkthrough

The documentation for asynchronous outbound messaging was updated to clarify the architecture by explicitly introducing an "Outbox" entity in diagrams and descriptions. Formatting, numbering, and spelling were standardised, and sequence diagrams were revised to better illustrate frame flow and queue behaviour. No code or API changes were made.

Changes

File(s) Summary of Changes
docs/asynchronous-outbound-messaging-design.md Improved formatting, clarified architectural components, updated sequence diagrams to include "Outbox", standardised spelling and numbering, added explicit notes on frame drops.

Sequence Diagram(s)

sequenceDiagram
    participant Client
    participant ApplicationTask
    participant Timer
    participant ConnectionActor
    participant Outbox
    participant Socket

    Client->>ConnectionActor: Send frame
    ApplicationTask->>ConnectionActor: Send frame
    Timer->>ConnectionActor: Send frame
    ConnectionActor->>Outbox: Enqueue frame
    Outbox->>ConnectionActor: Dequeue frame (when ready)
    ConnectionActor->>Socket: Write frame
Loading

Possibly related PRs

  • Add connection actor diagrams #125: Both PRs modify the same documentation file and focus on clarifying the connection actor's outbound frame queuing by introducing or refining the "Outbox" concept and related sequence diagrams, indicating a direct relationship in enhancing the architectural explanation.
  • Document server-initiated packet design #122: This PR also updates the asynchronous outbound messaging design document, refining the actor model and server-initiated packet design, complementing the introduction of the "Outbox" entity for outbound frame management.

Poem

In diagrams neat, the Outbox appears,
Clarifying flows and dispelling old fears.
Frames queue up, then out they go,
Through actors and sockets, all in a row.
With spelling aligned and numbers anew,
The docs now sparkle—hippity-hop, thank you!
🐇✨

✨ Finishing Touches
🧪 Generate Unit Tests
  • Create PR with Unit Tests
  • Post Copyable Unit Tests in Comment
  • Commit Unit Tests in branch codex/fix-mermaid-rendering-issues-and-diagram-inconsistencies

🪧 Tips

Chat

There are 3 ways to chat with CodeRabbit:

  • Review comments: Directly reply to a review comment made by CodeRabbit. Example:
    • I pushed a fix in commit <commit_id>, please review it.
    • Explain this complex logic.
    • Open a follow-up GitHub issue for this discussion.
  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai explain this code block.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai gather interesting stats about this repository and render them as a table. Additionally, render a pie chart showing the language distribution in the codebase.
    • @coderabbitai read src/utils.ts and explain its main purpose.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.
    • @coderabbitai help me debug CodeRabbit configuration file.

Support

Need help? Create a ticket on our support page for assistance with any issues or questions.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (Invoked using PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger an incremental review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai full review to do a full review from scratch and review all the files again.
  • @coderabbitai summary to regenerate the summary of the PR.
  • @coderabbitai generate docstrings to generate docstrings for this PR.
  • @coderabbitai generate sequence diagram to generate a sequence diagram of the changes in this PR.
  • @coderabbitai auto-generate unit tests to generate unit tests for this PR.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai configuration to show the current CodeRabbit configuration for the repository.
  • @coderabbitai help to get help.

Other keywords and placeholders

  • Add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.
  • Add @coderabbitai summary to generate the high-level summary at a specific location in the PR description.
  • Add @coderabbitai anywhere in the PR title to generate the title automatically.

CodeRabbit Configuration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

Copy link
Copy Markdown
Contributor

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

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

Hey @leynos - I've reviewed your changes and they look great!


Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

@leynos
Copy link
Copy Markdown
Owner Author

leynos commented Jun 24, 2025

@coderabbitai review

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Jun 24, 2025

✅ Actions performed

Review triggered.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

Copy link
Copy Markdown
Contributor

@coderabbitai coderabbitai Bot left a comment

Choose a reason for hiding this comment

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

Actionable comments posted: 7

📜 Review details

Configuration used: CodeRabbit UI
Review profile: ASSERTIVE
Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between f9f6107 and 8fb2fc2.

📒 Files selected for processing (1)
  • docs/asynchronous-outbound-messaging-design.md (7 hunks)
🧰 Additional context used
🧠 Learnings (1)
docs/asynchronous-outbound-messaging-design.md (7)
Learnt from: CR
PR: leynos/wireframe#0
File: docs/wireframe-1-0-detailed-development-roadmap.md:0-0
Timestamp: 2025-06-24T16:43:46.789Z
Learning: When implementing a connection actor in Rust (e.g., for duplex communication), use a biased select! loop to prioritize shutdown signals, high/low priority pushes, and handler response streams in a strict order. This ensures predictable and robust processing of events.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/asynchronous-outbound-messaging-design.md:0-0
Timestamp: 2025-06-24T18:46:37.516Z
Learning: The connection actor's write loop should use a tokio::select! loop with the biased keyword to enforce strict polling order: first for shutdown signals, then high-priority push messages, then low-priority push messages, and finally the response stream. This ensures urgent messages are never starved by lower-priority traffic.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/the-road-to-wireframe-1-0-feature-set-philosophy-and-capability-maturity.md:0-0
Timestamp: 2025-06-24T16:43:37.907Z
Learning: When multiplexing multiple sources of outbound frames in a connection actor, use tokio::select!(biased;) to prioritize critical events such as graceful shutdown signals and high-priority push channels over standard handler responses. This ensures timely handling of control messages.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/the-road-to-wireframe-1-0-feature-set-philosophy-and-capability-maturity.md:0-0
Timestamp: 2025-06-24T16:43:37.907Z
Learning: The actor-per-connection model is recommended for managing TCP connections in asynchronous Rust servers. Each connection is handled by a dedicated async task, serializing all I/O and simplifying resource management.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/asynchronous-outbound-messaging-design.md:0-0
Timestamp: 2025-06-24T18:46:37.516Z
Learning: In the wireframe framework, asynchronous outbound messaging is implemented using a stateful actor-per-connection model, where each connection is managed by a dedicated async task that serializes all I/O and maintains per-connection state, such as sequence counters and push queues. This design eliminates the need for complex locking and simplifies concurrency.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/wireframe-1-0-detailed-development-roadmap.md:0-0
Timestamp: 2025-06-24T16:43:46.789Z
Learning: For asynchronous push mechanisms, implement a dual-channel (high/low priority) mpsc system to allow prioritized frame delivery. Expose a PushHandle API with push, try_push, and policy-based push_with_policy methods for ergonomic and flexible usage.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/asynchronous-outbound-messaging-design.md:0-0
Timestamp: 2025-06-24T18:46:37.516Z
Learning: Outbound message prioritization is achieved by maintaining two bounded tokio::mpsc channels per connection: one for high-priority and one for low-priority frames. The bounded nature of these channels provides robust back-pressure, suspending producers when the queue is full.
🪛 LanguageTool
docs/asynchronous-outbound-messaging-design.md

[uncategorized] ~73-~73: Loose punctuation mark.
Context: ...low_priority_push_rx: mpsc::Receiver`: For standard, non-urgent background ...

(UNLIKELY_OPENING_PUNCTUATION)

🔇 Additional comments (2)
docs/asynchronous-outbound-messaging-design.md (2)

35-36: Anchor link looks fine – no action needed
The heading anchor #3-core-architecture-the-connection-actor resolves correctly on GitHub, so the intra-doc link will work.


42-48: Table formatting LGTM
Column alignment and Oxford “-ize” spelling in the requirement texts are consistent; no issues spotted.

Comment thread docs/asynchronous-outbound-messaging-design.md Outdated
Comment thread docs/asynchronous-outbound-messaging-design.md Outdated
Comment thread docs/asynchronous-outbound-messaging-design.md
Comment thread docs/asynchronous-outbound-messaging-design.md
Comment thread docs/asynchronous-outbound-messaging-design.md
Comment thread docs/asynchronous-outbound-messaging-design.md Outdated
Comment thread docs/asynchronous-outbound-messaging-design.md Outdated
Copy link
Copy Markdown
Contributor

@coderabbitai coderabbitai Bot left a comment

Choose a reason for hiding this comment

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

Actionable comments posted: 2

📜 Review details

Configuration used: CodeRabbit UI
Review profile: ASSERTIVE
Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between 8fb2fc2 and db3941e.

📒 Files selected for processing (1)
  • docs/asynchronous-outbound-messaging-design.md (6 hunks)
🧰 Additional context used
📓 Path-based instructions (2)
`docs/**/*.md`: Use the markdown files within the `docs/` directory as a knowledge base and source of truth for project requirements, dependency choices, and architectural decision...

docs/**/*.md: Use the markdown files within the docs/ directory as a knowledge base and source of truth for project requirements, dependency choices, and architectural decisions.
Proactively update the relevant file(s) in the docs/ directory to reflect the latest state when new decisions are made, requirements change, libraries are added/removed, or architectural patterns evolve.
Documentation in the docs/ directory must use en-GB-oxendict spelling and grammar, except for the word 'license'.

  • docs/asynchronous-outbound-messaging-design.md
`**/*.md`: Validate Markdown files using `markdownlint *.md **/*.md`. Run `mdformat-all` after any documentation changes to format all Markdown files and fix table markup. Validate...

**/*.md: Validate Markdown files using markdownlint *.md **/*.md.
Run mdformat-all after any documentation changes to format all Markdown files and fix table markup.
Validate Markdown Mermaid diagrams using the nixie CLI by running nixie *.md **/*.md.
Markdown paragraphs and bullet points must be wrapped at 80 columns.
Code blocks in Markdown files must be wrapped at 120 columns.
Tables and headings in Markdown files must not be wrapped.

  • docs/asynchronous-outbound-messaging-design.md
🧠 Learnings (1)
docs/asynchronous-outbound-messaging-design.md (5)
Learnt from: CR
PR: leynos/wireframe#0
File: docs/wireframe-1-0-detailed-development-roadmap.md:0-0
Timestamp: 2025-06-24T16:43:46.789Z
Learning: When implementing a connection actor in Rust (e.g., for duplex communication), use a biased select! loop to prioritize shutdown signals, high/low priority pushes, and handler response streams in a strict order. This ensures predictable and robust processing of events.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/asynchronous-outbound-messaging-design.md:0-0
Timestamp: 2025-06-24T18:46:37.516Z
Learning: The connection actor's write loop should use a tokio::select! loop with the biased keyword to enforce strict polling order: first for shutdown signals, then high-priority push messages, then low-priority push messages, and finally the response stream. This ensures urgent messages are never starved by lower-priority traffic.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/asynchronous-outbound-messaging-design.md:0-0
Timestamp: 2025-06-24T18:46:37.516Z
Learning: In the wireframe framework, asynchronous outbound messaging is implemented using a stateful actor-per-connection model, where each connection is managed by a dedicated async task that serializes all I/O and maintains per-connection state, such as sequence counters and push queues. This design eliminates the need for complex locking and simplifies concurrency.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/asynchronous-outbound-messaging-design.md:0-0
Timestamp: 2025-06-24T18:46:37.516Z
Learning: The actor-per-connection model, prioritised message queues, and PushHandle API together enable use cases such as server-initiated packets (e.g., MySQL session tracker data), heart-beat pings (e.g., WebSocket), and broker-side fan-out (e.g., MQTT PUBLISH), all with correct ordering, back-pressure, and resilience.
Learnt from: CR
PR: leynos/wireframe#0
File: docs/the-road-to-wireframe-1-0-feature-set-philosophy-and-capability-maturity.md:0-0
Timestamp: 2025-06-24T16:43:37.907Z
Learning: The actor-per-connection model is recommended for managing TCP connections in asynchronous Rust servers. Each connection is handled by a dedicated async task, serializing all I/O and simplifying resource management.
🔇 Additional comments (1)
docs/asynchronous-outbound-messaging-design.md (1)

54-62: [web_search]

What is the preferred spelling of “serialize” in the Oxford English Dictionary?

Comment thread docs/asynchronous-outbound-messaging-design.md Outdated
Comment thread docs/asynchronous-outbound-messaging-design.md Outdated
@leynos leynos merged commit d455f17 into main Jun 24, 2025
5 checks passed
@leynos leynos deleted the codex/fix-mermaid-rendering-issues-and-diagram-inconsistencies branch June 24, 2025 22:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant