Sirius Web项目中EditingContextPersistenceService的并发修改问题分析

Sirius Web项目中EditingContextPersistenceService的并发修改问题分析

在Sirius Web项目中，EditingContextPersistenceService负责持久化编辑上下文(editing context)中的数据。该服务在处理EMF资源保存时存在一个潜在的并发修改问题，可能导致系统运行异常。

问题背景

EMF( Eclipse Modeling Framework)是Eclipse平台下的一个建模框架，它提供了一套完整的模型驱动开发工具。在Sirius Web项目中，EMF被用来管理模型资源和编辑上下文。

EditingContextPersistenceService的核心功能是将编辑上下文中的变更持久化到存储系统中。在实现上，它通过遍历编辑上下文中的资源集合(ResourceSet)，对每个资源执行保存操作。

问题详细分析

问题的根源在于资源保存过程中的迭代与修改冲突。具体表现为：

1. 服务首先获取编辑上下文中的资源集合(ResourceSet)
2. 然后通过流式操作遍历所有资源进行保存
3. 在保存过程中，如果遇到未解析的代理(proxy)，EMF会自动加载被引用的资源
4. 新加载的资源会被添加到资源集合中
5. 此时就发生了在迭代过程中修改被迭代集合的情况，导致ConcurrentModificationException

这种设计违反了集合迭代的基本原则，即在迭代过程中不应修改被迭代的集合。

技术影响

这个问题会导致以下后果：

1. 系统稳定性降低：在特定条件下(存在未解析代理时)会抛出异常
2. 数据一致性风险：保存操作可能中途失败，导致部分数据未正确持久化
3. 用户体验下降：用户可能遇到不可预期的错误

解决方案建议

针对这个问题，可以考虑以下几种解决方案：

1. 防御性拷贝：在迭代前创建资源列表的副本，对副本进行迭代

   • 优点：实现简单，直接解决问题
   • 缺点：可能增加内存消耗

2. 显式资源加载：在保存前确保所有需要的资源都已加载

   • 优点：从根本上解决问题
   • 缺点：可能需要额外的资源加载逻辑

3. 使用安全迭代器：改用不会抛出ConcurrentModificationException的迭代方式

   • 优点：代码改动小
   • 缺点：可能掩盖其他潜在的并发问题

从EMF的最佳实践来看，推荐采用第一种或第二种方案，因为它们更符合EMF资源管理的设计理念。

最佳实践建议

在处理EMF资源时，建议遵循以下原则：

1. 在修改资源集合前完成所有资源加载
2. 避免在资源迭代过程中触发隐式资源加载
3. 对关键操作(如保存)进行适当的资源状态检查
4. 考虑实现资源加载的监控机制，提前发现潜在问题

总结

EditingContextPersistenceService中的这个问题是EMF资源管理中的一个典型陷阱。通过深入理解EMF的资源加载机制和集合迭代原理，开发者可以避免类似的并发修改问题。在实现类似功能时，应当特别注意资源加载的触发条件和时机，确保系统的稳定性和可靠性。