1/* -*- mode: c; c-basic-offset: 8; -*- 2 * 3 * vim: noexpandtab sw=8 ts=8 sts=0: 4 * 5 * Copyright (C) 2005 Oracle. All rights reserved. 6 * 7 * This program is free software; you can redistribute it and/or 8 * modify it under the terms of the GNU General Public 9 * License as published by the Free Software Foundation; either 10 * version 2 of the License, or (at your option) any later version. 11 * 12 * This program is distributed in the hope that it will be useful, 13 * but WITHOUT ANY WARRANTY; without even the implied warranty of 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15 * General Public License for more details. 16 * 17 * You should have received a copy of the GNU General Public 18 * License along with this program; if not, write to the 19 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, 20 * Boston, MA 021110-1307, USA. 21 */ 22 23/* This quorum hack is only here until we transition to some more rational 24 * approach that is driven from userspace. Honest. No foolin'. 25 * 26 * Imagine two nodes lose network connectivity to each other but they're still 27 * up and operating in every other way. Presumably a network timeout indicates 28 * that a node is broken and should be recovered. They can't both recover each 29 * other and both carry on without serialising their access to the file system. 30 * They need to decide who is authoritative. Now extend that problem to 31 * arbitrary groups of nodes losing connectivity between each other. 32 * 33 * So we declare that a node which has given up on connecting to a majority 34 * of nodes who are still heartbeating will fence itself. 35 * 36 * There are huge opportunities for races here. After we give up on a node's 37 * connection we need to wait long enough to give heartbeat an opportunity 38 * to declare the node as truly dead. We also need to be careful with the 39 * race between when we see a node start heartbeating and when we connect 40 * to it. 41 * 42 * So nodes that are in this transtion put a hold on the quorum decision 43 * with a counter. As they fall out of this transition they drop the count 44 * and if they're the last, they fire off the decision. 45 */ 46#include <linux/kernel.h> 47#include <linux/workqueue.h> 48#include <linux/reboot.h> 49 50#include "heartbeat.h" 51#include "nodemanager.h" 52#define MLOG_MASK_PREFIX ML_QUORUM 53#include "masklog.h" 54#include "quorum.h" 55 56static struct o2quo_state { 57 spinlock_t qs_lock; 58 struct work_struct qs_work; 59 int qs_pending; 60 int qs_heartbeating; 61 unsigned long qs_hb_bm[BITS_TO_LONGS(O2NM_MAX_NODES)]; 62 int qs_connected; 63 unsigned long qs_conn_bm[BITS_TO_LONGS(O2NM_MAX_NODES)]; 64 int qs_holds; 65 unsigned long qs_hold_bm[BITS_TO_LONGS(O2NM_MAX_NODES)]; 66} o2quo_state; 67 68/* this is horribly heavy-handed. It should instead flip the file 69 * system RO and call some userspace script. */ 70static void o2quo_fence_self(void) 71{ 72 /* panic spins with interrupts enabled. with preempt 73 * threads can still schedule, etc, etc */ 74 o2hb_stop_all_regions(); 75 76 switch (o2nm_single_cluster->cl_fence_method) { 77 case O2NM_FENCE_PANIC: 78 panic("*** ocfs2 is very sorry to be fencing this system by " 79 "panicing ***\n"); 80 break; 81 default: 82 WARN_ON(o2nm_single_cluster->cl_fence_method >= 83 O2NM_FENCE_METHODS); 84 case O2NM_FENCE_RESET: 85 printk(KERN_ERR "*** ocfs2 is very sorry to be fencing this " 86 "system by restarting ***\n"); 87 emergency_restart(); 88 break; 89 }; 90} 91 92/* Indicate that a timeout occurred on a hearbeat region write. The 93 * other nodes in the cluster may consider us dead at that time so we 94 * want to "fence" ourselves so that we don't scribble on the disk 95 * after they think they've recovered us. This can't solve all 96 * problems related to writeout after recovery but this hack can at 97 * least close some of those gaps. When we have real fencing, this can 98 * go away as our node would be fenced externally before other nodes 99 * begin recovery. */ 100void o2quo_disk_timeout(void) 101{ 102 o2quo_fence_self(); 103} 104 105static void o2quo_make_decision(struct work_struct *work) 106{ 107 int quorum; 108 int lowest_hb, lowest_reachable = 0, fence = 0; 109 struct o2quo_state *qs = &o2quo_state; 110 111 spin_lock(&qs->qs_lock); 112 113 lowest_hb = find_first_bit(qs->qs_hb_bm, O2NM_MAX_NODES); 114 if (lowest_hb != O2NM_MAX_NODES) 115 lowest_reachable = test_bit(lowest_hb, qs->qs_conn_bm); 116 117 mlog(0, "heartbeating: %d, connected: %d, " 118 "lowest: %d (%sreachable)\n", qs->qs_heartbeating, 119 qs->qs_connected, lowest_hb, lowest_reachable ? "" : "un"); 120 121 if (!test_bit(o2nm_this_node(), qs->qs_hb_bm) || 122 qs->qs_heartbeating == 1) 123 goto out; 124 125 if (qs->qs_heartbeating & 1) { 126 /* the odd numbered cluster case is straight forward -- 127 * if we can't talk to the majority we're hosed */ 128 quorum = (qs->qs_heartbeating + 1)/2; 129 if (qs->qs_connected < quorum) { 130 mlog(ML_ERROR, "fencing this node because it is " 131 "only connected to %u nodes and %u is needed " 132 "to make a quorum out of %u heartbeating nodes\n", 133 qs->qs_connected, quorum, 134 qs->qs_heartbeating); 135 fence = 1; 136 } 137 } else { 138 /* the even numbered cluster adds the possibility of each half 139 * of the cluster being able to talk amongst themselves.. in 140 * that case we're hosed if we can't talk to the group that has 141 * the lowest numbered node */ 142 quorum = qs->qs_heartbeating / 2; 143 if (qs->qs_connected < quorum) { 144 mlog(ML_ERROR, "fencing this node because it is " 145 "only connected to %u nodes and %u is needed " 146 "to make a quorum out of %u heartbeating nodes\n", 147 qs->qs_connected, quorum, 148 qs->qs_heartbeating); 149 fence = 1; 150 } 151 else if ((qs->qs_connected == quorum) && 152 !lowest_reachable) { 153 mlog(ML_ERROR, "fencing this node because it is " 154 "connected to a half-quorum of %u out of %u " 155 "nodes which doesn't include the lowest active " 156 "node %u\n", quorum, qs->qs_heartbeating, 157 lowest_hb); 158 fence = 1; 159 } 160 } 161 162out: 163 if (fence) { 164 spin_unlock(&qs->qs_lock); 165 o2quo_fence_self(); 166 } else { 167 mlog(ML_NOTICE, "not fencing this node, heartbeating: %d, " 168 "connected: %d, lowest: %d (%sreachable)\n", 169 qs->qs_heartbeating, qs->qs_connected, lowest_hb, 170 lowest_reachable ? "" : "un"); 171 spin_unlock(&qs->qs_lock); 172 173 } 174 175} 176 177static void o2quo_set_hold(struct o2quo_state *qs, u8 node) 178{ 179 assert_spin_locked(&qs->qs_lock); 180 181 if (!test_and_set_bit(node, qs->qs_hold_bm)) { 182 qs->qs_holds++; 183 mlog_bug_on_msg(qs->qs_holds == O2NM_MAX_NODES, 184 "node %u\n", node); 185 mlog(0, "node %u, %d total\n", node, qs->qs_holds); 186 } 187} 188 189static void o2quo_clear_hold(struct o2quo_state *qs, u8 node) 190{ 191 assert_spin_locked(&qs->qs_lock); 192 193 if (test_and_clear_bit(node, qs->qs_hold_bm)) { 194 mlog(0, "node %u, %d total\n", node, qs->qs_holds - 1); 195 if (--qs->qs_holds == 0) { 196 if (qs->qs_pending) { 197 qs->qs_pending = 0; 198 schedule_work(&qs->qs_work); 199 } 200 } 201 mlog_bug_on_msg(qs->qs_holds < 0, "node %u, holds %d\n", 202 node, qs->qs_holds); 203 } 204} 205 206/* as a node comes up we delay the quorum decision until we know the fate of 207 * the connection. the hold will be droped in conn_up or hb_down. it might be 208 * perpetuated by con_err until hb_down. if we already have a conn, we might 209 * be dropping a hold that conn_up got. */ 210void o2quo_hb_up(u8 node) 211{ 212 struct o2quo_state *qs = &o2quo_state; 213 214 spin_lock(&qs->qs_lock); 215 216 qs->qs_heartbeating++; 217 mlog_bug_on_msg(qs->qs_heartbeating == O2NM_MAX_NODES, 218 "node %u\n", node); 219 mlog_bug_on_msg(test_bit(node, qs->qs_hb_bm), "node %u\n", node); 220 set_bit(node, qs->qs_hb_bm); 221 222 mlog(0, "node %u, %d total\n", node, qs->qs_heartbeating); 223 224 if (!test_bit(node, qs->qs_conn_bm)) 225 o2quo_set_hold(qs, node); 226 else 227 o2quo_clear_hold(qs, node); 228 229 spin_unlock(&qs->qs_lock); 230} 231 232/* hb going down releases any holds we might have had due to this node from 233 * conn_up, conn_err, or hb_up */ 234void o2quo_hb_down(u8 node) 235{ 236 struct o2quo_state *qs = &o2quo_state; 237 238 spin_lock(&qs->qs_lock); 239 240 qs->qs_heartbeating--; 241 mlog_bug_on_msg(qs->qs_heartbeating < 0, 242 "node %u, %d heartbeating\n", 243 node, qs->qs_heartbeating); 244 mlog_bug_on_msg(!test_bit(node, qs->qs_hb_bm), "node %u\n", node); 245 clear_bit(node, qs->qs_hb_bm); 246 247 mlog(0, "node %u, %d total\n", node, qs->qs_heartbeating); 248 249 o2quo_clear_hold(qs, node); 250 251 spin_unlock(&qs->qs_lock); 252} 253 254/* this tells us that we've decided that the node is still heartbeating 255 * even though we've lost it's conn. it must only be called after conn_err 256 * and indicates that we must now make a quorum decision in the future, 257 * though we might be doing so after waiting for holds to drain. Here 258 * we'll be dropping the hold from conn_err. */ 259void o2quo_hb_still_up(u8 node) 260{ 261 struct o2quo_state *qs = &o2quo_state; 262 263 spin_lock(&qs->qs_lock); 264 265 mlog(0, "node %u\n", node); 266 267 qs->qs_pending = 1; 268 o2quo_clear_hold(qs, node); 269 270 spin_unlock(&qs->qs_lock); 271} 272 273/* This is analogous to hb_up. as a node's connection comes up we delay the 274 * quorum decision until we see it heartbeating. the hold will be droped in 275 * hb_up or hb_down. it might be perpetuated by con_err until hb_down. if 276 * it's already heartbeating we might be dropping a hold that conn_up got. 277 * */ 278void o2quo_conn_up(u8 node) 279{ 280 struct o2quo_state *qs = &o2quo_state; 281 282 spin_lock(&qs->qs_lock); 283 284 qs->qs_connected++; 285 mlog_bug_on_msg(qs->qs_connected == O2NM_MAX_NODES, 286 "node %u\n", node); 287 mlog_bug_on_msg(test_bit(node, qs->qs_conn_bm), "node %u\n", node); 288 set_bit(node, qs->qs_conn_bm); 289 290 mlog(0, "node %u, %d total\n", node, qs->qs_connected); 291 292 if (!test_bit(node, qs->qs_hb_bm)) 293 o2quo_set_hold(qs, node); 294 else 295 o2quo_clear_hold(qs, node); 296 297 spin_unlock(&qs->qs_lock); 298} 299 300/* we've decided that we won't ever be connecting to the node again. if it's 301 * still heartbeating we grab a hold that will delay decisions until either the 302 * node stops heartbeating from hb_down or the caller decides that the node is 303 * still up and calls still_up */ 304void o2quo_conn_err(u8 node) 305{ 306 struct o2quo_state *qs = &o2quo_state; 307 308 spin_lock(&qs->qs_lock); 309 310 if (test_bit(node, qs->qs_conn_bm)) { 311 qs->qs_connected--; 312 mlog_bug_on_msg(qs->qs_connected < 0, 313 "node %u, connected %d\n", 314 node, qs->qs_connected); 315 316 clear_bit(node, qs->qs_conn_bm); 317 } 318 319 mlog(0, "node %u, %d total\n", node, qs->qs_connected); 320 321 if (test_bit(node, qs->qs_hb_bm)) 322 o2quo_set_hold(qs, node); 323 324 spin_unlock(&qs->qs_lock); 325} 326 327void o2quo_init(void) 328{ 329 struct o2quo_state *qs = &o2quo_state; 330 331 spin_lock_init(&qs->qs_lock); 332 INIT_WORK(&qs->qs_work, o2quo_make_decision); 333} 334 335void o2quo_exit(void) 336{ 337 struct o2quo_state *qs = &o2quo_state; 338 339 flush_work(&qs->qs_work); 340} 341