|
| 1 | +""" |
| 2 | +In-memory event store for demonstrating resumability functionality. |
| 3 | +
|
| 4 | +This is a simple implementation intended for examples and testing, |
| 5 | +not for production use where a persistent storage solution would be more appropriate. |
| 6 | +""" |
| 7 | + |
| 8 | +import logging |
| 9 | +from collections import deque |
| 10 | +from dataclasses import dataclass |
| 11 | +from uuid import uuid4 |
| 12 | + |
| 13 | +from mcp.server.streamable_http import ( |
| 14 | + EventCallback, |
| 15 | + EventId, |
| 16 | + EventMessage, |
| 17 | + EventStore, |
| 18 | + StreamId, |
| 19 | +) |
| 20 | +from mcp.types import JSONRPCMessage |
| 21 | + |
| 22 | +logger = logging.getLogger(__name__) |
| 23 | + |
| 24 | + |
| 25 | +@dataclass |
| 26 | +class EventEntry: |
| 27 | + """ |
| 28 | + Represents an event entry in the event store. |
| 29 | + """ |
| 30 | + |
| 31 | + event_id: EventId |
| 32 | + stream_id: StreamId |
| 33 | + message: JSONRPCMessage |
| 34 | + |
| 35 | + |
| 36 | +class InMemoryEventStore(EventStore): |
| 37 | + """ |
| 38 | + Simple in-memory implementation of the EventStore interface for resumability. |
| 39 | + This is primarily intended for examples and testing, not for production use |
| 40 | + where a persistent storage solution would be more appropriate. |
| 41 | +
|
| 42 | + This implementation keeps only the last N events per stream for memory efficiency. |
| 43 | + """ |
| 44 | + |
| 45 | + def __init__(self, max_events_per_stream: int = 100): |
| 46 | + """Initialize the event store. |
| 47 | +
|
| 48 | + Args: |
| 49 | + max_events_per_stream: Maximum number of events to keep per stream |
| 50 | + """ |
| 51 | + self.max_events_per_stream = max_events_per_stream |
| 52 | + # for maintaining last N events per stream |
| 53 | + self.streams: dict[StreamId, deque[EventEntry]] = {} |
| 54 | + # event_id -> EventEntry for quick lookup |
| 55 | + self.event_index: dict[EventId, EventEntry] = {} |
| 56 | + |
| 57 | + async def store_event( |
| 58 | + self, stream_id: StreamId, message: JSONRPCMessage |
| 59 | + ) -> EventId: |
| 60 | + """Stores an event with a generated event ID.""" |
| 61 | + event_id = str(uuid4()) |
| 62 | + event_entry = EventEntry( |
| 63 | + event_id=event_id, stream_id=stream_id, message=message |
| 64 | + ) |
| 65 | + |
| 66 | + # Get or create deque for this stream |
| 67 | + if stream_id not in self.streams: |
| 68 | + self.streams[stream_id] = deque(maxlen=self.max_events_per_stream) |
| 69 | + |
| 70 | + # If deque is full, the oldest event will be automatically removed |
| 71 | + # We need to remove it from the event_index as well |
| 72 | + if len(self.streams[stream_id]) == self.max_events_per_stream: |
| 73 | + oldest_event = self.streams[stream_id][0] |
| 74 | + self.event_index.pop(oldest_event.event_id, None) |
| 75 | + |
| 76 | + # Add new event |
| 77 | + self.streams[stream_id].append(event_entry) |
| 78 | + self.event_index[event_id] = event_entry |
| 79 | + |
| 80 | + return event_id |
| 81 | + |
| 82 | + async def replay_events_after( |
| 83 | + self, |
| 84 | + last_event_id: EventId, |
| 85 | + send_callback: EventCallback, |
| 86 | + ) -> StreamId | None: |
| 87 | + """Replays events that occurred after the specified event ID.""" |
| 88 | + if last_event_id not in self.event_index: |
| 89 | + logger.warning(f"Event ID {last_event_id} not found in store") |
| 90 | + return None |
| 91 | + |
| 92 | + # Get the stream and find events after the last one |
| 93 | + last_event = self.event_index[last_event_id] |
| 94 | + stream_id = last_event.stream_id |
| 95 | + stream_events = self.streams.get(last_event.stream_id, deque()) |
| 96 | + |
| 97 | + # Events in deque are already in chronological order |
| 98 | + found_last = False |
| 99 | + for event in stream_events: |
| 100 | + if found_last: |
| 101 | + await send_callback(EventMessage(event.message, event.event_id)) |
| 102 | + elif event.event_id == last_event_id: |
| 103 | + found_last = True |
| 104 | + |
| 105 | + return stream_id |
0 commit comments