Synapse服务器中远程邀请拒绝状态同步问题解析

问题背景

在Matrix协议中，当用户收到来自远程服务器的房间邀请并选择拒绝时，系统会生成一个"leave"事件来更新用户的成员状态。正常情况下，这个操作会要求远程服务器生成leave事件。但当远程服务器不可达时，Synapse会作为本地回退机制生成一个"outlier"事件（异常值事件），仅发送给被邀请用户。

问题现象

开发者发现，在Sliding Sync（滑动同步，简称SSS）协议下，这种本地生成的leave事件无法正确传递到客户端。具体表现为：

1. 用户通过Element Web客户端拒绝来自远程服务器的邀请
2. 远程服务器处于离线状态
3. 在Element X客户端上，邀请状态仍然显示为待处理
4. 用户需要手动刷新或重新登录才能看到正确的状态

技术分析

同步机制差异

Synapse在处理房间状态同步时存在两个关键机制：

1. 传统同步：通过current_state_delta_stream表跟踪成员状态变化
2. 滑动同步(SSS)：优化性能的设计，会过滤掉用户已离开的房间

根本原因

问题根源在于SSS实现中的两个关键设计：

1. get_sliding_sync_rooms_for_user方法出于性能考虑，默认不返回用户已离开的房间
2. _get_newly_joined_and_left_rooms方法依赖current_state_delta_stream表来捕获成员状态变化

对于远程邀请的拒绝场景：

• 生成的leave事件被标记为"outlier"
• 由于服务器不在该远程房间中，current_state_delta_stream表不会记录这种状态变化
• 导致SSS无法感知到这种成员状态变更

影响范围

该问题主要影响：

1. 使用Sliding Sync协议的客户端（如Element X）
2. 拒绝来自不可达远程服务器的邀请场景
3. 自动拒绝邀请的反垃圾模块

解决方案

开发团队提出了以下修复方案：

1. 扩展状态跟踪：

   • 修改SSS实现，使其能够识别本地生成的leave事件
   • 在required_state字段中包含leave事件信息

2. 性能优化：

   • 添加必要的数据库索引
   • 过滤掉由显示名称变更引起的虚假成员状态变更

3. 事件处理完善：

   • 确保get_room_sync_data能正确提取成员状态变更
   • 处理边缘情况下的房间创建事件

验证结果

修复后测试验证表明：

1. 当传统同步客户端拒绝邀请后，SSS客户端能立即更新状态
2. 解决了之前需要手动刷新或重新登录的问题
3. 自动拒绝邀请的场景也能正确同步

技术启示

这个案例展示了分布式系统中状态同步的复杂性，特别是：

1. 性能优化与功能完整性的平衡
2. 边缘场景（如服务器不可达）的处理
3. 新旧协议兼容性问题

对于Matrix生态系统开发者，这个问题的解决过程也提醒我们：

• 在实现新协议时要充分考虑各种边界条件
• 状态同步机制需要覆盖所有可能的成员变更路径
• 客户端和服务器的协同设计至关重要