C++11y allows us to eliminate some boilerplate!

[invirt/third/libt4.git] / config.cc

diff --git a/config.cc b/config.cc
index 727277e..a177362 100644 (file)
--- a/config.cc
+++ b/config.cc
@@ -1,5 +1,6 @@
 #include "config.h"
 #include "config.h"

-#include "handle.h"
+
+using std::vector;

 
 // The config module maintains views. As a node joins or leaves a
 // view, the next view will be the same as previous view, except with
 
 // The config module maintains views. As a node joins or leaves a
 // view, the next view will be the same as previous view, except with

@@ -33,7 +34,9 @@
 // all views, the other nodes can bring this re-joined node up to
 // date.
 
 // all views, the other nodes can bring this re-joined node up to
 // date.
 

-config::config(const string &_first, const string &_me, config_view_change *_vc)
+config_view_change::~config_view_change() {}
+
+config::config(const string & _first, const string & _me, config_view_change *_vc)

     : my_view_id(0), first(_first), me(_me), vc(_vc),
       paxos(this, me == _first, me, me)
 {
     : my_view_id(0), first(_first), me(_me), vc(_vc),
       paxos(this, me == _first, me, me)
 {

@@ -43,52 +46,45 @@ config::config(const string &_first, const string &_me, config_view_change *_vc)
     thread(&config::heartbeater, this).detach();
 }
 
     thread(&config::heartbeater, this).detach();
 }
 

-void config::restore(const string &s) {
+void config::restore(const string & s) {

     lock cfg_mutex_lock(cfg_mutex);
     paxos.restore(s);
     reconstruct(cfg_mutex_lock);
 }
 
     lock cfg_mutex_lock(cfg_mutex);
     paxos.restore(s);
     reconstruct(cfg_mutex_lock);
 }
 

-void config::get_view(unsigned instance, vector<string> &m) {
+void config::get_view(unsigned instance, vector<string> & m) {

     lock cfg_mutex_lock(cfg_mutex);
     get_view(instance, m, cfg_mutex_lock);
 }
 
     lock cfg_mutex_lock(cfg_mutex);
     get_view(instance, m, cfg_mutex_lock);
 }
 

-void config::get_view(unsigned instance, vector<string> &m, lock &) {
+void config::get_view(unsigned instance, vector<string> & m, lock & cfg_mutex_lock) {
+    VERIFY(cfg_mutex_lock);

     string value = paxos.value(instance);
     string value = paxos.value(instance);

-    LOG("get_view(" << instance << "): returns " << value);
-    m = members(value);
-}
-
-vector<string> config::members(const string &value) const {
-    return explode(value);
+    LOG << "get_view(" << instance << "): returns " << value;
+    m = explode(value);

 }
 
 }
 

-string config::value(const vector<string> &members) const {
-    return implode(members);
-}
-
-void config::reconstruct(lock &cfg_mutex_lock) {
+void config::reconstruct(lock & cfg_mutex_lock) {

     VERIFY(cfg_mutex_lock);
     my_view_id = paxos.instance();
     if (my_view_id > 0) {
         get_view(my_view_id, mems, cfg_mutex_lock);
     VERIFY(cfg_mutex_lock);
     my_view_id = paxos.instance();
     if (my_view_id > 0) {
         get_view(my_view_id, mems, cfg_mutex_lock);

-        LOG("view " << my_view_id << " " << mems);
+        LOG << "view " << my_view_id << " " << mems;

     }
 }
 
 // Called by Paxos's acceptor.
     }
 }
 
 // Called by Paxos's acceptor.

-void config::paxos_commit(unsigned instance, const string &value) {
+void config::paxos_commit(unsigned instance, const string & value) {

     lock cfg_mutex_lock(cfg_mutex);
 
     lock cfg_mutex_lock(cfg_mutex);
 

-    vector<string> newmem = members(value);
-    LOG("instance " << instance << ": " << newmem);
+    vector<string> newmem = explode(value);
+    LOG << "instance " << instance << ": " << newmem;

 
     for (auto mem : mems) {
 
     for (auto mem : mems) {

-        LOG("is " << mem << " still a member?");
+        LOG << "is " << mem << " still a member?";

         if (!isamember(mem, newmem) && me != mem) {
         if (!isamember(mem, newmem) && me != mem) {

-            LOG("delete " << mem);
-            invalidate_handle(mem);
+            LOG << "delete " << mem;
+            rpcc::unbind_cached(mem);

         }
     }
 
         }
     }
 

@@ -101,36 +97,37 @@ void config::paxos_commit(unsigned instance, const string &value) {
     }
 }
 
     }
 }
 

-bool config::ismember(const string &m, unsigned vid) {
+bool config::ismember(const string & m, unsigned vid) {

     lock cfg_mutex_lock(cfg_mutex);
     vector<string> v;
     get_view(vid, v, cfg_mutex_lock);
     return isamember(m, v);
 }
 
     lock cfg_mutex_lock(cfg_mutex);
     vector<string> v;
     get_view(vid, v, cfg_mutex_lock);
     return isamember(m, v);
 }
 

-bool config::add(const string &new_m, unsigned vid) {
+bool config::add(const string & new_m, unsigned vid) {

     lock cfg_mutex_lock(cfg_mutex);
     lock cfg_mutex_lock(cfg_mutex);

-    LOG("adding " << new_m << " to " << vid);
+    LOG << "adding " << new_m << " to " << vid;

     if (vid != my_view_id) {
     if (vid != my_view_id) {

-        LOG("that's not my view id, " << my_view_id << "!");
+        LOG << "that's not my view id, " << my_view_id << "!";

         return false;
     }
         return false;
     }

-    LOG("calling down to paxos layer");
+    LOG << "calling down to paxos layer";

     vector<string> m(mems), cmems(mems);
     m.push_back(new_m);
     vector<string> m(mems), cmems(mems);
     m.push_back(new_m);

-    LOG("old mems " << cmems << " " << value(cmems));
-    LOG("new mems " << m << " " << value(m));
+    LOG << "old mems " << cmems << " " << implode(cmems);
+    LOG << "new mems " << m << " " << implode(m);

     unsigned nextvid = my_view_id + 1;
     cfg_mutex_lock.unlock();
     unsigned nextvid = my_view_id + 1;
     cfg_mutex_lock.unlock();

-    bool r = paxos.run(nextvid, cmems, value(m));
+    bool r = paxos.run(nextvid, cmems, implode(m));

     cfg_mutex_lock.lock();
     cfg_mutex_lock.lock();

-    LOG("paxos proposer returned " << (r ? "success" : "failure"));
+    LOG << "paxos proposer returned " << (r ? "success" : "failure");

     return r;
 }
 
 // caller should hold cfg_mutex
     return r;
 }
 
 // caller should hold cfg_mutex

-bool config::remove(const string &m, lock &cfg_mutex_lock) {
-    LOG("my_view_id " << my_view_id << " remove? " << m);
+bool config::remove(const string & m, lock & cfg_mutex_lock) {
+    VERIFY(cfg_mutex_lock);
+    LOG << "my_view_id " << my_view_id << " remove? " << m;

     vector<string> n;
     for (auto mem : mems) {
         if (mem != m)
     vector<string> n;
     for (auto mem : mems) {
         if (mem != m)

@@ -139,32 +136,32 @@ bool config::remove(const string &m, lock &cfg_mutex_lock) {
     vector<string> cmems = mems;
     unsigned nextvid = my_view_id + 1;
     cfg_mutex_lock.unlock();
     vector<string> cmems = mems;
     unsigned nextvid = my_view_id + 1;
     cfg_mutex_lock.unlock();

-    bool r = paxos.run(nextvid, cmems, value(n));
+    bool r = paxos.run(nextvid, cmems, implode(n));

     cfg_mutex_lock.lock();
     cfg_mutex_lock.lock();

-    LOG("proposer returned " << (r ? "success" : "failure"));
+    LOG << "proposer returned " << (r ? "success" : "failure");

     return r;
 }
 
     return r;
 }
 

-void config::heartbeater() [[noreturn]] {
+void config::heartbeater() {

     lock cfg_mutex_lock(cfg_mutex);
 
     while (1) {
     lock cfg_mutex_lock(cfg_mutex);
 
     while (1) {

-        auto next_timeout = steady_clock::now() + seconds(3);
-        LOG("go to sleep");
+        auto next_timeout = steady_clock::now() + milliseconds(300);
+        LOG << "go to sleep";

         config_cond.wait_until(cfg_mutex_lock, next_timeout);
 
         unsigned vid = my_view_id;
         vector<string> cmems;
         get_view(vid, cmems, cfg_mutex_lock);
         config_cond.wait_until(cfg_mutex_lock, next_timeout);
 
         unsigned vid = my_view_id;
         vector<string> cmems;
         get_view(vid, cmems, cfg_mutex_lock);

-        LOG("current membership " << cmems);
+        LOG << "current membership " << cmems;

 
         if (!isamember(me, cmems)) {
 
         if (!isamember(me, cmems)) {

-            LOG("not member yet; skip hearbeat");
+            LOG << "not member yet; skip hearbeat";

             continue;
         }
 
         // who has the smallest ID?
             continue;
         }
 
         // who has the smallest ID?

-        string m = min(me, *min_element(cmems.begin(), cmems.end()));
+        string m = std::min(me, *std::min_element(cmems.begin(), cmems.end()));

 
         if (m == me) {
             // ping the other nodes
 
         if (m == me) {
             // ping the other nodes

@@ -183,10 +180,10 @@ void config::heartbeater() [[noreturn]] {
     }
 }
 
     }
 }
 

-paxos_protocol::status config::heartbeat(int &r, string m, unsigned vid) {
+paxos_protocol::status config::heartbeat(int & r, string m, unsigned vid) {

     lock cfg_mutex_lock(cfg_mutex);
     r = (int) my_view_id;
     lock cfg_mutex_lock(cfg_mutex);
     r = (int) my_view_id;

-    LOG("heartbeat from " << m << "(" << vid << ") my_view_id " << my_view_id);
+    LOG<< "heartbeat from " << m << "(" << vid << ") my_view_id " << my_view_id;

     if (vid == my_view_id)
         return paxos_protocol::OK;
     else if (paxos.isrunning()) {
     if (vid == my_view_id)
         return paxos_protocol::OK;
     else if (paxos.isrunning()) {

@@ -196,29 +193,29 @@ paxos_protocol::status config::heartbeat(int &r, string m, unsigned vid) {
     return paxos_protocol::ERR;
 }
 
     return paxos_protocol::ERR;
 }
 

-config::heartbeat_t config::doheartbeat(const string &m, lock &cfg_mutex_lock) {
+config::heartbeat_t config::doheartbeat(const string & m, lock & cfg_mutex_lock) {
+    VERIFY(cfg_mutex_lock);

     unsigned vid = my_view_id;
     unsigned vid = my_view_id;

-    LOG("heartbeat to " << m << " (" << vid << ")");
-    handle h(m);
+    LOG << "heartbeat to " << m << " (" << vid << ")";

 
     cfg_mutex_lock.unlock();
 
     cfg_mutex_lock.unlock();

-    int r = 0, ret = rpc_const::bind_failure;
-    if (rpcc *cl = h.safebind())
-        ret = cl->call_timeout(paxos_protocol::heartbeat, rpcc::to(1000), r, me, vid);
+    int r = 0, ret = rpc_protocol::bind_failure;
+    if (auto cl = rpcc::bind_cached(m))
+        ret = cl->call_timeout(paxos_protocol::heartbeat, milliseconds(100), r, me, vid);

     cfg_mutex_lock.lock();
 
     heartbeat_t res = OK;
     switch (ret) {
         case paxos_protocol::OK:
             break;
     cfg_mutex_lock.lock();
 
     heartbeat_t res = OK;
     switch (ret) {
         case paxos_protocol::OK:
             break;

-        case rpc_const::atmostonce_failure:
-        case rpc_const::oldsrv_failure:
-            invalidate_handle(m);
+        case rpc_protocol::atmostonce_failure:
+        case rpc_protocol::oldsrv_failure:
+            rpcc::unbind_cached(m);

             break;
         default:
             break;
         default:

-            LOG("problem with " << m << " (" << ret << ") my vid " << vid << " his vid " << r);
+            LOG << "problem with " << m << " (" << ret << ") my vid " << vid << " his vid " << r;

             res = (ret < 0) ? FAILURE : VIEWERR;
     }
             res = (ret < 0) ? FAILURE : VIEWERR;
     }

-    LOG("done " << res);
+    LOG << "done " << res;

     return res;
 }
     return res;
 }