X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5a5c578e2e358a121cdb9234a6cb11c4ecfbf323..5bb7eb131773abd9e642f83629528b4c4e706b2e:/rsm.h diff --git a/rsm.h b/rsm.h index f2eb5bd..ef919ff 100644 --- a/rsm.h +++ b/rsm.h @@ -22,12 +22,12 @@ class rsm : public config_view_change { protected: map procs; config *cfg; - class rsm_state_transfer *stf; + rsm_state_transfer *stf = nullptr; rpcs *rsmrpc; // On slave: expected viewstamp of next invoke request // On primary: viewstamp for the next request from rsm_client - viewstamp myvs; - viewstamp last_myvs; // Viewstamp of the last executed request + viewstamp last_myvs{0, 0}; // Viewstamp of the last executed request + viewstamp myvs{0, 1}; string primary; bool insync; bool inviewchange; @@ -61,7 +61,6 @@ class rsm : public config_view_change { bool statetransferdone(string m, lock & rsm_mutex_lock); bool join(string m, lock & rsm_mutex_lock); void set_primary(unsigned vid); - string find_highest(viewstamp &vs, string &m, unsigned &vid); bool sync_with_backups(lock & rsm_mutex_lock); bool sync_with_primary(lock & rsm_mutex_lock); void net_repair(bool heal, lock & rsm_mutex_lock);