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