Compose

数组的插入删除时间复杂度是O(n)，GapBuffer就是为了解决数组插入删除慢的问题。GapBuffer是一种优化的数据结构，用于高效地在任意位置进行插入和删除操作。

Compose的快照系统基于 MVCC (多版本并发控制) 思想，类似于数据库事务。 目标是保证隔离性、原子性、可观察性。