2005-12-15 17:31:23 -05:00
|
|
|
/* -*- 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>
|
2007-04-17 16:53:38 -04:00
|
|
|
#include <linux/reboot.h>
|
2005-12-15 17:31:23 -05:00
|
|
|
|
|
|
|
#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();
|
2007-04-17 16:53:38 -04:00
|
|
|
|
|
|
|
printk("ocfs2 is very sorry to be fencing this system by restarting\n");
|
|
|
|
emergency_restart();
|
2005-12-15 17:31:23 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/* 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();
|
|
|
|
}
|
|
|
|
|
2006-11-22 09:57:56 -05:00
|
|
|
static void o2quo_make_decision(struct work_struct *work)
|
2005-12-15 17:31:23 -05:00
|
|
|
{
|
|
|
|
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);
|
2006-11-22 09:57:56 -05:00
|
|
|
INIT_WORK(&qs->qs_work, o2quo_make_decision);
|
2005-12-15 17:31:23 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
void o2quo_exit(void)
|
|
|
|
{
|
|
|
|
flush_scheduled_work();
|
|
|
|
}
|