log.h

   1 #ifndef log_h
   2 #define log_h
   3
   4 #include "types.h"
   5 #include "paxos_protocol.h"
   6
   7 class proposer_acceptor;
   8
   9 class log {
  10     private:
  11         string name;
  12         proposer_acceptor *pxs;
  13     public:
  14         log (proposer_acceptor*, string _me);
  15         string dump();
  16         void restore(string s);
  17         void logread(void);
  18         // Log a committed paxos instance
  19         void loginstance(unsigned instance, string v);
  20         // Log the highest proposal number that the local paxos acceptor has ever seen
  21         void logprop(prop_t n_h);
  22         // Log the proposal (proposal number and value) that the local paxos acceptor
  23         // accept has ever accepted
  24         void logaccept(prop_t n_a, string v);
  25 };
  26
  27 #endif /* log_h */