Marten多流投影中ShouldDelete失效问题分析与解决

问题背景

在使用Marten 6.4.1升级到7.8版本过程中，开发者发现一个关于多流投影(MultiStreamProjection)的功能异常。具体表现为ShouldDelete方法在投影逻辑中未被正确执行，导致应该被删除的文档仍然存在于数据库中。

问题复现

开发者提供了一个完整的测试用例来复现这个问题。测试场景涉及团队管理系统中的邀请功能：

1. 创建团队(Team)并设置团队名称
2. 发送成员邀请(MemberInvited)，此时会创建InvitationView文档
3. 成员接受邀请(MemberJoined)，此时期望通过ShouldDelete方法删除对应的InvitationView文档

在Marten 6.4.1中，这个流程工作正常，但在7.8版本中，ShouldDelete方法被忽略，导致InvitationView文档未被删除。

技术分析

多流投影工作机制

Marten的多流投影允许将来自不同事件流的事件聚合到一个视图文档中。在这个案例中：

• TeamNameChanged事件来自团队流
• MemberInvited和MemberJoined事件来自成员邀请流
• 通过自定义的TeamInvitationGrouper将这些事件按业务逻辑分组处理

ShouldDelete的设计意图

ShouldDelete方法是Marten投影中的一个特殊方法，当返回true时，框架应该删除对应的视图文档。在这个案例中，当MemberJoined事件发生时，表示邀请已完成，因此应该删除邀请视图。

问题根源

经过Marten核心团队分析，问题并非出在投影或多流投影功能本身，而是与异步投影守护进程(Daemon)的工作机制有关。具体表现为：

1. 在第一次重建投影后，守护进程没有正确检查新的高水位标记(high water mark)
2. 导致第二次重建时无法获取最新的事件状态
3. 进而使得ShouldDelete逻辑没有被触发

解决方案

该问题已在Marten 7.9版本中修复。修复的核心是改进了守护进程在连续重建投影时的高水位标记检查机制，确保每次重建都能获取到最新的事件状态。

最佳实践建议

1. 版本升级注意事项：在升级Marten版本时，特别是涉及投影逻辑时，应充分测试所有投影场景
2. 投影测试策略：对于复杂投影逻辑，建议编写完整的测试用例，包括创建、更新和删除场景
3. 监控机制：在生产环境中，应监控投影守护进程的状态，确保其正常工作

总结

这个问题展示了分布式系统中事件溯源和投影机制的复杂性。Marten团队快速响应并修复了守护进程中的高水位标记处理问题，确保了投影行为的正确性。对于开发者而言，理解投影生命周期和守护进程工作机制对于构建可靠的事件驱动系统至关重要。