Apache Fury 中 List<List<Object>> 序列化问题的分析与修复

Apache Fury 中 List<List> 序列化问题的分析与修复

Apache Fury 是一个高性能的跨语言序列化框架，旨在提供比传统序列化方案更快的速度和更小的数据体积。然而，在 0.4.1 版本中，用户发现了一个关于嵌套列表序列化的严重问题。

问题现象

当尝试序列化一个包含 List<List<Object>> 结构的对象时，反序列化后的结果会出现数据错误。具体表现为内部列表的元素被错误地复制或替换，导致最终数据与原始数据不一致。

问题复现

通过以下测试用例可以稳定复现该问题：

public class FurySerializationTest {
  @Value
  public static class Pojo {
    List<List<Object>> data;
  }

  @Test
  void testNestedListSerialization() {
    Pojo original = new Pojo(List.of(
        List.of(1, 2),
        List.of(2, 2)
    ));
    
    ThreadSafeFury fury = Fury.builder()
        .withLanguage(Language.JAVA)
        .requireClassRegistration(false)
        .withRefTracking(true)
        .buildThreadSafeFury();

    byte[] bytes = fury.serialize(original);
    Pojo deserialized = (Pojo) fury.deserialize(bytes);
    
    // 断言失败：反序列化后的数据与原始数据不符
    assertEquals(original, deserialized);
  }
}

反序列化后得到的结果中，第二个内部列表 [2, 2] 被错误地替换为了 [[1, 2], [1, 2]]，这显然不符合预期。

问题分析

经过深入分析，这个问题源于 Fury 在处理嵌套集合类型时的引用跟踪机制。当启用引用跟踪（RefTracking）时，框架会尝试优化对重复对象的序列化，但在处理嵌套集合结构时出现了逻辑错误。

具体来说：

1. 序列化过程中，框架错误地将内部列表识别为需要共享引用的对象
2. 反序列化时，框架错误地复用了之前反序列化的列表引用
3. 导致后续列表元素被错误地替换为之前处理过的列表实例

解决方案

Apache Fury 开发团队迅速响应，在最新提交中修复了这个问题。修复方案主要涉及：

1. 修正嵌套集合类型的引用跟踪逻辑
2. 确保每个列表实例都能被独立序列化和反序列化
3. 完善对复杂嵌套结构的处理机制

验证结果

使用修复后的版本重新测试，序列化和反序列化结果完全一致，问题得到解决。用户验证后确认修复有效。

最佳实践

对于使用 Fury 进行序列化的开发者，建议：

1. 对于复杂嵌套结构，始终进行完整的序列化-反序列化测试
2. 考虑在开发阶段启用严格的引用跟踪验证
3. 及时更新到最新版本以获取问题修复

总结

这个案例展示了即使在成熟的序列化框架中，处理复杂数据结构时也可能遇到边界情况。Apache Fury 团队快速响应并修复问题的态度值得赞赏，也提醒我们在使用任何序列化框架时都应该进行充分的测试验证。