TiKV project2ab TestLeaderCommitEntry2AB 疑问

您好,我在试图通过TestLeaderCommitEntry2AB 测试,我有个疑问。
在line 413行,leader 如何记录来自其他节点的reply,Raft结构体哪个变量是负责这个?
我感觉 Prs map[uint64]*Progress 是这个目的。我知道我理解对不对,能否详细介绍一下Progress结构体呢?

type Progress struct {
Match, Next uint64
}

你这个理解是没问题的;具体,你可以去了解下raft论文,会专门说match和next干嘛用的