-spec add_frag(State :: term()) -> {NewState, IterFrags, AdditionalLockFrags}
                  when NewState :: term(), IterFrags :: [integer()], AdditionalLockFrags :: [integer()].

为了更好地扩展，最好确保记录均匀分布在所有分片上，包括新分片。

NewState 与其他 frag_properties 一起存储为 hash_state。

作为 add_frag 过程的一部分，Mnesia 迭代对应于 IterFrags 数字的所有分片，并为每个记录启动 key_to_frag_number(NewState,RecordKey)。如果新分片与旧分片不同，则将记录移动到新分片。

由于 add_frag 过程是模式事务的一部分，因此 Mnesia 会获取受影响表的写锁。也就是说，对应于 IterFrags 和对应于 AdditionalLockFrags 的分片。

-spec del_frag(State :: term()) -> {NewState, IterFrags, AdditionalLockFrags}
                  when NewState :: term(), IterFrags :: [integer()], AdditionalLockFrags :: [integer()].

NewState 与其他 frag_properties 一起存储为 hash_state。

作为 del_frag 过程的一部分，Mnesia 迭代对应于 IterFrags 数字的所有分片，并为每个记录启动 key_to_frag_number(NewState,RecordKey)。如果新分片与旧分片不同，则将记录移动到新分片。

请注意，必须将最后一个分片中的所有记录移动到另一个分片，因为整个分片将被删除。

由于 del_frag 过程是模式事务的一部分，因此 Mnesia 会获取受影响表的写锁。也就是说，对应于 IterFrags 和对应于 AdditionalLockFrags 的分片。

-spec init_state(Tab, State) -> NewState when Tab :: atom(), State :: term(), NewState :: term().

当使用函数 mnesia:create_table/2 创建分片表时，或者当使用 mnesia:change_table_frag/2 将普通（未分片）表转换为分片表时启动。

请注意，作为表创建过程的一部分，函数 add_frag/2 会为每个其他分片（除了编号为 1 的分片）启动一次。

State 是 hash_state frag_property 的初始值。NewState 与其他 frag_properties 一起存储为 hash_state。

-spec key_to_frag_number(State, Key) -> Fragnum
                            when State :: term(), Key :: term(), Fragnum :: integer().

每当 Mnesia 需要确定某个记录属于哪个分片时启动。它通常在 read、write 和 delete 时启动。

-spec match_spec_to_frag_numbers(State, MatchSpec) -> Fragnums
                                    when
                                        State :: term(),
                                        MatchSpec :: ets:match_spec(),
                                        Fragnums :: [integer()].

每当 Mnesia 需要确定哪些分片需要搜索 MatchSpec 时，就会调用此函数。它通常由 select 和 match_object 调用。