log.cc
log::log(acceptor *_acc, std::string _me)
  : pxs (_acc)
{
  name = "paxos-" + _me + ".log";
  logread();
}
// Paxos must maintain some durable state (i.e., that survives power
// failures) to run Paxos correct.  This module implements a log with
// all durable state to run Paxos.  Since the values chosen correspond
// to views, the log contains all views since the beginning of time.
Paxos must maintain some durable state  to run Paxos correct.  This module implements a log with
all durable state to run Paxos.  Since the values chosen correspond
to views, the log contains all views since the beginning of time.
Paxos must maintain some durable state to run Paxos correct . This module implements a log with all durable state to run Paxos . Since the values chosen correspond to views the log contains all views since the beginning of time .
log::log(acceptor *_acc, std::string _me)
  : pxs (_acc)
{
  name = "paxos-" + _me + ".log";
  logread();
}
log :: log ( acceptor * _acc , std :: string _me ) : pxs ( _acc ) { name = " " + _me + " " ; logread ( ) ; }
Paxos must maintain some durable state (i.e., that survives power
failures) to run Paxos correct.
Paxos must maintain some durable state ( i . e . that survives power failures ) to run Paxos correct .