Before revision:  The redundant CPU cycles are not burned ``for nothing'' . Our work employs a weakly consistent data model where replicas run independently yet inform each other through heartbeat messages whether they are still up and running.
After revision:  The redundant CPU cycles are not burned "for nothing" . Our work employs a weakly consistent data model where replicas run independently yet inform each other through heartbeat messages whether they are still up and running.