Commit 48085b0
authored
Fix race condition where Prompt() returns before SessionUpdate handlers complete (#5)
* test: demonstrate Prompt() returns before SessionUpdates complete
Add a failing test that surfaces a race condition where Prompt() can return before all SessionUpdate
notification handlers have finished processing.
The issue occurs because:
- SessionUpdate notifications are handled asynchronously (goroutines)
- PromptResponse is handled synchronously
- The receive loop spawns notification handlers but doesn't track them
When a server sends multiple SessionUpdate notifications followed by a PromptResponse, the client's
Prompt() call returns immediately upon receiving the response, even though notification handlers may
still be queued or running.
The test expects all SessionUpdate handlers to complete before Prompt() returns, which represents
the intended semantic contract: a prompt operation includes all its updates. Currently fails with
0/10 handlers completed when Prompt() returns.
This will be fixed in a subsequent commit.
* fix: ensure Prompt() waits for SessionUpdate handlers to complete
Fix race condition where Prompt() could return before all SessionUpdate notification handlers
finished processing.
The issue occurred because notification/request handlers were spawned asynchronously while responses
were processed synchronously. This meant the receive loop would:
1. Read SessionUpdate, then spawn goroutine G1
2. Read SessionUpdate, then spawn goroutine G2
3. Read PromptResponse, then handle synchronously, unblock Prompt()
At step 3, goroutines G1/G2 _could_ be queued, running, or complete.
Solution:
- Add notificationWg to Connection to track in-flight handlers
- Wrap notification handlers with WaitGroup Add/Done
- Call notificationWg.Wait() in SendRequest/SendRequestNoResult after receiving response but before
returning to caller
This ensures the semantic contract that a prompt operation includes all its updates: when Prompt()
returns, all SessionUpdate notifications sent before the PromptResponse have been fully processed.
Fixes the test added in previous commit.1 parent cc23bb6 commit 48085b0
2 files changed
+132
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| 8 | + | |
8 | 9 | | |
9 | 10 | | |
10 | 11 | | |
| |||
633 | 634 | | |
634 | 635 | | |
635 | 636 | | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
| 640 | + | |
| 641 | + | |
| 642 | + | |
| 643 | + | |
| 644 | + | |
| 645 | + | |
| 646 | + | |
| 647 | + | |
| 648 | + | |
| 649 | + | |
| 650 | + | |
| 651 | + | |
| 652 | + | |
| 653 | + | |
| 654 | + | |
| 655 | + | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
| 659 | + | |
| 660 | + | |
| 661 | + | |
| 662 | + | |
| 663 | + | |
| 664 | + | |
| 665 | + | |
| 666 | + | |
| 667 | + | |
| 668 | + | |
| 669 | + | |
| 670 | + | |
| 671 | + | |
| 672 | + | |
| 673 | + | |
| 674 | + | |
| 675 | + | |
| 676 | + | |
| 677 | + | |
| 678 | + | |
| 679 | + | |
| 680 | + | |
| 681 | + | |
| 682 | + | |
| 683 | + | |
| 684 | + | |
| 685 | + | |
| 686 | + | |
| 687 | + | |
| 688 | + | |
| 689 | + | |
| 690 | + | |
| 691 | + | |
| 692 | + | |
| 693 | + | |
| 694 | + | |
| 695 | + | |
| 696 | + | |
| 697 | + | |
| 698 | + | |
| 699 | + | |
| 700 | + | |
| 701 | + | |
| 702 | + | |
| 703 | + | |
| 704 | + | |
| 705 | + | |
| 706 | + | |
| 707 | + | |
| 708 | + | |
| 709 | + | |
| 710 | + | |
| 711 | + | |
| 712 | + | |
| 713 | + | |
| 714 | + | |
| 715 | + | |
| 716 | + | |
| 717 | + | |
| 718 | + | |
| 719 | + | |
| 720 | + | |
| 721 | + | |
| 722 | + | |
| 723 | + | |
| 724 | + | |
| 725 | + | |
| 726 | + | |
| 727 | + | |
| 728 | + | |
| 729 | + | |
| 730 | + | |
| 731 | + | |
| 732 | + | |
| 733 | + | |
| 734 | + | |
| 735 | + | |
| 736 | + | |
| 737 | + | |
| 738 | + | |
| 739 | + | |
| 740 | + | |
| 741 | + | |
| 742 | + | |
| 743 | + | |
| 744 | + | |
| 745 | + | |
| 746 | + | |
| 747 | + | |
| 748 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
41 | 41 | | |
42 | 42 | | |
43 | 43 | | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
44 | 48 | | |
45 | 49 | | |
46 | 50 | | |
| |||
94 | 98 | | |
95 | 99 | | |
96 | 100 | | |
97 | | - | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
98 | 106 | | |
99 | 107 | | |
100 | 108 | | |
| |||
193 | 201 | | |
194 | 202 | | |
195 | 203 | | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
196 | 209 | | |
197 | 210 | | |
198 | 211 | | |
| |||
266 | 279 | | |
267 | 280 | | |
268 | 281 | | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
| 285 | + | |
| 286 | + | |
269 | 287 | | |
270 | 288 | | |
271 | 289 | | |
| |||
0 commit comments