string me;
config_view_change *vc;
proposer_acceptor paxos;
- vector<string> mems;
- mutex cfg_mutex;
+ std::vector<string> mems;
+ std::mutex cfg_mutex;
cond config_cond;
paxos_protocol::status heartbeat(int & r, string m, unsigned instance);
- void get_view(unsigned instance, vector<string> & m, lock & cfg_mutex_lock);
+ void get_view(unsigned instance, std::vector<string> & m, lock & cfg_mutex_lock);
bool remove(const string &, lock & cfg_mutex_lock);
void reconstruct(lock & cfg_mutex_lock);
typedef enum {
unsigned view_id() { return my_view_id; }
const string & myaddr() const { return me; }
string dump() { return paxos.dump(); }
- void get_view(unsigned instance, vector<string> & m);
+ void get_view(unsigned instance, std::vector<string> & m);
void restore(const string & s);
bool add(const string &, unsigned view_id);
bool ismember(const string & m, unsigned view_id);