319 lines
		
	
	
		
			9.8 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			319 lines
		
	
	
		
			9.8 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| /* -*- mode: c; c-basic-offset: 8; -*-
 | |
|  *
 | |
|  * vim: noexpandtab sw=8 ts=8 sts=0:
 | |
|  *
 | |
|  * Copyright (C) 2005 Oracle.  All rights reserved.
 | |
|  *
 | |
|  * This program is free software; you can redistribute it and/or
 | |
|  * modify it under the terms of the GNU General Public
 | |
|  * License as published by the Free Software Foundation; either
 | |
|  * version 2 of the License, or (at your option) any later version.
 | |
|  *
 | |
|  * This program is distributed in the hope that it will be useful,
 | |
|  * but WITHOUT ANY WARRANTY; without even the implied warranty of
 | |
|  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 | |
|  * General Public License for more details.
 | |
|  *
 | |
|  * You should have received a copy of the GNU General Public
 | |
|  * License along with this program; if not, write to the
 | |
|  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 | |
|  * Boston, MA 021110-1307, USA.
 | |
|  */
 | |
| 
 | |
| /* This quorum hack is only here until we transition to some more rational
 | |
|  * approach that is driven from userspace.  Honest.  No foolin'.
 | |
|  *
 | |
|  * Imagine two nodes lose network connectivity to each other but they're still
 | |
|  * up and operating in every other way.  Presumably a network timeout indicates
 | |
|  * that a node is broken and should be recovered.  They can't both recover each
 | |
|  * other and both carry on without serialising their access to the file system.
 | |
|  * They need to decide who is authoritative.  Now extend that problem to
 | |
|  * arbitrary groups of nodes losing connectivity between each other.
 | |
|  *
 | |
|  * So we declare that a node which has given up on connecting to a majority
 | |
|  * of nodes who are still heartbeating will fence itself.
 | |
|  *
 | |
|  * There are huge opportunities for races here.  After we give up on a node's
 | |
|  * connection we need to wait long enough to give heartbeat an opportunity
 | |
|  * to declare the node as truly dead.  We also need to be careful with the
 | |
|  * race between when we see a node start heartbeating and when we connect
 | |
|  * to it.
 | |
|  *
 | |
|  * So nodes that are in this transtion put a hold on the quorum decision
 | |
|  * with a counter.  As they fall out of this transition they drop the count
 | |
|  * and if they're the last, they fire off the decision.
 | |
|  */
 | |
| #include <linux/kernel.h>
 | |
| #include <linux/slab.h>
 | |
| #include <linux/workqueue.h>
 | |
| #include <linux/reboot.h>
 | |
| 
 | |
| #include "heartbeat.h"
 | |
| #include "nodemanager.h"
 | |
| #define MLOG_MASK_PREFIX ML_QUORUM
 | |
| #include "masklog.h"
 | |
| #include "quorum.h"
 | |
| 
 | |
| static struct o2quo_state {
 | |
| 	spinlock_t		qs_lock;
 | |
| 	struct work_struct	qs_work;
 | |
| 	int			qs_pending;
 | |
| 	int			qs_heartbeating;
 | |
| 	unsigned long		qs_hb_bm[BITS_TO_LONGS(O2NM_MAX_NODES)];
 | |
| 	int			qs_connected;
 | |
| 	unsigned long		qs_conn_bm[BITS_TO_LONGS(O2NM_MAX_NODES)];
 | |
| 	int			qs_holds;
 | |
| 	unsigned long		qs_hold_bm[BITS_TO_LONGS(O2NM_MAX_NODES)];
 | |
| } o2quo_state;
 | |
| 
 | |
| /* this is horribly heavy-handed.  It should instead flip the file
 | |
|  * system RO and call some userspace script. */
 | |
| static void o2quo_fence_self(void)
 | |
| {
 | |
| 	/* panic spins with interrupts enabled.  with preempt
 | |
| 	 * threads can still schedule, etc, etc */
 | |
| 	o2hb_stop_all_regions();
 | |
| 
 | |
| 	printk("ocfs2 is very sorry to be fencing this system by restarting\n");
 | |
| 	emergency_restart();
 | |
| }
 | |
| 
 | |
| /* Indicate that a timeout occured on a hearbeat region write. The
 | |
|  * other nodes in the cluster may consider us dead at that time so we
 | |
|  * want to "fence" ourselves so that we don't scribble on the disk
 | |
|  * after they think they've recovered us. This can't solve all
 | |
|  * problems related to writeout after recovery but this hack can at
 | |
|  * least close some of those gaps. When we have real fencing, this can
 | |
|  * go away as our node would be fenced externally before other nodes
 | |
|  * begin recovery. */
 | |
| void o2quo_disk_timeout(void)
 | |
| {
 | |
| 	o2quo_fence_self();
 | |
| }
 | |
| 
 | |
| static void o2quo_make_decision(struct work_struct *work)
 | |
| {
 | |
| 	int quorum;
 | |
| 	int lowest_hb, lowest_reachable = 0, fence = 0;
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock(&qs->qs_lock);
 | |
| 
 | |
| 	lowest_hb = find_first_bit(qs->qs_hb_bm, O2NM_MAX_NODES);
 | |
| 	if (lowest_hb != O2NM_MAX_NODES)
 | |
| 		lowest_reachable = test_bit(lowest_hb, qs->qs_conn_bm);
 | |
| 
 | |
| 	mlog(0, "heartbeating: %d, connected: %d, "
 | |
| 	     "lowest: %d (%sreachable)\n", qs->qs_heartbeating,
 | |
| 	     qs->qs_connected, lowest_hb, lowest_reachable ? "" : "un");
 | |
| 
 | |
| 	if (!test_bit(o2nm_this_node(), qs->qs_hb_bm) ||
 | |
| 	    qs->qs_heartbeating == 1)
 | |
| 		goto out;
 | |
| 
 | |
| 	if (qs->qs_heartbeating & 1) {
 | |
| 		/* the odd numbered cluster case is straight forward --
 | |
| 		 * if we can't talk to the majority we're hosed */
 | |
| 		quorum = (qs->qs_heartbeating + 1)/2;
 | |
| 		if (qs->qs_connected < quorum) {
 | |
| 			mlog(ML_ERROR, "fencing this node because it is "
 | |
| 			     "only connected to %u nodes and %u is needed "
 | |
| 			     "to make a quorum out of %u heartbeating nodes\n",
 | |
| 			     qs->qs_connected, quorum,
 | |
| 			     qs->qs_heartbeating);
 | |
| 			fence = 1;
 | |
| 		}
 | |
| 	} else {
 | |
| 		/* the even numbered cluster adds the possibility of each half
 | |
| 		 * of the cluster being able to talk amongst themselves.. in
 | |
| 		 * that case we're hosed if we can't talk to the group that has
 | |
| 		 * the lowest numbered node */
 | |
| 		quorum = qs->qs_heartbeating / 2;
 | |
| 		if (qs->qs_connected < quorum) {
 | |
| 			mlog(ML_ERROR, "fencing this node because it is "
 | |
| 			     "only connected to %u nodes and %u is needed "
 | |
| 			     "to make a quorum out of %u heartbeating nodes\n",
 | |
| 			     qs->qs_connected, quorum,
 | |
| 			     qs->qs_heartbeating);
 | |
| 			fence = 1;
 | |
| 		}
 | |
| 		else if ((qs->qs_connected == quorum) &&
 | |
| 			 !lowest_reachable) {
 | |
| 			mlog(ML_ERROR, "fencing this node because it is "
 | |
| 			     "connected to a half-quorum of %u out of %u "
 | |
| 			     "nodes which doesn't include the lowest active "
 | |
| 			     "node %u\n", quorum, qs->qs_heartbeating,
 | |
| 			     lowest_hb);
 | |
| 			fence = 1;
 | |
| 		}
 | |
| 	}
 | |
| 
 | |
| out:
 | |
| 	spin_unlock(&qs->qs_lock);
 | |
| 	if (fence)
 | |
| 		o2quo_fence_self();
 | |
| }
 | |
| 
 | |
| static void o2quo_set_hold(struct o2quo_state *qs, u8 node)
 | |
| {
 | |
| 	assert_spin_locked(&qs->qs_lock);
 | |
| 
 | |
| 	if (!test_and_set_bit(node, qs->qs_hold_bm)) {
 | |
| 		qs->qs_holds++;
 | |
| 		mlog_bug_on_msg(qs->qs_holds == O2NM_MAX_NODES,
 | |
| 			        "node %u\n", node);
 | |
| 		mlog(0, "node %u, %d total\n", node, qs->qs_holds);
 | |
| 	}
 | |
| }
 | |
| 
 | |
| static void o2quo_clear_hold(struct o2quo_state *qs, u8 node)
 | |
| {
 | |
| 	assert_spin_locked(&qs->qs_lock);
 | |
| 
 | |
| 	if (test_and_clear_bit(node, qs->qs_hold_bm)) {
 | |
| 		mlog(0, "node %u, %d total\n", node, qs->qs_holds - 1);
 | |
| 		if (--qs->qs_holds == 0) {
 | |
| 			if (qs->qs_pending) {
 | |
| 				qs->qs_pending = 0;
 | |
| 				schedule_work(&qs->qs_work);
 | |
| 			}
 | |
| 		}
 | |
| 		mlog_bug_on_msg(qs->qs_holds < 0, "node %u, holds %d\n",
 | |
| 				node, qs->qs_holds);
 | |
| 	}
 | |
| }
 | |
| 
 | |
| /* as a node comes up we delay the quorum decision until we know the fate of
 | |
|  * the connection.  the hold will be droped in conn_up or hb_down.  it might be
 | |
|  * perpetuated by con_err until hb_down.  if we already have a conn, we might
 | |
|  * be dropping a hold that conn_up got. */
 | |
| void o2quo_hb_up(u8 node)
 | |
| {
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock(&qs->qs_lock);
 | |
| 
 | |
| 	qs->qs_heartbeating++;
 | |
| 	mlog_bug_on_msg(qs->qs_heartbeating == O2NM_MAX_NODES,
 | |
| 		        "node %u\n", node);
 | |
| 	mlog_bug_on_msg(test_bit(node, qs->qs_hb_bm), "node %u\n", node);
 | |
| 	set_bit(node, qs->qs_hb_bm);
 | |
| 
 | |
| 	mlog(0, "node %u, %d total\n", node, qs->qs_heartbeating);
 | |
| 
 | |
| 	if (!test_bit(node, qs->qs_conn_bm))
 | |
| 		o2quo_set_hold(qs, node);
 | |
| 	else
 | |
| 		o2quo_clear_hold(qs, node);
 | |
| 
 | |
| 	spin_unlock(&qs->qs_lock);
 | |
| }
 | |
| 
 | |
| /* hb going down releases any holds we might have had due to this node from
 | |
|  * conn_up, conn_err, or hb_up */
 | |
| void o2quo_hb_down(u8 node)
 | |
| {
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock(&qs->qs_lock);
 | |
| 
 | |
| 	qs->qs_heartbeating--;
 | |
| 	mlog_bug_on_msg(qs->qs_heartbeating < 0,
 | |
| 			"node %u, %d heartbeating\n",
 | |
| 			node, qs->qs_heartbeating);
 | |
| 	mlog_bug_on_msg(!test_bit(node, qs->qs_hb_bm), "node %u\n", node);
 | |
| 	clear_bit(node, qs->qs_hb_bm);
 | |
| 
 | |
| 	mlog(0, "node %u, %d total\n", node, qs->qs_heartbeating);
 | |
| 
 | |
| 	o2quo_clear_hold(qs, node);
 | |
| 
 | |
| 	spin_unlock(&qs->qs_lock);
 | |
| }
 | |
| 
 | |
| /* this tells us that we've decided that the node is still heartbeating
 | |
|  * even though we've lost it's conn.  it must only be called after conn_err
 | |
|  * and indicates that we must now make a quorum decision in the future,
 | |
|  * though we might be doing so after waiting for holds to drain.  Here
 | |
|  * we'll be dropping the hold from conn_err. */
 | |
| void o2quo_hb_still_up(u8 node)
 | |
| {
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock(&qs->qs_lock);
 | |
| 
 | |
| 	mlog(0, "node %u\n", node);
 | |
| 
 | |
| 	qs->qs_pending = 1;
 | |
| 	o2quo_clear_hold(qs, node);
 | |
| 
 | |
| 	spin_unlock(&qs->qs_lock);
 | |
| }
 | |
| 
 | |
| /* This is analagous to hb_up.  as a node's connection comes up we delay the
 | |
|  * quorum decision until we see it heartbeating.  the hold will be droped in
 | |
|  * hb_up or hb_down.  it might be perpetuated by con_err until hb_down.  if
 | |
|  * it's already heartbeating we we might be dropping a hold that conn_up got.
 | |
|  * */
 | |
| void o2quo_conn_up(u8 node)
 | |
| {
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock(&qs->qs_lock);
 | |
| 
 | |
| 	qs->qs_connected++;
 | |
| 	mlog_bug_on_msg(qs->qs_connected == O2NM_MAX_NODES,
 | |
| 		        "node %u\n", node);
 | |
| 	mlog_bug_on_msg(test_bit(node, qs->qs_conn_bm), "node %u\n", node);
 | |
| 	set_bit(node, qs->qs_conn_bm);
 | |
| 
 | |
| 	mlog(0, "node %u, %d total\n", node, qs->qs_connected);
 | |
| 
 | |
| 	if (!test_bit(node, qs->qs_hb_bm))
 | |
| 		o2quo_set_hold(qs, node);
 | |
| 	else
 | |
| 		o2quo_clear_hold(qs, node);
 | |
| 
 | |
| 	spin_unlock(&qs->qs_lock);
 | |
| }
 | |
| 
 | |
| /* we've decided that we won't ever be connecting to the node again.  if it's
 | |
|  * still heartbeating we grab a hold that will delay decisions until either the
 | |
|  * node stops heartbeating from hb_down or the caller decides that the node is
 | |
|  * still up and calls still_up */
 | |
| void o2quo_conn_err(u8 node)
 | |
| {
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock(&qs->qs_lock);
 | |
| 
 | |
| 	if (test_bit(node, qs->qs_conn_bm)) {
 | |
| 		qs->qs_connected--;
 | |
| 		mlog_bug_on_msg(qs->qs_connected < 0,
 | |
| 				"node %u, connected %d\n",
 | |
| 				node, qs->qs_connected);
 | |
| 
 | |
| 		clear_bit(node, qs->qs_conn_bm);
 | |
| 	}
 | |
| 
 | |
| 	mlog(0, "node %u, %d total\n", node, qs->qs_connected);
 | |
| 
 | |
| 	if (test_bit(node, qs->qs_hb_bm))
 | |
| 		o2quo_set_hold(qs, node);
 | |
| 
 | |
| 	spin_unlock(&qs->qs_lock);
 | |
| }
 | |
| 
 | |
| void o2quo_init(void)
 | |
| {
 | |
| 	struct o2quo_state *qs = &o2quo_state;
 | |
| 
 | |
| 	spin_lock_init(&qs->qs_lock);
 | |
| 	INIT_WORK(&qs->qs_work, o2quo_make_decision);
 | |
| }
 | |
| 
 | |
| void o2quo_exit(void)
 | |
| {
 | |
| 	flush_scheduled_work();
 | |
| }
 |