From: Patrick Donnelly <pdonnell@redhat.com>
Date: Sat, 16 Jul 2016 03:29:22 +0000 (-0400)
Subject: mds: add assertions for standby_daemons invariant
X-Git-Tag: ses5-milestone5~350^2
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=0f044e08809758f46d0d8b4b8dc586de0a751e36;p=ceph.git

mds: add assertions for standby_daemons invariant

These assertions catch state changes of an mds in standby_daemons to a state
other than MDSMap::STATE_STANDBY. Currently this invariant is (sometimes!)
checked in other locations on access of standby_daemons. This commit allows us
catch the violated invariant at the time it occurred.

Related to: http://tracker.ceph.com/issues/16592

Signed-off-by: Patrick Donnelly <pdonnell@redhat.com>
---

diff --git a/src/mds/FSMap.cc b/src/mds/FSMap.cc
index 55c72f2addc..bfa97a3d6fd 100644
--- a/src/mds/FSMap.cc
+++ b/src/mds/FSMap.cc
@@ -787,6 +787,8 @@ bool FSMap::undamaged(const fs_cluster_id_t fscid, const mds_rank_t rank)
 
 void FSMap::insert(const MDSMap::mds_info_t &new_info)
 {
+  assert(new_info.state == MDSMap::STATE_STANDBY);
+  assert(new_info.rank == MDS_RANK_NONE);
   mds_roles[new_info.global_id] = FS_CLUSTER_ID_NONE;
   standby_daemons[new_info.global_id] = new_info;
   standby_epochs[new_info.global_id] = epoch;
diff --git a/src/mds/FSMap.h b/src/mds/FSMap.h
index d14e365a652..5bf27838be6 100644
--- a/src/mds/FSMap.h
+++ b/src/mds/FSMap.h
@@ -311,7 +311,9 @@ public:
       std::function<void(MDSMap::mds_info_t *info)> fn)
   {
     if (mds_roles.at(who) == FS_CLUSTER_ID_NONE) {
-      fn(&standby_daemons.at(who));
+      auto &info = standby_daemons.at(who);
+      fn(&info);
+      assert(info.state == MDSMap::STATE_STANDBY);
       standby_epochs[who] = epoch;
     } else {
       auto fs = filesystems[mds_roles.at(who)];