两台路由器被配置为Anycast RP，它们共享相同的环回地址以实现冗余。为了确保一个RP学习到的源能通告给另一个RP，从而使接收者能够形成SPT，RP之间应该使用哪种额外的协议？

在Anycast RP部署中，多个路由器配置为Anycast RP并共享相同的环回地址。为了确保一个RP学习到的组播源信息能够共享给其他RP，从而使接收者能够通过最短路径树（SPT）接收组播流量，RP之间需要使用多播源发现协议（MSDP）。MSDP允许不同的PIM域（或同一域内的不同RP）交换关于活动组播源的信息（SA消息），确保即使接收者连接到不同的RP，也能发现并接收来自任何源的组播流量。 HSRP是用于网关冗余的协议，与组播源发现无关。Auto-RP是一种发现PIM RP的方法，但它不负责RP之间源信息的同步。IGMP是用于主机与路由器之间交换组成员信息的协议，与RP之间的源信息共享无关。