Marzullo算法