Marzullo's algorithm