从堆遍历与poll顺序的区别，完成支持优先级更新、取消、平局FIFO和陈旧项压实的内存队列，验证候选与有效身份协议。